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
2023	Shifting Left for Early Detection of Machine-Learning Bugs.	Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schf, Omer Tripp, Willem Visser
2023	Digital Twin for Rescue Missions - a Case Study.	Martin Leucker, Martin Sachenbacher, Lars Bernd Vosteen
2023	Symbolic Computation in Automated Program Reasoning.	Laura Kovcs
2023	Railway Scheduling Using Boolean Satisfiability Modulo Simulations.	Toms Kolrik, Stefan Ratschan
2023	Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.	Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
2023	Emerging Challenges in Compositionality and Correctness for Digital Twins.	Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David B. Cameron, Einar Broch Johnsen
2023	Intelligent and Dependable Decision-Making Under Uncertainty.	Nils Jansen
2023	Tableaux for Realizability of Safety Specifications.	Montserrat Hermo, Paqui Lucio, Csar Snchez
2023	Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks.	Vahid Hashemi, Jan Kretnsk, Sabine Rieder, Jessica Schmidt
2023	Leveraging Runtime Verification for the Monitoring of Digital Twins.	Sylvain Hall, Chukri Soueidi, Ylis Falcone
2023	A Systematic Approach to Automotive Security.	Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schgler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra Knig
2023	Energy Bchi Problems.	Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
2023	Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.	Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
2023	A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models.	Robert J. Colvin
2023	Minimisation of Spatial Models Using Branching Bisimilarity.	Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink
2023	Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.	Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles
2023	Verifying Feedforward Neural Networks for Classification in Isabelle/HOL.	Achim D. Brucker, Amy Stell
2023	A Decision Diagram Operation for Reachability.	Sebastiaan Brand, Thomas Bck, Alfons Laarman
2023	VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs.	Petra van den Bos, Sung-Shik Jongmans
2023	A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem.	Sylvie Boldo, Franois Clment, Vincent Martin, Micaela Mayero, Houda Mouhcine
2023	Word Equations in Synergy with Regular Constraints.	Frantisek Blahoudek, Yu-Fang Chen, David Chocholat, Vojtech Havlena, Luks Holk, Ondrej Lengl, Juraj Sc
2023	Can We Communicate? Using Dynamic Logic to Verify Team Automata.	Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, Jos Proena
2023	symQV: Automated Symbolic Verification of Quantum Programs.	Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
2023	Monitoring the Internet Computer.	David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan
2023	A Runtime Environment for Contract Automata.	Davide Basile, Maurice H. ter Beek

151–175 of 1,364← Previous Next →

Comparable venues

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