| 2026 | Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings Michael Leuschel, Fuyuki Ishikawa |
| 2025 | A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework. Peter Riviere, Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki |
| 2025 | Behavioural Theory of Reflective Parallel Algorithms. Klaus-Dieter Schewe, Flavio Ferrarotti |
| 2025 | Case Study: Safety Controller for Autonomous Driving on Highways. Michael Leuschel, Fabian Vu, Kristin Rutenkolk |
| 2025 | Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis. Colin F. Snook, Asieh Salehi Fathabadi, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone |
| 2025 | Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking. Duong Dinh Tran, Akira Hasegawa, Peter Riviere, Takashi Tomita, Toshiaki Aoki |
| 2025 | Formal Modelling and Reasoning on Assurance Cases Expressed with GSN in Event-B. Christophe Chen |
| 2025 | Insider Threat Simulation Through Ant Colonies and ProB. Akram Idani, Aurélien Pepin, Mariem Triki |
| 2025 | Mathematical Proofs and Moving Trains: The Double Life of Atelier B. Thierry Lecomte |
| 2025 | Model-Based Testing of Non-deterministic Systems. Alexander Onofrei, Marc Frappier, Émilie Bernard |
| 2025 | On Quantitative Solution Iteration in QAlloy. Pedro Silva, Nuno Macedo, José N. Oliveira |
| 2025 | On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with Stark. Sebastián Betancourt, Valentina Castiglioni |
| 2025 | On Writing Alloy Models: Metrics and a New Dataset. Soaibuzzaman, Salar Kalantari, Jan Oliver Ringert |
| 2025 | Polychronous RSS in a Process-Algebraic Framework - A Case Study. Paolo Crisafulli, Adrien Durier, Benjamin Puyobro, Burkhart Wolff |
| 2025 | Proof Semantics of Railway Interlocking. Linas Laibinis, Alexei Iliasov, Alexander B. Romanovsky |
| 2025 | Safely Encoding B Proof Obligations in SMT-LIB. Vincent Trélat |
| 2025 | Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected]. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli, Patrizia Scandurra |
| 2025 | State-Based Modelling with a Concept DSL. Nikolaj Kuhne Jakobsen |
| 2025 | The Proved Construction of a Protocol with an Example Inspired by the Paxos Protocol. Dominique Cansell, Jean-Raymond Abrial |
| 2025 | Towards an End-to-End Toolchain for Traceable and Verifiable Railway Signalling Specifications. Frederic Reiter, Roman Wetenkamp, Robert Schmid, Richard Kretzschmar, Lukas Iffländer |
| 2025 | Translating Event-B Models and Development Proofs to TLA+. Anne Grieu, Jean-Paul Bodeveix, Mamoun Filali |
| 2025 | Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts. Chiara Braghin, Giuseppe Del Castillo, Elvinia Riccobene, Simone Valentini |
| 2025 | Verification of Autonomous Neural Car Control with KeYmaera X. Enguerrand Prebet, Samuel Teuber, André Platzer |
| 2025 | Weakening Goals in Logical Specifications. Ben M. Andrew |