default search action
ABZ 2020: Ulm, Germany
- Alexander Raschke
, Dominique Méry
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings. Lecture Notes in Computer Science 12071, Springer 2020, ISBN 978-3-030-48076-9
Keynotes and Invited Papers
- Ana Cavalcanti
Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. 3-5 - Gerhard Schellhorn, Stefan Bodenmüller
Adding Concurrency to a Sequential Refinement Tower. 6-23
Regular Research Articles
- Robert Clarisó
Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering. 27-43 - Mohammad Jahanian, Jiachen Chen, K. K. Ramakrishnan:
Formal Verification of Interoperability Between Future Network Architectures Using Alloy. 44-60 - Nuno Macedo
Experiences on Teaching Alloy with an Automated Assessment Platform. 61-77 - Egon Börger, Klaus-Dieter Schewe:
A Characterization of Distributed ASMs with Partial-Order Runs. 78-92 - Klaus-Dieter Schewe, Flavio Ferrarotti:
A Logic for Reflective ASMs. 93-106 - Jannik Dunkelau
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out! 107-123 - Thierry Lecomte:
Programming the CLEARSY Safety Platform with B. 124-138 - Meryem Afendi, Régine Laleau, Amel Mammar
Modelling Hybrid Programs with Event-B. 139-154 - Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe:
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. 155-168 - Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. 169-185 - Fatima Shokri-Manninen, Leonidas Tsiopoulos
Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. 186-202 - Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky
Formal Distributed Protocol Development for Reservation of Railway Sections. 203-219
Short Articles
- Diego de Azevedo Oliveira, Marc Frappier:
Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. 223-229 - Abdulaziz Almehrej, Leo Freitas, Paolo Modesti
Account and Transaction Protocol of the Open Banking Standard. 230-236 - Philipp Paulweber
Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages. 237-243 - Elvinia Riccobene
Exploring the Concept of Abstract State Machines for System Runtime Enforcement. 244-247 - David Geleßus, Michael Leuschel
ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods. 248-254 - Héctor Ruíz Barradas, Lilian Burdy, David Déharbe:
Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B. 255-259 - Michelle Werth, Michael Leuschel:
VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics. 260-265 - Philipp Körner
Towards a Shared Specification Repository. 266-271 - Karla Morris, Colin F. Snook
Refinement and Verification of Responsive Control Systems. 272-277
Articles Contributing to the Case Study
- Frank Houdek, Alexander Raschke:
Adaptive Exterior Light and Speed Control System. 281-301 - Paolo Arcaini
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. 302-317 - Alcino Cunha
Validating Multiple Variants of an Automotive Light System with Electrum. 318-334 - Michael Leuschel, Mareike Mutz, Michelle Werth:
Modelling and Validating an Automotive System in Classical B and Event-B. 335-350 - Amel Mammar
An Event-B Model of an Automotive Adaptive Exterior Light System. 351-366 - Amel Mammar
Modeling of a Speed Control System Using Event-B. 367-381 - Sebastian Krings
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. 382-397
Short Articles of the PhD-Symposium (Work in Progress)
- Meryem Afendi:
A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B. 401-404 - Fahad Alotaibi
Improving Trustworthiness of Self-driving Systems. 405-408 - Racem Bougacha:
A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements. 409-413 - Alexis Grall:
Automatic Generation of DistAlgo Programs from Event-B Models. 414-417 - Kenza Kraibi
Event-B: From Systems to Sub-systems Modeling. 418-422 - Ismaïl Mendil:
A Framework for Critical Interactive System Formal Modelling and Analysis. 423-426
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-19 22:18 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: