default search action
10th ABZ 2024: Bergamo, Italy
- Silvia Bonfanti
, Angelo Gargantini
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
Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. 43-60 - Pedro Silva
Alloy Goes Fuzzy. 61-79 - Akram Idani
Transpilation of Petri-nets into B - Shallow and Deep Embeddings. 80-98 - Egon Börger
A Lean Reflective Abstract State Machine Definition. 99-104 - Stefan Hallerstede
Loose Observation in Event-B. 105-122 - Flavio Ferrarotti
Modal Extensions of the Logic of Abstract State Machines. 123-140 - César Cornejo, María Marta Novaira, Sonia Permigiani
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. 141-159 - Andrea Bombarda
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. 160-178
Short Research Papers
- Mehmet Said Nur Yagmahan
An Event-B Formal Model for Access Control and Resource Management of Serverless Apps. 181-190 - Manar Altamimi
Property Ownership Formal Modelling Using Event-B and iUML-B. 191-200 - Simone Valentini
A Modeling and Verification Framework for Ethereum Smart Contracts. 201-207 - Thai Son Hoang
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
Event-B as DSL in Isabelle and HOL Experiences from a Prototype. 241-247 - Bodo Igler
ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq. 248-254 - Jean-Paul Bodeveix
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
Designing Exception Handling Using Event-B. 270-277
Case Study
- Silvia Bonfanti
The Mechanical Lung Ventilator Case Study. 281-288 - Pavlo Tokariev
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
Modelling a Mechanical Lung Ventilation System Using TASTD. 324-340 - Danny van Dortmont, Jeroen J. A. Keiren
Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. 341-359 - Marie Farrell
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.
last updated on 2025-01-02 17:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: