default search action
ABZ 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
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
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
Systematic Generation of Non-equivalent Expressions for Relational Algebra. 105-120 - Kaiyuan Wang, Allison Sullivan
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
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
Verifiable Code Generation from Scheduled Event-B Models. 234-248
Hybrid ERTMS Case Study
- Thai Son Hoang
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
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. 277-291 - Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. 292-306 - Alcino Cunha
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
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
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.
State-Based Formal Methods in Scientific Computation. 392-396 - Julien Brunel, David Chemouil
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
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
Modelling Dynamic Data Structures with the B Method. 420-424 - Yamine Aït Ameur, Idir Aït-Sadoune
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 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: