| 2024 | TAP | Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper. | Hao Wu, Thomas Flinkow, Dominique Mry |
| 2022 | APSEC | Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. | Ismal Mendil, Peter Riviere, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2022 | IFM | Empowering the Event-B Method Using External Theories. | Yamine At Ameur, Guillaume Dupont, Ismal Mendil, Dominique Mry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh |
| 2021 | FMICS | Standard Conformance-by-Construction with Event-B. | Ismal Mendil, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2021 | MEDI | A Refinement Strategy for Hybrid System Design with Safety Constraints. | Zheng Cheng, Dominique Mry |
| 2021 | SETTA | Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. | Ismal Mendil, Yamine At Ameur, Neeraj Kumar Singh, Dominique Mry, Philippe A. Palanque |
| 2020 | APSEC | An Integrated Framework for the Formal Analysis of Critical Interactive Systems. | Ismal Mendil, Neeraj Kumar Singh, Yamine At Ameur, Dominique Mry, Philippe A. Palanque |
| 2019 | ICTAC | Verification by Construction of Distributed Algorithms. | Dominique Mry |
| 2018 | ICECCS | Formal Ontology Driven Model Refactoring. | Neeraj Kumar Singh, Yamine At Ameur, Dominique Mry |
| 2018 | ISoLA | Modelling by Patterns for Correct-by-Construction Process. | Dominique Mry |
| 2017 | FORTE | Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. | J. Paul Gibson, Souad Kherroubi, Dominique Mry |
| 2017 | MEDI | Contextualization and Dependency in State-Based Modelling - Application to Event-B. | Souad Kherroubi, Dominique Mry |
| 2016 | ISoLA | On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. | Zheng Cheng, Dominique Mry, Rosemary Monahan |
| 2015 | HCI | Analyzing Requirements Using Environment Modelling. | Dominique Mry, Neeraj Kumar Singh |
| 2015 | MEDI | Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study. | Dominique Mry, Rushikesh Sawant, Anton Tarasyuk |
| 2014 | HCI | The Semantics of Refinement Chart. | Dominique Mry, Neeraj Kumar Singh |
| 2014 | ISoLA | On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. | Yamine At Ameur, J. Paul Gibson, Dominique Mry |
| 2014 | MEDI | Playing with State-Based Models for Designing Better Algorithms. | Dominique Mry |
| 2013 | CAV | Transforming Event B Models into Verified C# Implementations. | Dominique Mry, Rosemary Monahan |
| 2013 | HCI | Ideal Mode Selection of a Cardiac Pacing System. | Dominique Mry, Neeraj Kumar Singh |
| 2013 | IFM | Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. | Manamiary Bruno Andriamiarina, Dominique Mry, Neeraj Kumar Singh |
| 2013 | IFM | Formal Modelling and Verification of Population Protocols. | Dominique Mry, Michael Poppleton |
| 2013 | WETICE | From Event-B Specifications to Programs for Distributed Algorithms. | Mohamed Tounsi, Mohamed Mosbah, Dominique Mry |
| 2012 | ISoLA | Handling Heterogeneity in Formal Developments of Hardware and Software Systems. | Yamine At Ameur, Dominique Mry |
| 2012 | PDCAT | Revisiting Snapshot Algorithms by Refinement-Based Techniques. | Manamiary Bruno Andriamiarina, Dominique Mry, Neeraj Kumar Singh |
| 2011 | FM | Refinement-Based Verification of Local Synchronization Algorithms. | Dominique Mry, Mohamed Mosbah, Mohamed Tounsi |
| 2011 | SSS | Analysis of DSR Protocol in Event-B. | Dominique Mry, Neeraj Kumar Singh |
| 2010 | CSR | Proof-Based Design of Security Protocols. | Nazim Benassa, Dominique Mry |
| 2010 | ISoLA | Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. | Yamine At Ameur, Frdric Boniol, Dominique Mry, Virginie Wiels |
| 2010 | ISoLA | Trustable Formal Specification for Software Certification. | Dominique Mry, Neeraj Kumar Singh |
| 2007 | CSR | Proved-Patterns-Based Development for Structured Programs. | Dominique Cansell, Dominique Mry |
| 2007 | SEFM | Formal verification of tamper-evident storage for e-voting. | Dominique Cansell, J. Paul Gibson, Dominique Mry |
| 2004 | FDL | Derivation of SystemC code from abstract system models. | Dominique Cansell, J.-F. Culat, Dominique Mry, Cyril Proch |
| 2003 | FDL | Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . | Dominique Cansell, Dominique Mry, Cyril Proch |
| 2001 | GI | Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. | Dominique Cansell, Dominique Mry, Stephan Merz |
| 2000 | IFM | Predicate Diagrams for the Verification of Reactive Systems. | Dominique Cansell, Dominique Mry, Stephan Merz |
| 1999 | IFM | Integration Problems in Telephone Feature Requirements. | J. Paul Gibson, Geoff W. Hamilton, Dominique Mry |
| 1999 | IFM | Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. | Dominique Mry |
| 1999 | SAS | Abstract Animator for Temporal Specifications: Application to TLA. | Dominique Cansell, Dominique Mry |
| 1998 | CAV | An Experiment in Parallelizing an Application Using Formal Methods. | Raphal Couturier, Dominique Mry |
| 1997 | ICFEM | Incremental Specification of Telecommunication Services. | Bruno Mermet, Dominique Mry |
| 1997 | SAFECOMP | Safe combinations of services using B. | Bruno Mermet, Dominique Mry |
| 1993 | FM | A Proof Environment for Concurrent Programs. | Naima Brown, Dominique Mry |
| 1992 | CAV | Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. | Dominique Mry, Abdelillah Mokkedem |
| 1986 | MFCS | A Proof System to Derive Evantually Properties Under Justice Hypothesis. | Dominique Mry |