default search action
10th ABZ 2024: Bergamo, Italy
- Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra:
Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings. Lecture Notes in Computer Science 14759, Springer 2024, ISBN 978-3-031-63789-6
Invited Talk
- Maurice H. ter Beek:
Formal Methods and Tools Applied in the Railway Domain. 3-21
Research Papers
- Saloni Sinha, Eunsuk Kang:
Formal Modeling and Analysis of Apache Kafka in Alloy 6. 25-42 - Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi, Michael J. Butler:
Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. 43-60 - Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira:
Alloy Goes Fuzzy. 61-79 - Akram Idani:
Transpilation of Petri-nets into B - Shallow and Deep Embeddings. 80-98 - Egon Börger, Vincenzo Gervasi:
A Lean Reflective Abstract State Machine Definition. 99-104 - Stefan Hallerstede:
Loose Observation in Event-B. 105-122 - Flavio Ferrarotti, Klaus-Dieter Schewe:
Modal Extensions of the Logic of Abstract State Machines. 123-140 - 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. 141-159 - Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. 160-178
Short Research Papers
- Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh, Michael J. Butler:
An Event-B Formal Model for Access Control and Resource Management of Serverless Apps. 181-190 - Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi, Gary B. Wills:
Property Ownership Formal Modelling Using Event-B and iUML-B. 191-200 - Simone Valentini, Chiara Braghin, Elvinia Riccobene:
A Modeling and Verification Framework for Ethereum Smart Contracts. 201-207 - Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler:
Semantics Formalisation - From Event-B Contexts to Theories. 208-214 - Giuseppe Del Castillo:
Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines. 215-222 - Jean-Pierre Jacquot:
Multi-model Animation with JeB. 223-232 - Julius Armbrüster, Philipp Körner:
Meta-programming Event-B - Advancing Tool Support and Language Extensions. 233-240 - Benoît Ballenghien, Burkhart Wolff:
Event-B as DSL in Isabelle and HOL Experiences from a Prototype. 241-247 - Bodo Igler, Andreas Mayer:
ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq. 248-254 - Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang:
Verifying HyperLTL Properties in Event-B. 255-261 - Wolf Zimmermann, Thomas Kühn, Edward Sabinus, Mandy Weißbach:
Small Step Incremental Verification of Compilers. 262-269 - Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone:
Designing Exception Handling Using Event-B. 270-277
Case Study
- Silvia Bonfanti, Angelo Gargantini:
The Mechanical Lung Ventilator Case Study. 281-288 - Pavlo Tokariev, Frédéric Mallet:
Real-Time CCSL: Application to the Mechanical Lung Ventilator. 289-306 - Amel Mammar:
An Event-B Model of a Mechanical Lung Ventilator. 307-323 - Alex Rodrigue Ndouna, Marc Frappier:
Modelling a Mechanical Lung Ventilation System Using TASTD. 324-340 - Danny van Dortmont, Jeroen J. A. Keiren, Tim A. C. Willemse:
Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. 341-359 - Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan:
FRETting and Formal Modelling: A Mechanical Lung Ventilator. 360-383
Doctoral Symposium
- Anne Grieu:
From Event-B to Lambdapi. 387-391 - Edward Sabinus:
Proof Construction and Checking on Evolving Abstract State Machines. 392-396
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.