default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDABZ 2021: Ulm, Germany
- 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
- 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 - Chiara Braghin, Mario Lilli, Elvinia Riccobene:
Towards ASM-Based Automated Formal Verification of Security Protocols. 17-33 - 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 - Sophie Coudert:
Proving the Safety of a Sliding Window Protocol with Event-B. 50-65 - Jean-Paul Bodeveix, Mamoun Filali:
Event-B Formalization of Event-B Contexts. 66-80 - Fabian Vu, Michael Leuschel, Atif Mashkoor:
Validation of Formal Models by Timed Probabilistic Simulation. 81-96
Short Articles
- Tristan Dyer, John W. Baugh Jr.:
Sterling: A Web-Based Visualizer for Relational Modeling Languages. 99-104 - Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Extending ASMETA with Time Features. 105-111 - Philipp Paulweber, Jakob Moosbrugger, Uwe Zdun:
About the Concolic Execution and Symbolic ASM Function Promotion in CASM. 112-117 - 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 - Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler:
The CamilleX Framework for the Rodin Platform. 124-129 - Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler:
Extensible Record Structures in Event-B. 130-136 - Robert Eschbach:
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B. 137-142 - 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)
- Peter Riviere:
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework. 153-157 - Mario Lilli:
A Modeling and Verification Framework for Security Protocols. 158-161 - 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.
last updated on 2024-12-22 19:05 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:
