SpringerLink
Log in

Rigorous State-Based Methods

10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

  • Conference proceedings
  • © 2024

Overview

Editors:
  1. Silvia Bonfanti

    1. Department of Management, Information and Production Engineering, University of Bergamo, Bergamo, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Angelo Gargantini

    1. Department of Management, Information and Production Engineering, University of Bergamo, Bergamo, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael Leuschel

    1. Institut für Informatik, Heinrich-Heine-Universität, Düsseldorf, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Elvinia Riccobene

    1. Dipartimento di Informatica, Università degli Studi di Milano, Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Patrizia Scandurra

    1. Department of Management, Information and Production Engineering, University of Bergamo, Bergamo, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14759)

Included in the following conference series:

Conference proceedings info: ABZ 2024.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook EUR 63.34
Price includes VAT (Germany)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book EUR 70.61
Price includes VAT (Germany)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.

The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.

Keywords

Table of contents (30 papers)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Formal Methods and Tools Applied in the Railway Domain

      • Maurice H. ter Beek
      Pages 3-21

  3. Research Papers

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. Formal Modeling and Analysis of Apache Kafka in Alloy 6

      • Saloni Sinha, Eunsuk Kang
      Pages 25-42

    3. Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems

      • Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi, Michael Butler
      Pages 43-60

    4. Alloy Goes Fuzzy

      • Pedro Silva, Alcino Cunha, Nuno Macedo, José N. Oliveira
      Pages 61-79

    5. Transpilation of Petri-nets into B

      • Akram Idani
      Pages 80-98

    6. A Lean Reflective Abstract State Machine Definition

      • Egon Börger, Vincenzo Gervasi
      Pages 99-104

    7. Loose Observation in Event-B

      • Stefan Hallerstede
      Pages 105-122

    8. Modal Extensions of the Logic of Abstract State Machines

      • Flavio Ferrarotti, Klaus-Dieter Schewe
      Pages 123-140

    9. 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 Frias, Simón Gutiérrez Brida et al.
      Pages 141-159

    10. From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code

      • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
      Pages 160-178

  4. Short Research Papers

    1. Front Matter

      Pages 179-179
      Download chapter PDF

    2. An Event-B Formal Model for Access Control and Resource Management of Serverless Apps

      • Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh, Michael Butler
      Pages 181-190

    3. Property Ownership Formal Modelling Using Event-B and iUML-B

      • Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi, Gary Wills
      Pages 191-200

    4. A Modeling and Verification Framework for Ethereum Smart Contracts

      • Simone Valentini, Chiara Braghin, Elvinia Riccobene
      Pages 201-207

    5. Semantics Formalisation – From Event-B Contexts to Theories

      • Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin Snook, Michael Butler
      Pages 208-214

    6. Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines

      • Giuseppe Del Castillo
      Pages 215-222

    7. Multi-model Animation with JeB

      • Jean-Pierre Jacquot
      Pages 223-232
Back to top

Other volumes

  1. Rigorous State-Based Methods

Editors and Affiliations

  • Department of Management, Information and Production Engineering, University of Bergamo, Bergamo, Italy

    Silvia Bonfanti, Angelo Gargantini, Patrizia Scandurra

  • Institut für Informatik, Heinrich-Heine-Universität, Düsseldorf, Germany

    Michael Leuschel

  • Dipartimento di Informatica, Università degli Studi di Milano, Milan, Italy

    Elvinia Riccobene

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation