Skip to main content
SpringerLink
Log in

Rigorous State-Based Methods

7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Alexander Raschke

    1. Institute of Software Engineering and Programming Languages, Ulm University, Ulm, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dominique Méry

    1. LORIA, Campus Scientifique, Université de Lorraine, Vandoeuvre-les-Nancy, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Frank Houdek

    1. Research and Development, Mercedes-Benz AG, Sindelfingen, Germany

    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 12071)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ABZ 2020.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Keynotes and Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

      • Ana Cavalcanti
      Pages 3-5

    3. Adding Concurrency to a Sequential Refinement Tower

      • Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif
      Pages 6-23

  3. Regular Research Articles

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering

      • Robert Clarisó, Jordi Cabot
      Pages 27-43

    3. Formal Verification of Interoperability Between Future Network Architectures Using Alloy

      • Mohammad Jahanian, Jiachen Chen, K. K. Ramakrishnan
      Pages 44-60

    4. Experiences on Teaching Alloy with an Automated Assessment Platform

      • Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva et al.
      Pages 61-77

    5. A Characterization of Distributed ASMs with Partial-Order Runs

      • Egon Börger, Klaus-Dieter Schewe
      Pages 78-92

    6. A Logic for Reflective ASMs

      • Klaus-Dieter Schewe, Flavio Ferrarotti
      Pages 93-106

    7. Analysing ProB’s Constraint Solving Backends

      • Jannik Dunkelau, Joshua Schmidt, Michael Leuschel
      Pages 107-123

    8. Programming the CLEARSY Safety Platform with B

      • Thierry Lecomte
      Pages 124-138

    9. Modelling Hybrid Programs with Event-B

      • Meryem Afendi, Régine Laleau, Amel Mammar
      Pages 139-154

    10. Event-B-Supported Choreography-Defined Communicating Systems

      • Sarah Benyagoub, Yamine Aït-Ameur, Klaus-Dieter Schewe
      Pages 155-168

    11. Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B

      • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj K. Singh
      Pages 169-185

    12. Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes

      • Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén
      Pages 186-202

    13. Formal Distributed Protocol Development for Reservation of Railway Sections

      • Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït-Ameur, Fuyuki Ishikawa, Alexander Romanovsky
      Pages 203-219

  4. Short Articles

    1. Front Matter

      Pages 221-221
      Download chapter PDF

    2. Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3

      • Diego de Azevedo Oliveira, Marc Frappier
      Pages 223-229

    3. Account and Transaction Protocol of the Open Banking Standard

      • Abdulaziz Almehrej, Leo Freitas, Paolo Modesti
      Pages 230-236
Back to top

Other volumes

  1. Rigorous State-Based Methods

Keywords

About this book

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.

The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).

Editors and Affiliations

  • Institute of Software Engineering and Programming Languages, Ulm University, Ulm, Germany

    Alexander Raschke

  • LORIA, Campus Scientifique, Université de Lorraine, Vandoeuvre-les-Nancy, France

    Dominique Méry

  • Research and Development, Mercedes-Benz AG, Sindelfingen, Germany

    Frank Houdek

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation