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

Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang (2024). Verifying HyperLTL Properties in Event-B. ABZ'24.

Digital Printed Abstract View Cite

Giuseppe Del Castillo (2024). Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines. ABZ'24.

Digital Printed Abstract View Cite

Akram Idani (2024). Transpilation of Petri-nets into B - Shallow and Deep Embeddings. ABZ'24.

Digital Printed Abstract View Cite

Bodo Igler, Andreas Mayer (2024). ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq. ABZ'24.

Digital Printed Abstract View Cite

Silvia Bonfanti, Angelo Gargantini (2024). The Mechanical Lung Ventilator Case Study. ABZ'24.

Digital Printed Abstract View Cite

Wolf Zimmermann, Thomas Kühn 0001, Edward Sabinus, Mandy Weißbach (2024). Small Step Incremental Verification of Compilers. ABZ'24.

Digital Printed Abstract View Cite

Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler (2024). Semantics Formalisation - From Event-B Contexts to Theories. ABZ'24.

Digital Printed Abstract View Cite

Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi, Gary B. Wills (2024). Property Ownership Formal Modelling Using Event-B and iUML-B. ABZ'24.

Digital Printed Abstract View Cite

Edward Sabinus (2024). Proof Construction and Checking on Evolving Abstract State Machines. ABZ'24.

Digital Printed Abstract View Cite

Jean-Pierre Jacquot (2024). Multi-model Animation with JeB. ABZ'24.

Digital Printed Abstract View Cite

Flavio Ferrarotti, Klaus-Dieter Schewe (2024). Modal Extensions of the Logic of Abstract State Machines. ABZ'24.

Digital Printed Abstract View Cite

Julius Armbrüster, Philipp Körner (2024). Meta-programming Event-B - Advancing Tool Support and Language Extensions. ABZ'24.

Digital Printed Abstract View Cite

Stefan Hallerstede (2024). Loose Observation in Event-B. ABZ'24.

Digital Printed Abstract View Cite

Anne Grieu (2024). From Event-B to Lambdapi. ABZ'24.

Digital Printed Abstract View Cite

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini (2024). From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code. ABZ'24.

Digital Printed Abstract View Cite

Saloni Sinha, Eunsuk Kang (2024). Formal Modeling and Analysis of Apache Kafka in Alloy 6. ABZ'24.

Digital Printed Abstract View Cite

Maurice H. Ter Beek (2024). Formal Methods and Tools Applied in the Railway Domain. ABZ'24.

Digital Printed Abstract View Cite

Fahad Alotaibi, Thai Son Hoang, Asieh Salehi Fathabadi, Michael J. Butler (2024). Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems. ABZ'24.

Digital Printed Abstract View Cite

Benoît Ballenghien, Burkhart Wolff (2024). Event-B as DSL in Isabelle and HOL Experiences from a Prototype. ABZ'24.

Digital Printed Abstract View Cite

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone (2024). Designing Exception Handling Using Event-B. ABZ'24.

Digital Printed Abstract View Cite

Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh, Michael J. Butler (2024). An Event-B Formal Model for Access Control and Resource Management of Serverless Apps. ABZ'24.

Digital Printed Abstract View Cite

César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis (2024). An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. ABZ'24.

Digital Printed Abstract View Cite

Pedro Silva, Alcino Cunha, Nuno Macedo 0001, José N. Oliveira (2024). Alloy Goes Fuzzy. ABZ'24.

Digital Printed Abstract View Cite

Simone Valentini, Chiara Braghin, Elvinia Riccobene (2024). A Modeling and Verification Framework for Ethereum Smart Contracts. ABZ'24.

Digital Printed Abstract View Cite

Egon Börger, Vincenzo Gervasi (2024). A Lean Reflective Abstract State Machine Definition. ABZ'24.

Digital Printed Abstract View Cite

Nuno Macedo 0001, Julien Brunel, David Chemouil, Alcino Cunha (2023). Verifying Temporal Relational Models with Pardinus. ABZ'23.

Digital Printed Abstract View Cite

Hao Wu 0017, Zheng Cheng (2023). Verifying Event-B Hybrid Models Using Cyclone. ABZ'23.

Digital Printed Abstract View Cite

Fabian Vu, Michael Leuschel (2023). Validation of Formal Models by Interactive Simulation. ABZ'23.

Digital Printed Abstract View Cite

Sebastian Stock 0002, Fabian Vu, David Geleßus, Michael Leuschel, Atif Mashkoor, Alexander Egyed (2023). Validation by Abstraction and Refinement. ABZ'23.

Digital Printed Abstract View Cite

Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff (2023). Using Deep Ontologies in Formal Software Engineering. ABZ'23.

Digital Printed Abstract View Cite

Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif (2023). Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems. ABZ'23.

Digital Printed Abstract View Cite

Diego De Azevedo Oliveira, Marc Frappier (2023). TASTD: A Real-Time Extension for ASTD. ABZ'23.

Digital Printed Abstract View Cite

Alcino Cunha, Nuno Macedo 0001, Eunsuk Kang (2023). Task Model Design and Analysis with Alloy. ABZ'23.

Digital Printed Abstract View Cite

Peter Riviere, Neeraj Kumar Singh 0001, Yamine Aït-Ameur, Guillaume Dupont (2023). Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory. ABZ'23.

Digital Printed Abstract View Cite

André Platzer (2023). Refinements of Hybrid Dynamical Systems Logic. ABZ'23.

Digital Printed Abstract View Cite

Alessio Coltellacci (2023). Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi. ABZ'23.

Digital Printed Abstract View Cite

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali (2023). Pattern-Based Refinement Generation Through Domain Specific Languages. ABZ'23.

Digital Printed Abstract View Cite

Diego De Azevedo Oliveira, Marc Frappier (2023). Modelling an Automotive Software System with TASTD. ABZ'23.

Digital Printed Abstract View Cite

Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra (2023). Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ABZ'23.

Digital Printed Abstract View Cite

Amel Mammar, Michael Leuschel (2023). Modeling and Verifying an Arrival Manager Using Event-B. ABZ'23.

Digital Printed Abstract View Cite

David Geleßus, Sebastian Stock 0002, Fabian Vu, Michael Leuschel, Atif Mashkoor (2023). Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations. ABZ'23.

Digital Printed Abstract View Cite

Julien Cervelle, Frédéric Gervais (2023). Introducing Inductive Construction in B with the Theory Plugin. ABZ'23.

Digital Printed Abstract View Cite

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini (2023). formal MVC: A Pattern for the Integration of ASM Specifications in UI Development. ABZ'23.

Digital Printed Abstract View Cite

Kristin Rutenkolk (2023). Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems. ABZ'23.

Digital Printed Abstract View Cite

Oisin Sheridan (2023). Exploring a Methodology for Formal Verification of Safety-Critical Systems. ABZ'23.

Digital Printed Abstract View Cite

Linjie Tong, Ke Xu 0002, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe (2023). Exploration of Reflective ASMs for Security. ABZ'23.

Digital Printed Abstract View Cite

Rosalie Defourné (2023). Encoding rmTLA+ Proof Obligations Safely for SMT. ABZ'23.

Digital Printed Abstract View Cite

Asieh Salehi Fathabadi, Colin F. Snook, Dana Dghaym, Thai Son Hoang, Fahad Alotaibi, Michael J. Butler (2023). Designing Critical Systems Using Hierarchical STPA and Event-B. ABZ'23.

Digital Printed Abstract View Cite

Thomas Wilson, Stuart Matthews (2023). Crucible Tools for Test Generation and Animation of Alloy Models. ABZ'23.

Digital Printed Abstract View Cite

Marie Farrell, Rosemary Monahan, James F. Power (2023). Building Specifications in the Event-B Institution: A Summary. ABZ'23.

Digital Printed Abstract View Cite

Flavio Ferrarotti, Klaus-Dieter Schewe (2023). Behavioural Theory of Reflective Algorithms. ABZ'23.

Digital Printed Abstract View Cite

Philippe A. Palanque, José Creissac Campos (2023). AMAN Case Study. ABZ'23.

Digital Printed Abstract View Cite

Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo 0001 (2023). Adding Records to Alloy. ABZ'23.

Digital Printed Abstract View Cite

Yannis Benabbi (2023). A Framework for Formal Verification and Validation of Railway Systems. ABZ'23.

Digital Printed Abstract View Cite

Dana Dghaym, Thai Son Hoang, Michael J. Butler, Runshan Hu, Leonardo Aniello, Vladimiro Sassone (2021). Verifying System-Level Security of a Smart Ballot Box. ABZ'21.

Digital Printed Abstract View Cite

Fabian Vu, Michael Leuschel, Atif Mashkoor (2021). Validation of Formal Models by Timed Probabilistic Simulation. ABZ'21.

Digital Printed Abstract View Cite

Zilinghan Li, Shilan He, Yiqing Du, Senén González, Klaus-Dieter Schewe (2021). Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams. ABZ'21.

Digital Printed Abstract View Cite

Fengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, Klaus-Dieter Schewe (2021). Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection. ABZ'21.

Digital Printed Abstract View Cite

Chiara Braghin, Mario Lilli, Elvinia Riccobene (2021). Towards ASM-Based Automated Formal Verification of Security Protocols. ABZ'21.

Digital Printed Abstract View Cite

Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler (2021). The CamilleX Framework for the Rodin Platform. ABZ'21.

Digital Printed Abstract View Cite

Tristan Dyer, John W Baugh Jr (2021). Sterling: A Web-Based Visualizer for Relational Modeling Languages. ABZ'21.

Digital Printed Abstract View Cite

Sophie Coudert (2021). Proving the Safety of a Sliding Window Protocol with Event-B. ABZ'21.

Digital Printed Abstract View Cite

Conor Reynolds (2021). Formalizing the Institution for Event-B in the Coq Proof Assistant. ABZ'21.

Digital Printed Abstract View Cite

Robert Eschbach (2021). Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B. ABZ'21.

Digital Printed Abstract View Cite

Peter Riviere (2021). Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework. ABZ'21.

Digital Printed Abstract View Cite

Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler (2021). Extensible Record Structures in Event-B. ABZ'21.

Digital Printed Abstract View Cite

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene (2021). Extending ASMETA with Time Features. ABZ'21.

Digital Printed Abstract View Cite

Jean-Paul Bodeveix, Mamoun Filali (2021). Event-B Formalization of Event-B Contexts. ABZ'21.

Digital Printed Abstract View Cite

Shubhangi Salunkhe, Randolf Berglehner, Abdul Rasheeq (2021). Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application. ABZ'21.

Digital Printed Abstract View Cite

Philipp Paulweber, Jakob Moosbrugger, Uwe Zdun (2021). About the Concolic Execution and Symbolic ASM Function Promotion in CASM. ABZ'21.

Digital Printed Abstract View Cite

Mario Lilli (2021). A Modeling and Verification Framework for Security Protocols. ABZ'21.

Digital Printed Abstract View Cite

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, Regine 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

Michelle Werth, Michael Leuschel (2020). VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics. ABZ'20.

Digital Printed Abstract View Cite

Diego De Azevedo Oliveira, Marc Frappier (2020). Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. ABZ'20.

Digital Printed Abstract View Cite

Philipp Körner, Michael Leuschel, Jannik Dunkelau (2020). Towards a Shared Specification Repository. ABZ'20.

Digital Printed Abstract View Cite

Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun (2020). Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages. ABZ'20.

Digital Printed Abstract View Cite

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler (2020). Refinement and Verification of Responsive Control Systems. ABZ'20.

Digital Printed Abstract View Cite

Thierry Lecomte (2020). Programming the CLEARSY Safety Platform with B. ABZ'20.

Digital Printed Abstract View Cite

David Geleßus, Michael Leuschel (2020). ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods. ABZ'20.

Digital Printed Abstract View Cite

Meryem Afendi, Regine Laleau, Amel Mammar (2020). Modelling Hybrid Programs with Event-B. ABZ'20.

