| 2024 | A Lean Reflective Abstract State Machine Definition. Egon Börger, Vincenzo Gervasi |
| 2024 | A Modeling and Verification Framework for Ethereum Smart Contracts. Simone Valentini, Chiara Braghin, Elvinia Riccobene |
| 2024 | Alloy Goes Fuzzy. Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira |
| 2024 | An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis |
| 2024 | An Event-B Formal Model for Access Control and Resource Management of Serverless Apps. Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh, Michael J. Butler |
| 2024 | An Event-B Model of a Mechanical Lung Ventilator. Amel Mammar |
| 2024 | Designing Exception Handling Using Event-B. Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone |
| 2024 | Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi, Michael J. Butler |
| 2024 | Event-B as DSL in Isabelle and HOL Experiences from a Prototype. Benoît Ballenghien, Burkhart Wolff |
| 2024 | FRETting and Formal Modelling: A Mechanical Lung Ventilator. Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan |
| 2024 | Formal Methods and Tools Applied in the Railway Domain. Maurice H. ter Beek |
| 2024 | Formal Modeling and Analysis of Apache Kafka in Alloy 6. Saloni Sinha, Eunsuk Kang |
| 2024 | From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini |
| 2024 | From Event-B to Lambdapi. Anne Grieu |
| 2024 | Loose Observation in Event-B. Stefan Hallerstede |
| 2024 | Meta-programming Event-B - Advancing Tool Support and Language Extensions. Julius Armbrüster, Philipp Körner |
| 2024 | Modal Extensions of the Logic of Abstract State Machines. Flavio Ferrarotti, Klaus-Dieter Schewe |
| 2024 | Modelling a Mechanical Lung Ventilation System Using TASTD. Alex Rodrigue Ndouna, Marc Frappier |
| 2024 | Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. Danny van Dortmont, Jeroen J. A. Keiren, Tim A. C. Willemse |
| 2024 | Multi-model Animation with JeB. Jean-Pierre Jacquot |
| 2024 | Proof Construction and Checking on Evolving Abstract State Machines. Edward Sabinus |
| 2024 | Property Ownership Formal Modelling Using Event-B and iUML-B. Manar Altamimi, Nawfal F. Al Hashimy, Asieh Salehi Fathabadi, Gary B. Wills |
| 2024 | Real-Time CCSL: Application to the Mechanical Lung Ventilator. Pavlo Tokariev, Frédéric Mallet |
| 2024 | Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra |
| 2024 | Semantics Formalisation - From Event-B Contexts to Theories. Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler |
| 2024 | Small Step Incremental Verification of Compilers. Wolf Zimmermann, Thomas Kühn, Edward Sabinus, Mandy Weißbach |
| 2024 | The Mechanical Lung Ventilator Case Study. Silvia Bonfanti, Angelo Gargantini |
| 2024 | ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq. Bodo Igler, Andreas Mayer |
| 2024 | Transpilation of Petri-nets into B - Shallow and Deep Embeddings. Akram Idani |
| 2024 | Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines. Giuseppe Del Castillo |
| 2024 | Verifying HyperLTL Properties in Event-B. Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang |