default search action

combined dblp search
author search
venue search
publication search

ask others

ABZ 2021: Ulm, Germany

> Home > Conferences and Workshops > ABZ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/asm/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/2021
Alexander Raschke, Dominique Méry:
Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings. Lecture Notes in Computer Science 12709, Springer 2021, ISBN 978-3-030-77542-1

Regular Research Articles

- view
  authority control:
- export record
  dblp key:
  - conf/asm/LiHDGS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/LiHDGS21
Zilinghan Li, Shilan He, Yiqing Du, Senén González, Klaus-Dieter Schewe:
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams. 3-16
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BraghinLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BraghinLR21
Chiara Braghin, Mario Lilli, Elvinia Riccobene:
Towards ASM-Based Automated Formal Verification of Security Protocols. 17-33
- view
  authority control:
- export record
  dblp key:
  - conf/asm/DghaymHBHAS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/DghaymHBHAS21
Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone:
Verifying System-Level Security of a Smart Ballot Box. 34-49
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Coudert21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Coudert21
Sophie Coudert:
Proving the Safety of a Sliding Window Protocol with Event-B. 50-65
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BodeveixF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BodeveixF21
Jean-Paul Bodeveix, Mamoun Filali:
Event-B Formalization of Event-B Contexts. 66-80
- view
  authority control:
- export record
  dblp key:
  - conf/asm/VuLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/VuLM21
Fabian Vu, Michael Leuschel, Atif Mashkoor:
Validation of Formal Models by Timed Probabilistic Simulation. 81-96

Short Articles

- view
  authority control:
- export record
  dblp key:
  - conf/asm/DyerB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/DyerB21
Tristan Dyer, John W. Baugh Jr.:
Sterling: A Web-Based Visualizer for Relational Modeling Languages. 99-104
- view
  authority control:
- export record
  dblp key:
  - conf/asm/BombardaBGR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/BombardaBGR21
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Extending ASMETA with Time Features. 105-111
- view
  authority control:
- export record
  dblp key:
  - conf/asm/PaulweberMZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/PaulweberMZ21
Philipp Paulweber, Jakob Moosbrugger, Uwe Zdun:
About the Concolic Execution and Symbolic ASM Function Promotion in CASM. 112-117
- view
  authority control:
- export record
  dblp key:
  - conf/asm/JiangXLGS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/JiangXLGS21
Fengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, Klaus-Dieter Schewe:
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection. 118-123
- view
  authority control:
- export record
  dblp key:
  - conf/asm/HoangSDFB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/HoangSDFB21
Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler:
The CamilleX Framework for the Rodin Platform. 124-129
- view
  authority control:
- export record
  dblp key:
  - conf/asm/FathabadiSHDB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/FathabadiSHDB21
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
Extensible Record Structures in Event-B. 130-136
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Eschbach21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Eschbach21
Robert Eschbach:
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B. 137-142
- view
  authority control:
- export record
  dblp key:
  - conf/asm/SalunkheBR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/SalunkheBR21
Shubhangi Salunkhe, Randolf Berglehner, Abdul Rasheeq:
Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application. 143-149

Short Articles of the PhD-Symposium (Work in Progress)

- view
  authority control:
- export record
  dblp key:
  - conf/asm/Riviere21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Riviere21
Peter Riviere:
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework. 153-157
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Lilli21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Lilli21
Mario Lilli:
A Modeling and Verification Framework for Security Protocols. 158-161
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Reynolds21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Reynolds21
Conor Reynolds:
Formalizing the Institution for Event-B in the Coq Proof Assistant. 162-166

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.