logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
I

INTEGRATED FORMAL METHODS, IFM 2025

IF
Papers23
Citations
Journal Papers 23
Publication Date
delete
Formal Verification of Legal Contracts: A Translation-Based Approach
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHaehnlei, Reiner; Laneve, Cosimo; Veschetti, Adele
deleteShare
deleteSave
CHC-Based Reachability Analysis via Cycle Summarization
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBritikov, Konstantin; Fedyukovich, Grigory; Sharygina, Natasha
deleteShare
deleteSave
Online Model Checking for Anomaly Detection in Industrial Control Systems
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFraser, Douglas; Miller, Alice; Cook, Marco; PezarosL, Dimitrios
deleteShare
deleteSave
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAlberti, Michele; Bobot, Francois; Girard-Satabin, Julien; Grastien, Alban; Varasse, Aymeric; Chihani, Zakaria
deleteShare
deleteSave
From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHellwig, Jonathan; Schaefer, Lukas; Qian, Long; Platzerl, Andre; Althoff, Matthias
deleteShare
deleteSave
Reachability Analysis of Function-as-a-Service Scheduling Policies
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDe Palma, Giuseppe; Giallorenzo, Saverk; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
deleteShare
deleteSave
Concurrency Under Control: Systematic Analysis of SDN Races Hazards
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCaltais, Georgiana; Covaci, Andrei; Hojjat, Hossein
deleteShare
deleteSave
Formal Modeling of Trust in Autonomous Delivery Vehicles
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAltamimi, Manar; Fathabadi, Asieh Salehi; Yazdanpanah, Vahid
deleteShare
deleteSave
Safe Temperature Regulation: Formally Verified and Real-World Validated
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteIsasa, Carlos; El Wafa, Noah Abou; Gomes, Claudio; Larsen, Peter Gorm; Platzer, Andre
deleteShare
deleteSave
When Separation Arithmetic is Enough
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFilliatre, Jean-Christophe; Paskevich, Andrei; Danvy, Olivier
deleteShare
deleteSave
Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBlazquez, Jorge; Montenegro, Manuel; Segura, Clara
deleteShare
deleteSave
Using Bayesian Inference and Flowpipe Construction to Bound Predictions of Biogas Production at Wastewater Treatment Plants
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteChapin, Fletcher; Varma, Ankur; Akinwande, Samuel; Mauter, Meagan; Sankaranarayanan, Sriram
deleteShare
deleteSave
Model Checking Buffered Durable Linearizability in CSP
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteEdmonds, Chelsea; Derrick, John; Dongol, Brijesh; Schellhorn, Gerhard; Wehrheim, Heike
deleteShare
deleteSave
Extending Timed Automata with Clock Derivatives
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCortes, David; Leneutrei, Jean; Malvone, Vadim; Ortiz, James; Schobbens, Pierre-Yves
deleteShare
deleteSave
Distributed Timed Scenarios
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSaeedloei, Neda; Klukliak, Feliks
deleteShare
deleteSave
Quick Theory Exploration for Algebraic Data Types via Program Transformations
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteErnst, Gidon; Fedyukovich, Grigory
deleteShare
deleteSave
Game Modeling of Blockchain Protocols
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRain, Sophie; Komel, Anja Petkovi; Rawson, Michael; Kovacsk, Laura
deleteShare
deleteSave
Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA+
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGrundmann, Matthias; Hartenstein, Hannes
deleteShare
deleteSave
Auto-Generating Visual Editors for Formal Logics with Blockly
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFerrando, Angelo; Lu, Peng; Malvone, Vadim
deleteShare
deleteSave
Formal Verification of PKCS#1 Signature Parser Using Frama-C
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHana, Martin; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien
deleteShare
deleteSave