Digital Printed Abstract View Cite

Ana Cavalcanti 0001 (2020). Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology. ABZ'20.

Digital Printed Abstract View Cite

Fatima Shokri-Manninen, Leonidas Tsiopoulos, Jüri Vain, Marina Waldén (2020). Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes. ABZ'20.

Digital Printed Abstract View Cite

Fahad Alotaibi (2020). Improving Trustworthiness of Self-driving Systems. ABZ'20.

Digital Printed Abstract View Cite

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 (2020). Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B. ABZ'20.

Digital Printed Abstract View Cite

Mohammad Jahanian, Jiachen Chen, K. K. Ramakrishnan (2020). Formal Verification of Interoperability Between Future Network Architectures Using Alloy. ABZ'20.

Digital Printed Abstract View Cite

Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander B. Romanovsky (2020). Formal Distributed Protocol Development for Reservation of Railway Sections. ABZ'20.

Digital Printed Abstract View Cite

Elvinia Riccobene, Patrizia Scandurra (2020). Exploring the Concept of Abstract State Machines for System Runtime Enforcement. ABZ'20.

Digital Printed Abstract View Cite

Nuno Macedo 0001, Alcino Cunha, José Pereira 0001, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva (2020). Experiences on Teaching Alloy with an Automated Assessment Platform. ABZ'20.

Digital Printed Abstract View Cite

Héctor Ruíz Barradas, Lilian Burdy, David Déharbe (2020). Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B. ABZ'20.

Digital Printed Abstract View Cite

Kenza Kraibi (2020). Event-B: From Systems to Sub-systems Modeling. ABZ'20.

Digital Printed Abstract View Cite

Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe (2020). Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. ABZ'20.

Digital Printed Abstract View Cite

Robert Clarisó, Jordi Cabot (2020). Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering. ABZ'20.

Digital Printed Abstract View Cite

Alexis Grall (2020). Automatic Generation of DistAlgo Programs from Event-B Models. ABZ'20.

Digital Printed Abstract View Cite

Jannik Dunkelau, Joshua Schmidt, Michael Leuschel (2020). Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out. ABZ'20.

Digital Printed Abstract View Cite

Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif (2020). Adding Concurrency to a Sequential Refinement Tower. ABZ'20.

Digital Printed Abstract View Cite

Abdulaziz Almehrej, Leo Freitas, Paolo Modesti (2020). Account and Transaction Protocol of the Open Banking Standard. ABZ'20.

Digital Printed Abstract View Cite

Klaus-Dieter Schewe, Flavio Ferrarotti (2020). A Logic for Reflective ASMs. ABZ'20.

Digital Printed Abstract View Cite

Ismaïl Mendil (2020). A Framework for Critical Interactive System Formal Modelling and Analysis. ABZ'20.

Digital Printed Abstract View Cite

Racem Bougacha (2020). A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements. ABZ'20.

Digital Printed Abstract View Cite

Meryem Afendi (2020). A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B. ABZ'20.

Digital Printed Abstract View Cite

Egon Börger, Klaus-Dieter Schewe (2020). A Characterization of Distributed ASMs with Partial-Order Runs. ABZ'20.

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, Regine 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, Regine Laleau (2018). An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. ABZ'18.

Case Study Digital Printed Abstract View Cite Source

Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi (2018). Verifiable Code Generation from Scheduled Event-B Models. ABZ'18.

Digital Printed Abstract View Cite

Inna Vistbakka, Mikhail Barash, Elena Troubitsyna (2018). Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. ABZ'18.

Digital Printed Abstract View Cite

Lilian Burdy, David Déharbe (2018). Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B. ABZ'18.

Digital Printed Abstract View Cite

Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres (2018). Systematic Refinement of Abstract State Machines with Higher-Order Logic. ABZ'18.

Digital Printed Abstract View Cite

Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid (2018). Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ'18.

Digital Printed Abstract View Cite

John W Baugh Jr, Tristan Dyer (2018). State-Based Formal Methods in Scientific Computation. ABZ'18.

Digital Printed Abstract View Cite

Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid (2018). Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ'18.

Digital Printed Abstract View Cite

Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea (2018). Refinement of Timing Constraints for Concurrent Tasks with Scheduling. ABZ'18.

Digital Printed Abstract View Cite

Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo 0001, Jeanne Tawa (2018). Proposition of an Action Layer for Electrum. ABZ'18.

Digital Printed Abstract View Cite

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 (2018). Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. ABZ'18.

Digital Printed Abstract View Cite

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 0001, Laurent Voisin (2018). On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ'18.

Digital Printed Abstract View Cite

Jean-Raymond Abrial (2018). On B and Event-B: Principles, Success and Challenges. ABZ'18.

Digital Printed Abstract View Cite

Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer (2018). Modelling Dynamic Data Structures with the B Method. ABZ'18.

Digital Printed Abstract View Cite

Richard Banach (2018). Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem. ABZ'18.

Digital Printed Abstract View Cite

Wen Su, Jinxin Chen, Shehroz Khan 0002 (2018). Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B. ABZ'18.

Digital Printed Abstract View Cite

Markus Leitz, Alexander Raschke (2018). Formal Specification of the Semantics of Control State Diagrams. ABZ'18.

Digital Printed Abstract View Cite

Jure Kukovec, Thanh-Hai Tran 0002, Igor Konnov 0001 (2018). Extracting Symbolic Transitions from TLA+ Specifications. ABZ'18.

Digital Printed Abstract View Cite

Steve Jeffrey Tueno Fotso, Amel Mammar, Regine Laleau, Marc Frappier (2018). Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. ABZ'18.

Digital Printed Abstract View Cite

Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang 0002 (2018). Distributed Adaptive Systems - Theory, Specification, Reasoning. ABZ'18.

Digital Printed Abstract View Cite

Farah Al-Shareefi, Alexei Lisitsa 0001, Clare Dixon (2018). Clarification of Ambiguity for the Simple Authentication and Security Layer. ABZ'18.

Digital Printed Abstract View Cite

Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun (2018). CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation. ABZ'18.

