- 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: 43-60 - Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi, Gary B. Wills:
Property Ownership Formal Modelling Using Event-B and iUML-B. ABZ 2024: 191-200 - Julius Armbrüster, Philipp Körner:
Meta-programming Event-B - Advancing Tool Support and Language Extensions. ABZ 2024: 233-240 - Benoît Ballenghien, Burkhart Wolff:
Event-B as DSL in Isabelle and HOL Experiences from a Prototype. ABZ 2024: 241-247 - Maurice H. ter Beek:
Formal Methods and Tools Applied in the Railway Domain. ABZ 2024: 3-21 - Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang:
Verifying HyperLTL Properties in Event-B. ABZ 2024: 255-261 - Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. ABZ 2024: 160-178 - Silvia Bonfanti, Angelo Gargantini:
The Mechanical Lung Ventilator Case Study. ABZ 2024: 281-288 - Egon Börger, Vincenzo Gervasi:
A Lean Reflective Abstract State Machine Definition. ABZ 2024: 99-104 - Giuseppe Del Castillo:
Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines. ABZ 2024: 215-222 - 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: 141-159 - Danny van Dortmont, Jeroen J. A. Keiren, Tim A. C. Willemse:
Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. ABZ 2024: 341-359 - Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan:
FRETting and Formal Modelling: A Mechanical Lung Ventilator. ABZ 2024: 360-383 - 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: 270-277 - Flavio Ferrarotti, Klaus-Dieter Schewe:
Modal Extensions of the Logic of Abstract State Machines. ABZ 2024: 123-140 - Anne Grieu:
From Event-B to Lambdapi. ABZ 2024: 387-391 - Stefan Hallerstede:
Loose Observation in Event-B. ABZ 2024: 105-122 - 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: 208-214 - Akram Idani:
Transpilation of Petri-nets into B - Shallow and Deep Embeddings. ABZ 2024: 80-98 - Bodo Igler, Andreas Mayer:
ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq. ABZ 2024: 248-254 - Jean-Pierre Jacquot:
Multi-model Animation with JeB. ABZ 2024: 223-232 - Amel Mammar:
An Event-B Model of a Mechanical Lung Ventilator. ABZ 2024: 307-323 - Alex Rodrigue Ndouna, Marc Frappier:
Modelling a Mechanical Lung Ventilation System Using TASTD. ABZ 2024: 324-340 - Edward Sabinus:
Proof Construction and Checking on Evolving Abstract State Machines. ABZ 2024: 392-396 - Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira:
Alloy Goes Fuzzy. ABZ 2024: 61-79 - Saloni Sinha, Eunsuk Kang:
Formal Modeling and Analysis of Apache Kafka in Alloy 6. ABZ 2024: 25-42 - Pavlo Tokariev, Frédéric Mallet:
Real-Time CCSL: Application to the Mechanical Lung Ventilator. ABZ 2024: 289-306 - Simone Valentini, Chiara Braghin, Elvinia Riccobene:
A Modeling and Verification Framework for Ethereum Smart Contracts. ABZ 2024: 201-207 - 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: 181-190 - Wolf Zimmermann, Thomas Kühn, Edward Sabinus, Mandy Weißbach:
Small Step Incremental Verification of Compilers. ABZ 2024: 262-269
