© 2020

Rigorous State-Based Methods

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

  • Alexander Raschke
  • Dominique Méry
  • Frank Houdek
Conference proceedings ABZ 2020

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12071)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Keynotes and Invited Papers

    1. Front Matter
      Pages 1-1
    2. Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif
      Pages 6-23
  3. Regular Research Articles

    1. Front Matter
      Pages 25-25
    2. Mohammad Jahanian, Jiachen Chen, K. K. Ramakrishnan
      Pages 44-60
    3. Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva et al.
      Pages 61-77
    4. Egon Börger, Klaus-Dieter Schewe
      Pages 78-92
    5. Klaus-Dieter Schewe, Flavio Ferrarotti
      Pages 93-106
    6. Jannik Dunkelau, Joshua Schmidt, Michael Leuschel
      Pages 107-123
    7. Thierry Lecomte
      Pages 124-138
    8. Meryem Afendi, Régine Laleau, Amel Mammar
      Pages 139-154
    9. Sarah Benyagoub, Yamine Aït-Ameur, Klaus-Dieter Schewe
      Pages 155-168
    10. Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj K. Singh
      Pages 169-185
    11. Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén
      Pages 186-202
    12. 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
    2. Diego de Azevedo Oliveira, Marc Frappier
      Pages 223-229
    3. Abdulaziz Almehrej, Leo Freitas, Paolo Modesti
      Pages 230-236

About these proceedings


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


architecture verification and validation artificial intelligence computer hardware computer programming computer systems digital signal processing embedded systems Field Programmable Gate Array (FPGA) formal logic formal methods fuzzy sets knowledge-based system mobile robots model checking object-oriented programming signal processing software architecture software design software engineering theoretical computer science

Editors and affiliations

  1. 1.Institute of Software Engineering and Programming LanguagesUlm UniversityUlmGermany
  2. 2.LORIA, Campus ScientifiqueUniversité de LorraineVandoeuvre-les-NancyFrance
  3. 3.Research and DevelopmentMercedes-Benz AGSindelfingenGermany

Bibliographic information