Digital Printed Abstract View Cite

Klaus-Dieter Schewe, Loredana Tec, Qing Wang 0002 (2018). Capturing Membrane Computing by ASMs. ABZ'18.

Digital Printed Abstract View Cite

Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor (2018). AsmetaA: Animator for Abstract State Machines. ABZ'18.

Digital Printed Abstract View Cite

Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard (2018). An Automation-Friendly Set Theory for the B Method. ABZ'18.

Digital Printed Abstract View Cite

Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson (2018). ABZ Languages and Tools in Industrial-Scale Application. ABZ'18.

Digital Printed Abstract View Cite

Christoph Beierle, Klaus-Dieter Schewe (2018). Abstract State Machines with Exact Real Arithmetic. ABZ'18.

Digital Printed Abstract View Cite

Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel (2018). A Translation from Alloy to B. ABZ'18.

Digital Printed Abstract View Cite

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, Regine 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

Dominik Hansen, David Schneider 0001, Michael Leuschel (2016). Using B and ProB for Data Validation Projects. ABZ'16.

Digital Printed Abstract View Cite

Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier (2016). Unified Syntax for Abstract State Machines. ABZ'16.

Digital Printed Abstract View Cite

Rajiv Murali, Andrew Ireland, Gudmund Grov (2016). UC-B: Use Case Modelling with Event-B. ABZ'16.

Digital Printed Abstract View Cite

Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres (2016). Towards an ASM Thesis for Reflective Sequential Algorithms. ABZ'16.

Digital Printed Abstract View Cite

David Mentré (2016). SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML. ABZ'16.

Digital Printed Abstract View Cite

Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow (2016). Semi-Automated Design Space Exploration for Formal Modelling. ABZ'16.

Digital Printed Abstract View Cite

Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky (2016). Rodin Platform Why3 Plug-In. ABZ'16.

Digital Printed Abstract View Cite

Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz (2016). Proving Determinacy of the PharOS Real-Time Operating System. ABZ'16.

Digital Printed Abstract View Cite

Sebastian Krings, Michael Leuschel (2016). Proof Assisted Symbolic Model Checking for B and Event-B. ABZ'16.

Digital Printed Abstract View Cite

Andrew Edmunds, Colin F. Snook, Marina Waldén (2016). On Component-Based Reuse for Event-B. ABZ'16.

Digital Printed Abstract View Cite

Egon Börger (2016). Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets. ABZ'16.

Digital Printed Abstract View Cite

John W Baugh Jr, Alper Altuntas (2016). Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy. ABZ'16.

Digital Printed Abstract View Cite

Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec (2016). Mechanized Refinement of Communication Models with TLA + +. ABZ'16.

Digital Printed Abstract View Cite

Joshua Schmidt, Sebastian Krings, Michael Leuschel (2016). Interactive Model Repair by Synthesis. ABZ'16.

Digital Printed Abstract View Cite

Felix Kossak, Atif Mashkoor (2016). How to Select the Suitable Formal Method for an Industrial Application: A Survey. ABZ'16.

Digital Printed Abstract View Cite

Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Marc Pantel (2016). Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development. ABZ'16.

Digital Printed Abstract View Cite

Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel (2016). Generating Event-B Specifications from Algorithm Descriptions. ABZ'16.

Digital Printed Abstract View Cite

Maha Boussabbeh, Mohamed Tounsi 0001, Mohamed Mosbah 0001, Ahmed Hadj Kacem (2016). Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions. ABZ'16.

Digital Printed Abstract View Cite

Stephan Merz, Hernán Vanzetto (2016). Encoding TLA + + into Many-Sorted First-Order Logic. ABZ'16.

Digital Printed Abstract View Cite

Ivaylo Dobrikov, Michael Leuschel (2016). Enabling Analysis for Event-B. ABZ'16.

Digital Printed Abstract View Cite

Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy (2016). A Universal Control Construct for Abstract State Machines. ABZ'16.

Digital Printed Abstract View Cite

Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G (2016). A Super Industrial Application of PSGraph. ABZ'16.

Digital Printed Abstract View Cite

Noran Azmy, Stephan Merz, Christoph Weidenbach (2016). A Rigorous Correctness Proof for Pastry. ABZ'16.

Digital Printed Abstract View Cite

Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif (2016). A Relational Encoding for a Clash-Free Subset of ASMs. ABZ'16.

Digital Printed Abstract View Cite

Philipp Paulweber, Uwe Zdun (2016). A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications. ABZ'16.

Digital Printed Abstract View Cite

Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi (2016). A Graphical Tool for Event Refinement Structures in Event-B. ABZ'16.

Digital Printed Abstract View Cite

Michael Leuschel, Egon Börger (2016). A Compact Encoding of Sequential ASMs in Event-B. ABZ'16.

Digital Printed Abstract View Cite

Yibo Liang, Yuhui Lin, Gudmund Grov (2016). 'The Tinker' for Rodin. ABZ'16.

Digital Printed Abstract View Cite

Amel Mammarue, Regine 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, Regine 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

Aleksandar Milicevic, Ido Efrati, Daniel Jackson 0001 (2014). αRby - An Embedding of Alloy in Ruby. ABZ'14.

Digital Printed Abstract View Cite

Chris Newcombe (2014). Why Amazon Chose TLA +. ABZ'14.

Digital Printed Abstract View Cite

Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani (2014). WebASM: An Abstract State Machine Execution Environment for the Web. ABZ'14.

Digital Printed Abstract View Cite

Nghi Huynh, Marc Frappier, Amel Mammar, Regine Laleau, Jules Desharnais (2014). Validating the RBAC ANSI 2012 Standard Using B. ABZ'14.

Digital Printed Abstract View Cite

Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden (2014). Understanding and Planning Event-B Refinement through Primitive Rationales. ABZ'14.

Digital Printed Abstract View Cite

Sylvain Conchon, Mohamed Iguernelala (2014). Tuning the Alt-Ergo SMT Solver for B Proof Obligations. ABZ'14.

Digital Printed Abstract View Cite

