![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
ABZ 2020: Ulm, Germany
- Alexander Raschke
, Dominique Méry
, Frank Houdek
:
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
, Jörg Pfähler, Wolfgang Reif:
Adding Concurrency to a Sequential Refinement Tower. 6-23
Regular Research Articles
- Robert Clarisó
, Jordi Cabot
:
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
, Alcino Cunha
, José Pereira
, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva:
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
, Joshua Schmidt
, Michael Leuschel
:
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
, Jüri Vain
, Marina Waldén:
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
, Emmanuel Pescosta, Uwe Zdun:
Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages. 237-243 - Elvinia Riccobene
, Patrizia Scandurra
:
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
, Michael Leuschel
, Jannik Dunkelau
:
Towards a Shared Specification Repository. 266-271 - Karla Morris, Colin F. Snook
, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler:
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
, Silvia Bonfanti
, Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. 302-317 - Alcino Cunha
, Nuno Macedo
, Chong Liu
:
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
, Marc Frappier
, Régine Laleau:
An Event-B Model of an Automotive Adaptive Exterior Light System. 351-366 - Amel Mammar
, Marc Frappier
:
Modeling of a Speed Control System Using Event-B. 367-381 - Sebastian Krings
, Philipp Körner
, Jannik Dunkelau
, Chris Rutenkolk
:
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.