Abstract is missing.
- ABZ Languages and Tools in Industrial-Scale ApplicationJanet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson. 3-15 [doi]
- Distributed Adaptive Systems - Theory, Specification, ReasoningKlaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang. 16-30 [doi]
- On B and Event-B: Principles, Success and ChallengesJean-Raymond Abrial. 31-35 [doi]
- CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and TransformationPhilipp Paulweber, Emmanuel Pescosta, Uwe Zdun. 39-54 [doi]
- Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System SpecificationsSteve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier. 55-70 [doi]
- A Translation from Alloy to BSebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel. 71-86 [doi]
- Extracting Symbolic Transitions from TLA ^+ + SpecificationsJure Kukovec, Thanh-Hai Tran, Igor Konnov. 89-104 [doi]
- Systematic Generation of Non-equivalent Expressions for Relational AlgebraKaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid. 105-120 [doi]
- Solver-Based Sketching of Alloy Models Using Test ValuationsKaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid. 121-136 [doi]
- Abstract State Machines with Exact Real ArithmeticChristoph Beierle, Klaus-Dieter Schewe. 139-154 [doi]
- Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-BGuillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh. 155-170 [doi]
- Issues in Automated Urban Train Control: 'Tackling' the Rugby Club ProblemRichard Banach. 171-186 [doi]
- Clarification of Ambiguity for the Simple Authentication and Security LayerFarah Al-Shareefi, Alexei Lisitsa, Clare Dixon. 189-203 [doi]
- Systematic Refinement of Abstract State Machines with Higher-Order LogicFlavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres. 204-218 [doi]
- Refinement of Timing Constraints for Concurrent Tasks with SchedulingChenyang Zhu, Michael J. Butler, Corina Cîrstea. 219-233 [doi]
- Verifiable Code Generation from Scheduled Event-B ModelsMohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi. 234-248 [doi]
- The Hybrid ERTMS/ETCS Level 3 Case StudyThai Son Hoang, Michael J. Butler, Klaus Reichl. 251-261 [doi]
- Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering ApproachSteve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar. 262-276 [doi]
- Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in SpinPaolo Arcaini, Pavel Jezek, Jan Kofron. 277-291 [doi]
- Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real TrainsDominik Hansen, Michael Leuschel, David Schneider 0001, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron. 292-306 [doi]
- Validating the Hybrid ERTMS/ETCS Level 3 Concept with ElectrumAlcino Cunha, Nuno Macedo. 307-321 [doi]
- The ABZ-2018 Case Study with Event-BJean-Raymond Abrial. 322-337 [doi]
- Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3Dana Dghaym, Michael Poppleton, Colin F. Snook. 338-352 [doi]
- An Event-B Model of the Hybrid ERTMS/ETCS Level 3 StandardAmel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau. 353-366 [doi]
- AsmetaA: Animator for Abstract State MachinesSilvia Bonfanti, Angelo Gargantini, Atif Mashkoor. 369-373 [doi]
- Formal Specification of the Semantics of Control State DiagramsMarkus Leitz, Alexander Raschke. 374-379 [doi]
- Capturing Membrane Computing by ASMsKlaus-Dieter Schewe, Loredana Tec, Qing Wang. 380-385 [doi]
- Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-BInna Vistbakka, Mikhail Barash, Elena Troubitsyna. 386-391 [doi]
- State-Based Formal Methods in Scientific ComputationJohn Baugh, Tristan Dyer. 392-396 [doi]
- Proposition of an Action Layer for ElectrumJulien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa. 397-402 [doi]
- Insulin Pump: Modular Modeling of Hybrid Systems Using Event-BWen Su, Jinxin Chen, Shehroz Khan. 403-408 [doi]
- An Automation-Friendly Set Theory for the B MethodGuillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard. 409-414 [doi]
- Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier BLilian Burdy, David Déharbe. 415-419 [doi]
- Modelling Dynamic Data Structures with the B MethodFrédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer. 420-424 [doi]
- On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-BYamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, K. Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin. 425-430 [doi]