| 2023 | A Framework for Formal Verification and Validation of Railway Systems. Yannis Benabbi |
| 2023 | AMAN Case Study. Philippe A. Palanque, José Creissac Campos |
| 2023 | Adding Records to Alloy. Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo |
| 2023 | Behavioural Theory of Reflective Algorithms. Flavio Ferrarotti, Klaus-Dieter Schewe |
| 2023 | Building Specifications in the Event-B Institution: A Summary. Marie Farrell, Rosemary Monahan, James F. Power |
| 2023 | Crucible Tools for Test Generation and Animation of Alloy Models. Thomas Wilson, Stuart Matthews |
| 2023 | Designing Critical Systems Using Hierarchical STPA and Event-B. Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler |
| 2023 | Encoding rmTLA Rosalie Defourné |
| 2023 | Exploration of Reflective ASMs for Security. Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe |
| 2023 | Exploring a Methodology for Formal Verification of Safety-Critical Systems. Oisín Sheridan |
| 2023 | Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems. Kristin Rutenkolk |
| 2023 | Introducing Inductive Construction in B with the Theory Plugin. Julien Cervelle, Frédéric Gervais |
| 2023 | Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. David Geleßus, Sebastian Stock, Fabian Vu, Michael Leuschel, Atif Mashkoor |
| 2023 | Modeling and Verifying an Arrival Manager Using Event-B. Amel Mammar, Michael Leuschel |
| 2023 | Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra |
| 2023 | Modelling an Automotive Software System with TASTD. Diego de Azevedo Oliveira, Marc Frappier |
| 2023 | Pattern-Based Refinement Generation Through Domain Specific Languages. Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
| 2023 | Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi. Alessio Coltellacci |
| 2023 | Refinements of Hybrid Dynamical Systems Logic. André Platzer |
| 2023 | Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings Uwe Glässer, José Creissac Campos, Dominique Méry, Philippe A. Palanque |
| 2023 | Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. Peter Riviere, Neeraj Kumar Singh, Yamine Aït-Ameur, Guillaume Dupont |
| 2023 | TASTD: A Real-Time Extension for ASTD. Diego de Azevedo Oliveira, Marc Frappier |
| 2023 | Task Model Design and Analysis with Alloy. Alcino Cunha, Nuno Macedo, Eunsuk Kang |
| 2023 | Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems. Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif |
| 2023 | Using Deep Ontologies in Formal Software Engineering. Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff |
| 2023 | Validation by Abstraction and Refinement. Sebastian Stock, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed |
| 2023 | Validation of Formal Models by Interactive Simulation. Fabian Vu, Michael Leuschel |
| 2023 | Verifying Event-B Hybrid Models Using Cyclone. Hao Wu, Zheng Cheng |
| 2023 | Verifying Temporal Relational Models with Pardinus. Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha |
| 2023 | formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |