FM

Publications

2023

Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. FM (2023)
Heike Wehrheim, Lara Bargmann, Brijesh Dongol
Reasoning About Promises in Weak Memory Models with Event Structures. FM (2023)
Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli
Program Semantics and Verification Technique for AI-Centred Programs. FM (2023)
Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan
HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic. FM (2023)
Guy Amir, Ziv Freund, Guy Katz, Elad Mandelbaum, Idan Refaeli
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. FM (2023)
Montserrat Hermo, Paqui Lucio, César Sánchez
Tableaux for Realizability of Safety Specifications. FM (2023)
Harald Ruess
The Next Big Thing: From Embedded Systems to Embodied Actors. FM (2023)
Petra van den Bos, Sung-Shik Jongmans
VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. FM (2023)
Robert J. Colvin
A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models. FM (2023)
Adam Molin, Edgar A. Aguilar, Dejan Nickovic, Mengjia Zhu, Alberto Bemporad, Hasan Esen
Specification-Guided Critical Scenario Identification for Automated Driving. FM (2023)
Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser
Shifting Left for Early Detection of Machine-Learning Bugs. FM (2023)
Marco Paganoni, Carlo A. Furia
Verifying Functional Correctness Properties at the Level of Java Bytecode. FM (2023)
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
QMaude: Quantitative Specification and Verification in Rewriting Logic. FM (2023)
Gianluca Amato, Francesca Scozzari
The ScalaFix Equation Solver. FM (2023)
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Ernst Moritz Hahn, Mariëlle Stoelinga
sfPFL: A Probabilistic Logic for Fault Trees. FM (2023)
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
Energy Büchi Problems. FM (2023)
Tomás Kolárik, Stefan Ratschan
Railway Scheduling Using Boolean Satisfiability Modulo Simulations. FM (2023)
Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc
Word Equations in Synergy with Regular Constraints. FM (2023)
Laura Kovács
Symbolic Computation in Automated Program Reasoning. FM (2023)
Nicolas Amat, Silvano Dal-Zilio
SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. FM (2023)
Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
The Octatope Abstract Domain for Verification of Neural Networks. FM (2023)
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. FM (2023)
Davide Basile, Maurice H. ter Beek
A Runtime Environment for Contract Automata. FM (2023)
Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink
Minimisation of Spatial Models Using Branching Bisimilarity. FM (2023)
Masoud Ebrahimi, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König
A Systematic Approach to Automotive Security. FM (2023)
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
symQV: Automated Symbolic Verification of Quantum Programs. FM (2023)
Matan Peled, Bat-Chen Rothenberg, Shachar Itzhaky
SMT Sampling via Model-Guided Approximation. FM (2023)
Nils Jansen
Intelligent and Dependable Decision-Making Under Uncertainty. FM (2023)
Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser
Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. FM (2023)
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. FM (2023)
Jan Oliver Ringert, Allison Sullivan
Abstract Alloy Instances. FM (2023)
Franck Cassez, Joanne Fuller, Milad K. Ghale, David J. Pearce, Horacio Mijail Anton Quiles
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny. FM (2023)
Vahid Hashemi, Jan Kretínský, Sabine Rieder, Jessica Schmidt
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. FM (2023)
Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury
Efficient SMT-Based Network Fault Tolerance Verification. FM (2023)
David A. Basin, Daniel Stefan Dietiker, Srdan Krstic, Yvonne-Anne Pignolet, Martin Raszyk, Joshua Schneider, Arshavir Ter-Gabrielyan
Monitoring the Internet Computer. FM (2023)
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM (2023)
Achim D. Brucker, Amy Stell
Verifying Feedforward Neural Networks for Classification in Isabelle/HOL. FM (2023)
Sebastiaan Brand, Thomas Bäck, Alfons Laarman
A Decision Diagram Operation for Reachability. FM (2023)

volume 14000, 2023

Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings FM 14000 (2023)

2021

volume 13047, 2021

Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings FM 13047 (2021)