Dominik Hansen, Michael Leuschel (2014). Translating B to TLA + for Validation with TLC. ABZ'14.

Digital Printed Abstract View Cite

Michael Leuschel, David Schneider 0001 (2014). Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge. ABZ'14.

Digital Printed Abstract View Cite

Elvinia Riccobene, Patrizia Scandurra (2014). Towards ASM-Based Formal Specification of Self-Adaptive Systems. ABZ'14.

Digital Printed Abstract View Cite

Laurent Voisin, Jean-Raymond Abrial (2014). The Rodin Platform Has Turned Ten. ABZ'14.

Digital Printed Abstract View Cite

David Delahaye, Catherine Dubois, Claude Marché, David Mentré (2014). The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. ABZ'14.

Digital Printed Abstract View Cite

Andrew Edmunds (2014). Templates for Event-B Code Generation. ABZ'14.

Digital Printed Abstract View Cite

Vajih Montaghami, Derek Rayside (2014). Staged Evaluation of Partial Instances in a Relational Model Finder. ABZ'14.

Digital Printed Abstract View Cite

Egon Börger, Klaus-Dieter Schewe (2014). Specifying Transaction Control to Serialize Concurrent Program Executions. ABZ'14.

Digital Printed Abstract View Cite

Eerke A. Boiten, Jeremy Jacob (2014). Sealed Containers in Z. ABZ'14.

Digital Printed Abstract View Cite

Stefan Hallerstede (2014). Quasi-Lexicographic Convergence. ABZ'14.

Digital Printed Abstract View Cite

Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki 0001 (2014). Optimizing Alloy for Multi-objective Software Product Line Configuration. ABZ'14.

Digital Printed Abstract View Cite

Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif (2014). Modular Refinement for Submachines of ASMs. ABZ'14.

Digital Printed Abstract View Cite

José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus Ballegård Nielsen, Stefan Hallerstede (2014). Modelling Energy Consumption in Embedded Systems with VDM-RT. ABZ'14.

Digital Printed Abstract View Cite

Graeme Smith 0001, Qin Li 0002 (2014). MAZE: An Extension of Object-Z for Multi-Agent Systems. ABZ'14.

Digital Printed Abstract View Cite

Richard Banach (2014). Invariant Guided System Decomposition. ABZ'14.

Digital Printed Abstract View Cite

Marcel Dausend, Alexander Raschke (2014). Introducing Aspect-Oriented Specification for Abstract State Machines. ABZ'14.

Digital Printed Abstract View Cite

Petr N. Devyanin, Alexey v. Khoroshilov, Victor v. Kuliamin, Alexander K. Petrenko, Ilya v. Shchepetkov (2014). Formal Verification of OS Security Model with Alloy and Event-B. ABZ'14.

Digital Printed Abstract View Cite

Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki (2014). Formal System Modelling Using Abstract Data Types in Event-B. ABZ'14.

Digital Printed Abstract View Cite

Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna (2014). Formal Derivation of Distributed MapReduce. ABZ'14.

Digital Printed Abstract View Cite

Jérôme Guéry, Olivier Rolland, Joris Rehm (2014). Fixed-Point Arithmetic Modeled in B Software Using Reals. ABZ'14.

Digital Printed Abstract View Cite

Loïc Gammaitoni, Pierre Kelsen (2014). Domain-Specific Visualization of Alloy Instances. ABZ'14.

Digital Printed Abstract View Cite

Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn (2014). Distributed Situation Analysis - A Formal Semantic Framework. ABZ'14.

Digital Printed Abstract View Cite

Andreas Prinz 0001, Edel Sherratt (2014). Distributed ASM - Pitfalls and Solutions. ABZ'14.

Digital Printed Abstract View Cite

Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif (2014). Development of a Verified Flash File System. ABZ'14.

Digital Printed Abstract View Cite

Ferney A. Maldonado-Lopez, Jaime Chavarriaga, Yezid Donoso (2014). Detecting Network Policy Conflicts Using Alloy. ABZ'14.

Digital Printed Abstract View Cite

Alcino Cunha (2014). Bounded Model Checking of Temporal Formulas with Alloy. ABZ'14.

Digital Printed Abstract View Cite

Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru (2014). B Formal Validation of ERTMS/ETCS Railway Operating Rules. ABZ'14.

Digital Printed Abstract View Cite

Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh 0001 (2014). Analysis of Self-⋆ and P2P Systems Using Refinement. ABZ'14.

Digital Printed Abstract View Cite

Ramsay Taylor (2012). Verification of Hardware Interaction Properties of Software. ABZ'12.

Digital Printed Abstract View Cite

Matthes Elstermann, Detlef Seese, Albert Fleischmann (2012). Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System. ABZ'12.

Digital Printed Abstract View Cite

Timothy Nelson 0001, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi (2012). Toward a More Complete Alloy. ABZ'12.

Digital Printed Abstract View Cite

Paolo Arcaini, Francesco Bolis, Angelo Gargantini (2012). Test Generation for Sequential Nets of Abstract State Machines. ABZ'12.

Digital Printed Abstract View Cite

Amirhossein Vakili, Nancy A. Day (2012). Temporal Logic Model Checking in Alloy. ABZ'12.

Digital Printed Abstract View Cite

David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin (2012). SMT Solvers for Rodin. ABZ'12.

Digital Printed Abstract View Cite

Gudmund Grov, Andrew Ireland, Maria Teresa Llano (2012). Refinement Plans for Informed Formal Design. ABZ'12.

Digital Printed Abstract View Cite

Stefan Hallerstede, Thai Son Hoang (2012). Refinement by Interface Instantiation. ABZ'12.

Digital Printed Abstract View Cite

Hamed Yaghoubi Shahir, Roozbeh Farahbod, Uwe Glässer (2012). Refactoring Abstract State Machine Models. ABZ'12.

Digital Printed Abstract View Cite

Aleksandar Milicevic, Daniel Jackson 0001 (2012). Preventing Arithmetic Overflows in Alloy. ABZ'12.

Digital Printed Abstract View Cite

Benoît Fraikin, Marc Frappier, Richard St-Denis (2012). Modeling the Supervisory Control Theory with Alloy. ABZ'12.

Digital Printed Abstract View Cite

Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra (2012). Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs. ABZ'12.

Digital Printed Abstract View Cite

Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu (2012). Learn and Test for Event-B - A Rodin Plugin. ABZ'12.

Digital Printed Abstract View Cite

Ian J. Hayes, Robert Colvin (2012). Integrated Operational Semantics: Small-Step, Big-Step and Multi-step. ABZ'12.

Digital Printed Abstract View Cite

Jean-Raymond Abrial, Wen Su, Huibiao Zhu (2012). Formalizing Hybrid Systems with Event-B. ABZ'12.

Digital Printed Abstract View Cite

Haniel Barbosa, David Déharbe (2012). Formal Verification of PLC Programs Using the B Method. ABZ'12.

Digital Printed Abstract View Cite

Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry (2012). Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. ABZ'12.

Digital Printed Abstract View Cite

Maximiliano Cristiá, Claudia S. Frydman (2012). Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions. ABZ'12.

Digital Printed Abstract View Cite

Vajih Montaghami, Derek Rayside (2012). Extending Alloy with Partial Instances. ABZ'12.

Digital Printed Abstract View Cite

Andrew Edmunds, Michael J. Butler, Issam Maamria, Renato Silva, Chris Lovell (2012). Event-B Code Generation: Type Extension with Theories. ABZ'12.

Digital Printed Abstract View Cite

David Mentré, Claude Marché, Jean-Christophe Filliâtre, Masashi Asuka (2012). Discharging Proof Obligations from Atelier B Using Multiple Automated Provers. ABZ'12.

Digital Printed Abstract View Cite

Egon Börger, Antonio Cisternino, Vincenzo Gervasi (2012). Contribution to a Rigorous Analysis of Web Application Frameworks. ABZ'12.

Digital Printed Abstract View Cite

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu (2012). Continuous Behaviour in Event-B: A Sketch. ABZ'12.

Digital Printed Abstract View Cite

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu (2012). Continuous ASM, and a Pacemaker Sensing Fragment. ABZ'12.

Digital Printed Abstract View Cite

Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen (2012). Combining VDM with Executable Code. ABZ'12.

Digital Printed Abstract View Cite

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu (2012). ASM and Controller Synthesis. ABZ'12.

Digital Printed Abstract View Cite

Vincenzo Gervasi (2012). An ASM Model of Concurrency in a Web Browser. ABZ'12.

Digital Printed Abstract View Cite

Ting Wang, Dongyao Ji (2012). Active Attacking Multicast Key Management Protocol Using Alloy. ABZ'12.

Digital Printed Abstract View Cite

Roland Lezuo, Andreas Krall (2012). A Unified Processor Model for Compiler Verification and Simulation Using ASM. ABZ'12.

Digital Printed Abstract View Cite

Chris Marriott, Frank Zeyda, Ana Cavalcanti 0001 (2012). A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. ABZ'12.

Digital Printed Abstract View Cite

Klaus-Dieter Schewe, Qing Wang 0002 (2012). A Simplified Parallel ASM Thesis. ABZ'12.

Digital Printed Abstract View Cite

Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles (2012). A Semantic Analysis of Logics That Cope with Partial Terms. ABZ'12.

Digital Printed Abstract View Cite

Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra (2012). A Reliability Prediction Method for Abstract State Machines. ABZ'12.

Digital Printed Abstract View Cite

Thiago C. De Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook (2012). A Practical Event-B Refinement Method Based on a UML-Driven Development Process. ABZ'12.

Digital Printed Abstract View Cite

Gintautas Sulskus, Michael Poppleton (2012). A Pattern for Modelling Fault Tolerant Systems in Event-B. ABZ'12.

Digital Printed Abstract View Cite

Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix (2010). Using Event-B to Verify the Kmelia Components and Their Assemblies. ABZ'10.

Digital Printed Abstract View Cite

Petra Malik, Lindsay Groves, Clare Lenihan (2010). Translating Z to Alloy. ABZ'10.

Digital Printed Abstract View Cite

Jeremy L. Jacob (2010). Trace Specifications in Alloy. ABZ'10.

Digital Printed Abstract View Cite

Atif Mashkoor, Abderrahman Matoussi (2010). Towards Validation of Requirements Models. ABZ'10.

Digital Printed Abstract View Cite

Nicolas Wu, Andrew Simpson 0001 (2010). Towards Formally Templated Relational Database Representations in Z. ABZ'10.

Digital Printed Abstract View Cite

Joud S. Khoury, Chaouki T. Abdallah, Gregory L. Heileman (2010). Towards Formalizing Network Architectural Descriptions. ABZ'10.

Digital Printed Abstract View Cite

Iain Craig, Egon Börger (2010). Synchronous Message Passing and Semaphores: An Equivalence Proof. ABZ'10.

Digital Printed Abstract View Cite

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala (2010). Supporting Reuse in Event B Development: Modularisation Approach. ABZ'10.

Digital Printed Abstract View Cite

Stefan Hallerstede (2010). Structured Event-B Models and Proofs. ABZ'10.

Digital Printed Abstract View Cite

Thiago C. De Sousa, Aryldo G. Russo (2010). Starting B Specifications from Use Cases. ABZ'10.

Digital Printed Abstract View Cite

Alban Tiberghien, Philippe Merle, Lionel Seinturier (2010). Specifying Self-configurable Component-Based Systems with FracToy. ABZ'10.

Digital Printed Abstract View Cite

Waël Hassan, Nadera Slimani, Kamel Adi, Luigi Logrippo (2010). Secrecy UML Method for Model Transformations. ABZ'10.

Digital Printed Abstract View Cite

Stefan Hallerstede, Michael Leuschel, Daniel Plagge (2010). Refinement-Animation for Event-B - Towards a Method of Validation. ABZ'10.

Digital Printed Abstract View Cite

Andrew Ireland, Gudmund Grov, Michael J. Butler (2010). Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. ABZ'10.

Digital Printed Abstract View Cite

Steve Dunne, Frank Zeyda (2010). Reactivising Classical B. ABZ'10.

Digital Printed Abstract View Cite

Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias (2010). ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. ABZ'10.

Digital Printed Abstract View Cite

David J. Power, Mark Slaymaker, Andrew Simpson 0001 (2010). On the Modelling and Analysis of Amazon Web Services Access Policies. ABZ'10.

Digital Printed Abstract View Cite

Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh (2010). On an Extensible Rule-Based Prover for Event-B. ABZ'10.

Digital Printed Abstract View Cite

Néstor Cataño, Camilo Rueda (2010). Matelas: A Predicate Calculus Common Formal Definition for Social Networking. ABZ'10.

Digital Printed Abstract View Cite

Mark C. Reynolds (2010). Lightweight Modeling of Java Virtual Machine Security Constraints. ABZ'10.

Digital Printed Abstract View Cite

Razieh Nokhbeh Zaeem, Sarfraz Khurshid (2010). Introducing Specification-Based Data Structure Repair Using Alloy. ABZ'10.

Digital Printed Abstract View Cite

Alessandro Cavalcante Gurgel, Valério Gutemberg de Medeiros, Marcel Vinícius Medeiros Oliveira, David Boris Paul Déharbe (2010). Integrating SMT-Solvers in Z and B Tools. ABZ'10.

Digital Printed Abstract View Cite

Abderrahman Matoussi, Dorian Petit (2010). Improving Traceability between KAOS Requirements Models and B Specifications. ABZ'10.

Digital Printed Abstract View Cite

Mark Slaymaker, David J. Power, Andrew Simpson 0001 (2010). Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods. ABZ'10.

Digital Printed Abstract View Cite

Osman Hasan, Sofiène Tahar (2010). Formal Probabilistic Analysis: A Higher-Order Logic Based Approach. ABZ'10.

Digital Printed Abstract View Cite

James R. Williams, Fiona A. C. Polack, Richard F. Paige (2010). Formal Analysis in Model Management: Exploiting the Power of CZT. ABZ'10.

Digital Printed Abstract View Cite

Thai Son Hoang, Jean-Raymond Abrial (2010). Event-B Decomposition for Parallel Programs. ABZ'10.

Digital Printed Abstract View Cite

Mamoun Filali-Amine, Julia Lawall (2010). Development of a Synchronous Subset of AADL. ABZ'10.

Digital Printed Abstract View Cite

Michael Vernon, Frank Zeyda, Ana Cavalcanti 0001 (2010). Communication Systems in ClawZ. ABZ'10.

Digital Printed Abstract View Cite

Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah (2010). Code Synthesis for Timed Automata: A Comparison Using Case Study. ABZ'10.

Digital Printed Abstract View Cite

Michael Altenhofen, Roozbeh Farahbod (2010). Bârun: A Scripting Language for CoreASM. ABZ'10.

Digital Printed Abstract View Cite

David Michel 0001, Frédéric Gervais, Pierre Valarcher (2010). B-ASM: Specification of ASM à la B. ABZ'10.

Digital Printed Abstract View Cite

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson (2010). B Model Abstraction Combining Syntactic and Semantic Methods. ABZ'10.

Digital Printed Abstract View Cite

David Déharbe (2010). Automatic Verification for a Class of Proof Obligations with SMT-Solvers. ABZ'10.

Digital Printed Abstract View Cite

Jameleddine Hassine (2010). AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps. ABZ'10.

Digital Printed Abstract View Cite

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene (2010). AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ABZ'10.

Digital Printed Abstract View Cite

Hamid Bagheri, Kevin J. Sullivan (2010). Architecture as an Independent Variable for Aspect-Oriented Application Descriptions. ABZ'10.

Digital Printed Abstract View Cite

Bruno Emerson Gurgel Gomes, David Déharbe, Anamaria Martins Moreira, Katia Moraes (2010). Applying the B Method for the Rigorous Development of Smart Card Applications. ABZ'10.

Digital Printed Abstract View Cite

Joseph P. Near, Daniel Jackson 0001 (2010). An Imperative Extension to Alloy. ABZ'10.

Digital Printed Abstract View Cite

Elvinia Riccobene, Patrizia Scandurra (2010). An Executable Semantics of the SystemC UML Profile. ABZ'10.

Digital Printed Abstract View Cite

Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera (2010). Alloy+HotCore: A Fast Approximation to Unsat Core. ABZ'10.

Digital Printed Abstract View Cite

Daniel Jackson 0001, Eunsuk Kang (2010). A Structure for Dependability Arguments. ABZ'10.

Digital Printed Abstract View Cite

Edd Turner, Michael J. Butler, Michael Leuschel (2010). A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. ABZ'10.

Digital Printed Abstract View Cite

Idir Aït-Sadoune, Yamine Aït Ameur (2010). A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. ABZ'10.

Digital Printed Abstract View Cite

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry (2010). A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. ABZ'10.

Digital Printed Abstract View Cite

Jennifer Sorge, Michael Poppleton, Michael J. Butler (2010). A Basis for Feature-Oriented Modelling in Event-B. ABZ'10.

Digital Printed Abstract View Cite

John Derrick, Siobhán North, Anthony J. H. Simons (2008). Z2SAL - Building a Model Checker for Z. ABZ'08.

Digital Printed Abstract View Cite

Qing Wang 0002, Klaus-Dieter Schewe, Bernhard Thalheim (2008). XML Database Transformations with Tree Updates. ABZ'08.

Digital Printed Abstract View Cite

Idir Aït-Sadoune, Yamine Aït Ameur (2008). Verification and Validation of Web Service Composition Using Event B Method. ABZ'08.

Digital Printed Abstract View Cite

Margus Veanes, Ando Saabas (2008). Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). ABZ'08.

Digital Printed Abstract View Cite

Stephen Wright (2008). Using EventB to Create a Virtual Machine Instruction Set Architecture. ABZ'08.

