International Symposium on Formal Methods (was Formal Methods Europe FME)
FM
B
CORE rank
CORE rank (raw)
B
Fields of research
Software Engineering · Theory of Computation
Papers indexed
1,364
1978–2026
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 |
|---|---|---|
| 2024 | A Tutorial on Stream-Based Monitoring. | Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer |
| 2024 | Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata. | Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Vlp |
| 2024 | Getting Chip Card Payments Right. | David A. Basin, Xenia Hofmeier, Ralf Sasse, Jorge Toro-Pozo |
| 2024 | Alloy Repair Hint Generation Based on Historical Data. | Ana Barros, Henrique Neto, Alcino Cunha, Nuno Macedo, Ana C. R. Paiva |
| 2024 | Satisfiability Modulo Theories: A Beginner's Tutorial. | Clark W. Barrett, Cesare Tinelli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar |
| 2024 | Unifying Weak Memory Verification Using Potentials. | Lara Bargmann, Brijesh Dongol, Heike Wehrheim |
| 2024 | Software Verification with CPAchecker 3.0: Tutorial and User Guide. | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler |
| 2024 | The Opacity of Timed Automata. | Jie An, Qiang Gao, Lingtai Wang, Naijun Zhan, Ichiro Hasuo |
| 2024 | Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic. | S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi |
| 2024 | Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems. | Julius Adelt, Robert Mensing, Paula Herber |
| 2023 | Reasoning About Promises in Weak Memory Models with Event Structures. | Heike Wehrheim, Lara Bargmann, Brijesh Dongol |
| 2023 | A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. | Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali |
| 2023 | Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. | Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser |
| 2023 | HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic. | Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan |
| 2023 | Are Formal Contracts a Useful Digital Twin of Software Systems? | Jonas Schiffl, Alexander Weigl |
| 2023 | The Next Big Thing: From Embedded Systems to Embodied Actors. | Harald Ruess |
| 2023 | QMaude: Quantitative Specification and Verification in Rewriting Logic. | Rubn Rubio, Narciso Mart-Oliet, Isabel Pita, Alberto Verdejo |
| 2023 | Abstract Alloy Instances. | Jan Oliver Ringert, Allison Sullivan |
| 2023 | Program Semantics and Verification Technique for AI-Centred Programs. | Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli |
| 2023 | Mining Digital Twins of a VPN Server. | Andrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin |
| 2023 | SMT Sampling via Model-Guided Approximation. | Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky |
| 2023 | Verifying Functional Correctness Properties at the Level of Java Bytecode. | Marco Paganoni, Carlo A. Furia |
| 2023 | sfPFL: A Probabilistic Logic for Fault Trees. | Stefano M. Nicoletti, Milan Lopuha-Zwakenberg, Ernst Moritz Hahn, Marille Stoelinga |
| 2023 | Specification-Guided Critical Scenario Identification for Automated Driving. | Adam Molin, Edgar A. Aguilar, Dejan Nickovic, Mengjia Zhu, Alberto Bemporad, Hasan Esen |
| 2023 | Efficient SMT-Based Network Fault Tolerance Verification. | Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury |
126–150 of 1,364← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems