International Symposium on Formal Methods (was Formal Methods Europe FME)

CORE rank

CORE rank (raw)

Fields of research

Software Engineering · Theory of Computation

Papers indexed

1,364

1978–2026

Best Software Engineering conferences Best Theory of Computation conferences

Papers per year

1978116 peak2026

Most published authors

FM papers

1,364 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2016	From Electrical Switched Networks to Hybrid Automata.	Alessandro Cimatti, Sergio Mover, Mirko Sessa
2016	Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.	Yuqi Chen, Christopher M. Poskitt, Jun Sun
2016	Validated Simulation-Based Verification of Delayed Differential Dynamics.	Mingshuai Chen, Martin Frnzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
2016	Formal Verification of Multi-Paxos for Distributed Consensus.	Saksham Chand, Yanhong A. Liu, Scott D. Stoller
2016	Model-Based Design of an Energy-System Embedded Controller Using Taste.	Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta
2016	State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI.	Stanislav Bhm, Ondrej Meca, Petr Jancar
2016	Battery-Aware Scheduling in Low Orbit: The GomX-3 Case.	Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcl, Gilles Nies, Marvin Stenger
2016	A Model Checking Approach to Discrete Bifurcation Analysis.	Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safrnek
2016	Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.	Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, Csar Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk
2016	Compositional Parameter Synthesis.	Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
2016	Tighter Reachability Criteria for Deadlock-Freedom Analysis.	Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe
2016	Counter-Example Guided Program Verification.	Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep
2015	Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking.	Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang
2015	Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions.	Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2015	Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems.	Andrew Sogokon, Paul B. Jackson
2015	Certified Reasoning with Infinity.	Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin
2015	Formalizing the Concept Phase of Product Development.	Mathijs Schuts, Jozef Hooman
2015	Model-Based Problem Solving for University Timetable Validation and Improvement.	David Schneider, Michael Leuschel, Tobias Witt
2015	Axiomatization of Typed First-Order Logic.	Peter H. Schmitt, Mattias Ulbrich
2015	Separation of Considerations in Event-B Refinement toward Industrial Use.	Naoto Sato, Fuyuki Ishikawa
2015	The Semantics of Cardinality-Based Feature Models via Formal Languages.	Aliakbar Safilian, Tom Maibaum, Zinovy Diskin
2015	Counterexamples for Expected Rewards.	Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen, Bernd Becker
2015	A Fully Verified Container Library.	Nadia Polikarpova, Julian Tschannen, Carlo A. Furia
2015	Static Differential Program Analysis for Software-Defined Networks.	Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi
2015	Using Real-Time Maude to Model Check Energy Consumption Behavior.	Shin Nakajima

426–450 of 1,364← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.