中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Integrated Formal Methods
会议名20th International Conference on Integrated Formal Methods (iFM 2025)
中译名《第二十届国际集成形式化方法会议》
会议日期November 19-21, 2025
会议地点Paris, France
出版年2026
馆藏号359382


题名作者出版年
Unfolding Iterators: Specification and Verification of Higher-Order Iterators in OCamlIon Chirica; Mario Pereira2026
When Separation Arithmetic is EnoughJean-Christophe Filliatre; Andrei Paskevich; Olivier Danvy2026
Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black TreesJorge Blazquez; Manuel Montenegro; Clara Segura2026
Formal Verification of Legal Contracts: A Translation-Based ApproachReiner Hahnle; Cosimo Laneve; Adele Veschetti2026
CTL Model Checking Partially Specified SystemsEshita Zaman; Christopher Johannsen; Andrew S. Miner; Gianfranco Ciardo; Samik Basu2026
Extending Timed Automata with Clock DerivativesDavid Cortes; Jean Leneutre; Vadim Malvone; James Ortiz; Pierre-Yves Schobbens2026
Model Checking Buffered Durable Linearizability in CSPChelsea Edmonds; John Derrick; Brijesh Dongol; Gerhard Schellhorn; Heike Wehrheim2026
Safe Temperature Regulation: Formally Verified and Real-World ValidatedCarlos Isasa; Noah Abou El Wafa; Claudio Gomes; Peter Gorm Larsen; Andre Platzer2026
Online Model Checking for Anomaly Detection in Industrial Control SystemsDouglas Fraser; Alice Miller; Marco Cook; Dimitrios Pezaros2026
Using Bayesian Inference and Flowpipe Construction to Bound Predictions of Biogas Production at Wastewater Treatment PlantsFletcher Chapin; Ankur Varma; Samuel Akinwande; Meagan Mauter; Sriram Sankaranarayanan2026
CHC-Based Reachability Analysis via Cycle SummarizationKonstantin Britikov; Grigory Fedyukovich; Natasha Sharygina2026
Reachability Analysis of Function-as-a-Service Scheduling PoliciesGiuseppe De Palma; Saverio Giallorenzo; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro2026
From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control EnvelopesJonathan Hellwig; Lukas Schafer; Long Qian; Andre Platzer; Matthias Althoff2026
Formal Modeling of Trust in Autonomous Delivery VehiclesManar Altamimi; Asieh Salehi Fathabadi; Vahid Yazdanpanah2026
The CAISAR Platform: Extending the Reach of Machine Learning Specification and VerificationMichele Alberti; Francois Bobot; Julien Girard-Satabin; Alban Grastien; Aymeric Varasse; Zakaria Chihani2026
Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA+Matthias Grundmann; Hannes Hartenstein2026
Formal Verification of PKCS#1 Signature Parser Using Frama-CMartin Hana; Nikolai Kosmatov; Virgile Prevosto; Julien Signoles2026
Game Modeling of Blockchain ProtocolsSophie Rain; Anja Petkovic Komel; Michael Rawson; Laura Kovacs2026
Concurrency Under Control: Systematic Analysis of SDN Races HazardsGeorgiana Caltais; Andrei Covaci; Hossein Hojjat2026
Model-Based Testing of an Intermediate Verifier Using Executable Operational SemanticsLidia Losavio; Marco Paganoni; Carlo A. Furia2026
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2026