Digital Printed Abstract View Cite

Ileana Ober, Ali Abou Dib (2008). Using ASM to Achieve Executability within a Family of DSL. ABZ'08.

Digital Printed Abstract View Cite

Richard Banach (2008). UseCase-Wise Development: Retrenchment for Event-B. ABZ'08.

Digital Printed Abstract View Cite

Mark Utting, Petra Malik (2008). Unit Testing of Z Specifications. ABZ'08.

Digital Printed Abstract View Cite

Colin F. Snook, Michael J. Butler (2008). UML-B: A Plug-in for the Event-B Tool Set. ABZ'08.

Digital Printed Abstract View Cite

Juan Bicarregui, Alvaro Arenas, Benjamin Aziz, Philippe Massonet, Christophe Ponsard (2008). Towards Modelling Obligations in Event-B. ABZ'08.

Digital Printed Abstract View Cite

Alessandro Cavalcante Gurgel, Cristiano Gurgel De Castro, Marcel Vinícius Medeiros Oliveira (2008). Tool Support for the CircusRefinement Calculus. ABZ'08.

Digital Printed Abstract View Cite

Michael Leuschel (2008). The High Road to Formal Validation: . ABZ'08.

Digital Printed Abstract View Cite

Michael Poppleton (2008). The Composition of Event-B Models. ABZ'08.

Digital Printed Abstract View Cite

Joëlle Cohen, Anatol Slissenko (2008). Stability of Real-Time Abstract State Machines under Desynchronization. ABZ'08.

Digital Printed Abstract View Cite

Cliff B. Jones, Ken G. Pierce (2008). Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ABZ'08.

Digital Printed Abstract View Cite

Ramsay Taylor (2008). Separation of Z Operations. ABZ'08.

Digital Printed Abstract View Cite

Gerhard Schellhorn (2008). Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract). ABZ'08.

Digital Printed Abstract View Cite

Ken Robinson (2008). Reconciling Axiomatic and Model-Based Specifications Reprised. ABZ'08.

Digital Printed Abstract View Cite

Stefan Hallerstede (2008). On the Purpose of Event-B Proof Obligations. ABZ'08.

Digital Printed Abstract View Cite

Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans (2008). Object Modelling in the SystemB Industrial Project. ABZ'08.

Digital Printed Abstract View Cite

Nazim Benaïssa (2008). Modelling Attacker's Knowledge for Cascade Cryptographic Protocols. ABZ'08.

Digital Printed Abstract View Cite

Egon Börger, Bernhard Thalheim (2008). Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. ABZ'08.

Digital Printed Abstract View Cite

Paulo J. Matos, João Marques-Silva 0001 (2008). Model Checking Event-B by Encoding into Alloy. ABZ'08.

Digital Printed Abstract View Cite

Richard Banach (2008). Model Based Refinement and the Tools of Tomorrow. ABZ'08.

Digital Printed Abstract View Cite

Anthony Hall (2008). Integrating Z into Large Projects Tools and Techniques. ABZ'08.

Digital Printed Abstract View Cite

Jacques Julliand, Pierre-Alain Masson, Régis Tissot (2008). Generating Tests from B Specifications and Test Purposes. ABZ'08.

Digital Printed Abstract View Cite

Eerke A. Boiten (2008). From ABZ to Cryptography. ABZ'08.

Digital Printed Abstract View Cite

Hocine El-Habib Daho, Djilali Benhamamouch (2008). Formal Verification of ASM Models Using TLA+. ABZ'08.

Digital Printed Abstract View Cite

Eunsuk Kang, Daniel Jackson 0001 (2008). Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ'08.

Digital Printed Abstract View Cite

Jean-Charles Chaudemar, Charles Castel, Christel Seguin (2008). FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B. ABZ'08.

Digital Printed Abstract View Cite

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra (2008). Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ'08.

Digital Printed Abstract View Cite

Roozbeh Farahbod, Uwe Glässer (2008). Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance. ABZ'08.

Digital Printed Abstract View Cite

Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich (2008). Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. ABZ'08.

Digital Printed Abstract View Cite

Christophe Métayer, Mathieu Clabaut (2008). DIR 41 Case Study. ABZ'08.

Digital Printed Abstract View Cite

Alessandra Cavarra (2008). Data Flow Analysis and Testing of Abstract State Machines. ABZ'08.

Digital Printed Abstract View Cite

Wolfram Büttner (2008). Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity. ABZ'08.

Digital Printed Abstract View Cite

Frédéric Dadeau, Adrien De Kermadec, Régis Tissot (2008). Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. ABZ'08.

Digital Printed Abstract View Cite

David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira (2008). BSmart: A Tool for the Development of Java Card Applications with the B Method. ABZ'08.

Digital Printed Abstract View Cite

Antoine Requet (2008). BART: A Tool for Automatic Refinement. ABZ'08.

Digital Printed Abstract View Cite

Nuno Amálio, Fiona Polack, Jing Zhang (2008). Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. ABZ'08.

Digital Printed Abstract View Cite

Jim Woodcock 0001, Paul Boca (2008). ABZ2008 VSR-Net Workshop. ABZ'08.

Digital Printed Abstract View Cite

Christoph Beierle, Gabriele Kern-Isberner (2008). A Verified AsmL Implementation of Belief Revision. ABZ'08.

Digital Printed Abstract View Cite

Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet (2008). A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. ABZ'08.

Digital Printed Abstract View Cite

Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra (2008). A Scenario-Based Validation Language for ASMs. ABZ'08.

Digital Printed Abstract View Cite

Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin (2008). A Roadmap for the Rodin Toolset. ABZ'08.

Digital Printed Abstract View Cite

Steve Dunne, Stacey Conroy (2008). A Practical Single Refinement Method for B. ABZ'08.

Digital Printed Abstract View Cite

Abderrahman Matoussi, Frédéric Gervais, Regine Laleau (2008). A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ'08.

Digital Printed Abstract View Cite

Gerhard Schellhorn, Richard Banach (2008). A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. ABZ'08.

Digital Printed Abstract View Cite