ABZ

Publications

2024

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

volume 14759, 2024

Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings ABZ 14759 (2024)

2023

volume 14010, 2023

Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings ABZ 14010 (2023)