Publications

Pavlo Tokariev, Fredric Mallet (2024). Real-Time CCSL: Application to the Mechanical Lung Ventilator. ABZ'24.

Case Study Digital Printed Abstract View Cite Source

Alex Rodrigue Ndouna, Marc Frappier (2024). Modelling the mechanical lung ventilation system using TASTD. ABZ'24.

Case Study Digital Printed Abstract View Cite Source

Danny van Dortmont, Tim Willemse, Jeroen Keiren (2024). Modelling and Analysing a Mechanical Lung Ventilator in mCRL2. ABZ'24.

Case Study Digital Printed Abstract View Cite Source

Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisin Sheridan (2024). FRETting and Formal Modelling: A Mechanical Lung Ventilator. ABZ'24.

Case Study Digital Printed Abstract View Cite Source

Amel Mammar (2024). An Event-B Model of a Mechanical Lung Ventilator. ABZ'24.

Case Study Digital Printed Abstract View Cite Source

Alcino Cunha, Nuno Macedo, Chong Liu (2020). Validating Multiple Variants of an Automotive Light System with Electrum. ABZ'20.

Case Study Digital Printed Abstract View Cite Source

Michael Leuschel, Mareike Mutz, Michelle Werth (2020). Modelling and Validating an Automotive System in Classical B and Event-B. ABZ'20.

Case Study Digital Printed Abstract View Cite Source

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra (2020). Modelling an automotive software-intensive system with adaptive features using ASMETA. ABZ'20.

Case Study Digital Printed Abstract View Cite Source

Amel Mammar, Marc Frappier (2020). Modeling of a Speed Control System using Event-B. ABZ'20.

Case Study Digital Printed Abstract View Cite Source

Amel Mammar, Marc Frappier, Régine Laleau (2020). An Event-B Model of an Automotive Adaptive Exterior Light System. ABZ'20.

Case Study Digital Printed Abstract View Cite Source

Sebastian Krings, Philipp Koerner, Jannik Dunkelau, Chris Rutenkolk (2020). A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System. ABZ'20.

Case Study Digital Printed Abstract View Cite Source

Frank Houdek, Alexander Raschke (2020). Adaptive Exterior Light and Speed Control System. ABZ'20.

Case Study Digital Printed Abstract View Cite

Thai Son Hoang, Michael Butler, Klaus Reichl (2018). The Hybrid ERTMS/ETCS Level 3 Case Study. ABZ'18.

Case Study Digital Printed Abstract View Cite

Alcino Cunha, Nuno Macedo (2018). Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. ABZ'18.

Case Study Digital Printed Abstract View Cite Source

Dominik Hansen, Michael Leuschel, David Schneider, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron (2018). Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. ABZ'18.

Case Study Digital Printed Abstract View Cite Source

Jean-Raymond Abrial (2018). The ABZ-2018 Case Study with Event-B. ABZ'18.

Case Study Printed Abstract Cite Source

Paolo Arcaini, Pavel Jezek, Jan Kofron (2018). Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. ABZ'18.

Case Study Digital Printed Abstract View Cite Source

Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar (2018). Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. ABZ'18.

Case Study Digital Printed Abstract View Cite Source

Dana Dghaym, Michael Poppleton, Colin F. Snook (2018). Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3. ABZ'18.

Case Study Digital Printed Abstract View Cite Source

Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau (2018). An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. ABZ'18.

Case Study Digital Printed Abstract View Cite Source

Frédéric Boniol, Virginie Wiels, Yamine Aït-Ameur, Klaus-Dieter Schewe (2016). The landing gear case study: challenges and experiments. STTT.

Digital Printed Abstract View Cite

Atif Mashkoor (2016). The Hemodialysis Machine Case Study. ABZ'16.

Case Study Digital Printed Abstract View Cite

Thai Son Hoang, Colin F. Snook, Lukas Ladenberger, Michael J. Butler (2016). Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation. ABZ'16.

Case Study Digital Printed Abstract View Cite Source

Artur Oliveira Gomes, Andrew Butterfield (2016). Modelling the Haemodialysis Machine with Circus. ABZ'16.

Case Study Digital Printed Abstract View Cite Source

Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau (2016). Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. ABZ'16.

Case Study Printed Abstract Cite Source

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene (2016). How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ'16.

Case Study Digital Printed Abstract View Cite Source

Richard Banach (2016). Hemodialysis Machine in Hybrid Event-B. ABZ'16.

Case Study Digital Printed Abstract View Cite Source

Amel Mammarue, Régine Laleau (2015). Modeling a landing gear system in Event-B. STTT.

Digital Printed Abstract Cite

Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel (2015). Validation of the ABZ landing gear system using ProB. STTT.

Printed Source Abstract Cite

Frédéric Boniol, Virginie Wiels (2014). The Landing Gear System Case Study. ABZ'14.

Case Study Digital Printed Abstract View Cite

Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel (2014). Validation of the ABZ Landing Gear System Using ProB. ABZ'14.

Case Study Digital Printed Abstract View Cite Source

Richard Banach (2014). The Landing Gear Case Study in Hybrid Event-B. ABZ'14.

Case Study Digital Printed Abstract View Cite Source

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene (2014). Offline Model-based Testing and Runtime Monitoring of the Sensor Voting Module. ABZ'14.

Case Study Digital Printed Abstract View Cite Source

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene (2014). Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ'14.

Case Study Digital Printed Abstract View Cite Source

Dominique Méry, Neeraj Kumar Singh (2014). Modeling an Aircraft Landing System in Event-B. ABZ'14.

Case Study Digital Printed Abstract View Cite Source

Amel Mammar, Régine Laleau (2014). Modeling a Landing Gear System in Event-B. ABZ'14.

Case Study Digital Printed Abstract View Cite Source

Bernard Berthomieu, Silvano Dal Zilio, Łukasz Fronc (2014). Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre. ABZ'14.

Case Study Digital Printed Abstract View Cite Source

Felix Kossak (2014). Landing Gear System: An ASM-based Solution for the ABZ Case Study. ABZ'14.

Case Study Digital Printed Abstract View Cite Source

Philippe Dhaussy, Ciprian Teodorov (2014). Context-Aware Verification of a Landing Gear System. ABZ'14.

Case Study Digital Printed Abstract View Cite Source

Vitaly Savicks, Michael Butler, John Colley (2014). Co-simulation Environment for Rodin: Landing Gear Case Study. ABZ'14.

Case Study Digital Printed Abstract View Cite Source

Wen Su, Jean-Raymond Abrial (2014). Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System. ABZ'14.

Case Study Printed Abstract Cite Source