default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDABZ 2018: Southampton, UK
- Michael J. Butler
, Alexander Raschke, Thai Son Hoang, Klaus Reichl:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Lecture Notes in Computer Science 10817, Springer 2018, ISBN 978-3-319-91270-7
Invited Talks
- Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson:
ABZ Languages and Tools in Industrial-Scale Application. 3-15 - Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang:
Distributed Adaptive Systems - Theory, Specification, Reasoning. 16-30 - Jean-Raymond Abrial:
On B and Event-B: Principles, Success and Challenges. 31-35
Translation and Transformation
- Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun:
CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. 39-54 - Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier:
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. 55-70 - Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel:
A Translation from Alloy to B. 71-86
Analysis and Tests
- Jure Kukovec, Thanh-Hai Tran, Igor Konnov:
Extracting Symbolic Transitions from TLA+ Specifications. 89-104 - Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid:
Systematic Generation of Non-equivalent Expressions for Relational Algebra. 105-120 - Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid:
Solver-Based Sketching of Alloy Models Using Test Valuations. 121-136
Reals and Hybrid Systems
- Christoph Beierle, Klaus-Dieter Schewe:
Abstract State Machines with Exact Real Arithmetic. 139-154 - Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh:
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. 155-170 - Richard Banach:
Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem. 171-186
Refinement
- Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon:
Clarification of Ambiguity for the Simple Authentication and Security Layer. 189-203 - Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Systematic Refinement of Abstract State Machines with Higher-Order Logic. 204-218 - Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Refinement of Timing Constraints for Concurrent Tasks with Scheduling. 219-233 - Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi:
Verifiable Code Generation from Scheduled Event-B Models. 234-248
Hybrid ERTMS Case Study
- Thai Son Hoang, Michael J. Butler, Klaus Reichl:
The Hybrid ERTMS/ETCS Level 3 Case Study. 251-261 - Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar:
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. 262-276 - Paolo Arcaini, Pavel Jezek, Jan Kofron:
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. 277-291 - Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron:
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. 292-306 - Alcino Cunha, Nuno Macedo:
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. 307-321 - Jean-Raymond Abrial:
The ABZ-2018 Case Study with Event-B. 322-337 - Dana Dghaym, Michael Poppleton, Colin F. Snook:
Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3. 338-352 - Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau:
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. 353-366
Short Papers
- Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor:
AsmetaA: Animator for Abstract State Machines. 369-373 - Markus Leitz, Alexander Raschke:
Formal Specification of the Semantics of Control State Diagrams. 374-379 - Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
Capturing Membrane Computing by ASMs. 380-385 - Inna Vistbakka, Mikhail Barash, Elena Troubitsyna:
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. 386-391 - John W. Baugh Jr., Tristan Dyer:
State-Based Formal Methods in Scientific Computation. 392-396 - Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa:
Proposition of an Action Layer for Electrum. 397-402 - Wen Su, Jinxin Chen, Shehroz Khan:
Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B. 403-408 - Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard:
An Automation-Friendly Set Theory for the B Method. 409-414 - Lilian Burdy, David Déharbe:
Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B. 415-419 - Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer:
Modelling Dynamic Data Structures with the B Method. 420-424 - Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin:
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. 425-430
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 2025-10-31 01:04 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:
