A Proof System to Derive Evantually Properties Under Justice Hypothesis. - Dominique Méry (MFCS, 1986)

Méthode Axiomatique Pour Les Propriétés De Fatalité Des Programmes Parallèles. - Dominique Méry (RAIRO Theor. Informatics Appl., 1987)

Temporal Specifications Directed by Grammar and Design of Process Networks. - Francois D. Carrez; Dominique Méry (Specification and Verification of Concurrent Systems, 1988)

Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. - Dominique Méry; Abdelillah Mokkedem (CAV, 1992)

The N U System as a Development System for Concurrent Programs: delta N U. - Dominique Méry (Theor. Comput. Sci., 1992)

Towards an Integrated Environment for Concurrent programs Development. - Naima Brown; Dominique Méry (AMAST, 1993)

On Using a Composition Principle to Design Parallel Programs. - Abdelillah Mokkedem; Dominique Méry (AMAST, 1993)

A Proof Environment for Concurrent Programs. - Naima Brown; Dominique Méry (FME, 1993)

A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. - Abdelillah Mokkedem; Dominique Méry (ICTL, 1994)

On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. - Abdelillah Mokkedem; Dominique Méry (Theor. Comput. Sci., 1995)

Incremental Specification of Telecommunication Services. - Bruno Mermet; Dominique Méry (ICFEM, 1997)

Feature Interactions: A Mixed Semantic Model Approach. - J. Paul Gibson; Bruno Mermet; Dominique Méry (IWFM, 1997)

Safe combinations of services using B. - Bruno Mermet; Dominique Méry (SAFECOMP, 1997)

Telephone feature verification: Translating SDL to TLA+. - Dominique Méry; J. Paul Gibson (SDL Forum, 1997)

Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method. - Jean-François Pétin; Gérard Morel; Dominique Méry; Patrick Lamboley (B, 1998)

An Experiment in Parallelizing an Application Using Formal Methods. - Raphaël Couturier; Dominique Méry (CAV, 1998)

Service specifications: to B, or not to B. - Bruno Mermet; Dominique Méry (FMSP, 1998)

Teaching Formal Methods: Lessons to Learn. - J. Paul Gibson; Dominique Méry (IWFM, 1998)

Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. - J. Paul Gibson; Dominique Méry (Ershov Memorial Conference, 1999)

Integration Problems in Telephone Feature Requirements. - J. Paul Gibson; Geoff W. Hamilton; Dominique Méry (IFM, 1999)

Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. - Dominique Méry (IFM, 1999)

Abstract Animator for Temporal Specifications: Application to TLA. - Dominique Cansell; Dominique Méry (SAS, 1999)

Abstraction and refinement of features. - Dominique Cansell; Dominique Méry (FIREworks, 2000)

A Taxonomy for Triggered Interactions Using Fair Object Semantics. - J. Paul Gibson; Geoff W. Hamilton; Dominique Méry (FIW, 2000)

Predicate Diagrams for the Verification of Reactive Systems. - Dominique Cansell; Dominique Méry; Stephan Merz (IFM, 2000)

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification. - Dominique Cansell; Dominique Méry; Christophe Tabacznyj (IPDPS Workshops, 2000)

Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). - Beverly A. Sanders; Dominique Méry (IPDPS Workshops, 2000)

Playing with Abstraction and Refinement for Managing Features Interactions. - Dominique Cansell; Dominique Méry (ZB, 2000)

Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. - Dominique Cansell; Dominique Méry; Stephan Merz (GI Jahrestagung (1), 2001)

Diagram Refinements for the Design of Reactive Systems. - Dominique Cansell; Dominique Méry; Stephan Merz (J. Univers. Comput. Sci., 2001)

Incremental Proof of the Producer/Consumer Property for the PCI Protocol. - Dominique Cansell; Ganesh Gopalakrishnan; Michael D. Jones; Dominique Méry; Airy Weinzoepflen (ZB, 2002)

Editorial Note. - Dominique Méry; Beverly A. Sanders (Formal Methods Syst. Des., 2002)

Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . - Dominique Cansell; Dominique Méry; Cyril Proch (FDL, 2003)

Formal Derivation of Spanning Trees Algorithms. - Jean-Raymond Abrial; Dominique Cansell; Dominique Méry (ZB, 2003)

Foundations of the B Method. - Dominique Cansell; Dominique Méry (Comput. Artif. Intell., 2003)

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. - Jean-Raymond Abrial; Dominique Cansell; Dominique Méry (Formal Aspects Comput., 2003)

Derivation of SystemC code from abstract system models. - Dominique Cansell; J.-F. Culat; Dominique Méry; Cyril Proch (FDL, 2004)

Refinement and Reachability in EventB. - Jean-Raymond Abrial; Dominique Cansell; Dominique Méry (ZB, 2005)

Event Systems and Access Control - Dominique Méry; Stephan Merz (CoRR, 2006)

Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. - Dominique Cansell; J. Paul Gibson; Dominique Méry (FMIS@ICFEM, 2006)

Incremental Parametric Development of Greedy Algorithms. - Dominique Cansell; Dominique Méry (AVoCS, 2006)

Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm. - Dominique Cansell; Dominique Méry (Theor. Comput. Sci., 2006)

Integration of Security Policy into System Modeling. - Nazim Benaïssa; Dominique Cansell; Dominique Méry (B, 2007)

Time Constraint Patterns for Event B Development. - Dominique Cansell; Dominique Méry; Joris Rehm (B, 2007)

Proved-Patterns-Based Development for Structured Programs. - Dominique Cansell; Dominique Méry (CSR, 2007)

Formal verification of tamper-evident storage for e-voting. - Dominique Cansell; J. Paul Gibson; Dominique Méry (SEFM, 2007)

Specification and Refinement of Access Control. - Dominique Méry; Stephan Merz (J. Univers. Comput. Sci., 2007)

Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development. - Dominique Cansell; Dominique Méry (Rigorous Methods for Software Construction and Analysis, 2009)

Cryptographic Protocols Analysis in Event B. - Nazim Benaïssa; Dominique Méry (Ershov Memorial Conference, 2009)

Refinement-Based Guidelines for Algorithmic Systems. - Dominique Méry (Int. J. Softw. Informatics, 2009)

A simple refinement-based method for constructing algorithms. - Dominique Méry (ACM SIGCSE Bull., 2009)

System-on-chip design by proof-based refinement. - Dominique Cansell; Dominique Méry; Cyril Proch (Int. J. Softw. Tools Technol. Transf., 2009)

Real-Time Animation for Formal Specification. - Dominique Méry; Neeraj Kumar Singh 001 (CSDM, 2010)

Proof-Based Design of Security Protocols. - Nazim Benaïssa; Dominique Méry (CSR, 2010)

Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. - Yamine Aït Ameur; Frédéric Boniol; Dominique Méry; Virginie Wiels (ISoLA (1), 2010)

Trustable Formal Specification for Software Certification. - Dominique Méry; Neeraj Kumar Singh 001 (ISoLA (2), 2010)

Proving Distributed Algorithms by Combining Refinement and Local Computations. - Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Medical Protocol Diagnosis Using Formal Methods. - Dominique Méry; Neeraj Kumar Singh 001 (FHIES, 2011)

Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. - Dominique Méry; Neeraj Kumar Singh 001 (FHIES, 2011)

Refinement-Based Verification of Local Synchronization Algorithms. - Dominique Méry; Mohamed Mosbah 001; Mohamed Tounsi 001 (FM, 2011)

Automatic code generation from event-B models. - Dominique Méry; Neeraj Kumar Singh 001 (SoICT, 2011)

Analysis of DSR Protocol in Event-B. - Dominique Méry; Neeraj Kumar Singh 001 (SSS, 2011)

A generic framework: from modeling to code. - Dominique Méry; Neeraj Kumar Singh 001 (Innov. Syst. Softw. Eng., 2011)

Closed-Loop Modeling of Cardiac Pacemaker and Heart. - Dominique Méry; Neeraj Kumar Singh 001 (FHIES, 2012)

Handling Heterogeneity in Formal Developments of Hardware and Software Systems. - Yamine Aït Ameur; Dominique Méry (ISoLA (2), 2012)

Critical systems development methodology using formal techniques. - Dominique Méry; Neeraj Kumar Singh 001 (SoICT, 2012)

Transforming Event B Models into Verified C# Implementations. - Dominique Méry; Rosemary Monahan (VPT@CAV, 2013)

Ideal Mode Selection of a Cardiac Pacing System. - Dominique Méry; Neeraj Kumar Singh 001 (HCI (22), 2013)

Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. - Manamiary Bruno Andriamiarina; Dominique Méry; Neeraj Kumar Singh 001 (IFM, 2013)

Formal Modelling and Verification of Population Protocols. - Dominique Méry; Michael Poppleton (IFM, 2013)

Formal Specification of Medical Systems by Proof-Based Refinement. - Dominique Méry; Neeraj Kumar Singh 001 (ACM Trans. Embed. Comput. Syst., 2013)

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

Modeling an Aircraft Landing System in Event-B. - Dominique Méry; Neeraj Kumar Singh 001 (ABZ (Case Study), 2014)

The Semantics of Refinement Chart. - Dominique Méry; Neeraj Kumar Singh 001 (HCI (20), 2014)

On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. - Yamine Aït Ameur; J. Paul Gibson; Dominique Méry (ISoLA (2), 2014)

Formal evaluation of landing gear system. - Dominique Méry; Neeraj Kumar Singh 001 (SoICT, 2014)

Revisiting snapshot algorithms by refinement-based techniques. - Manamiary Bruno Andriamiarina; Dominique Méry; Neeraj Kumar Singh 001 (Comput. Sci. Inf. Syst., 2014)

Modelling an Aircraft Landing System in Event-B (Full Report). - Dominique Méry; Neeraj Kumar Singh 001 (CoRR, 2014)

The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). - Dominique Méry; Bernhard Schätz; Alan Wassyng (Dagstuhl Reports, 2014)

Analyzing Requirements Using Environment Modelling. - Dominique Méry; Neeraj Kumar Singh 001 (HCI (17), 2015)

Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study. - Dominique Méry; Rushikesh Sawant; Anton Tarasyuk (MEDI, 2015)

On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. - Zheng Cheng; Dominique Méry; Rosemary Monahan (ISoLA (1), 2016)

From Event-B specifications to programs for distributed algorithms. - Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry (Int. J. Auton. Adapt. Commun. Syst., 2016)

Making explicit domain knowledge in formal system development. - Yamine Aït Ameur; Dominique Méry (Sci. Comput. Program., 2016)

Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16). - Yamine Aït Ameur; Shin Nakajima 001; Dominique Méry (NII Shonan Meet. Rep., 2016)

A correct-by-construction approach for proving distributed algorithms in spanning trees. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry; Ahmed Hadj Kacem (ICIS, 2017)

Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. - J. Paul Gibson; Souad Kherroubi; Dominique Méry (FORTE, 2017)

Contextualization and Dependency in State-Based Modelling - Application to Event-B. - Souad Kherroubi; Dominique Méry (MEDI, 2017)

Explicit Modelling of Physical Measures: From Event-B to Java. - J. Paul Gibson; Dominique Méry (IMPEX/FM&MDD, 2017)

Proving Distributed Coloring of Forests in Dynamic Networks. - Faten Fakhfakh; Mohamed Tounsi 001; Mohamed Mosbah 001; Dominique Méry; Ahmed Hadj Kacem (Computación y Sistemas, 2017)

Playing with state-based models for designing better algorithms. - Dominique Méry (Future Gener. Comput. Syst., 2017)

Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols. - Dominique Méry; Michael Poppleton (Softw. Syst. Model., 2017)

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

Formal Ontology Driven Model Refactoring. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Dominique Méry (ICECCS, 2018)

Modelling by Patterns for Correct-by-Construction Process. - Dominique Méry (ISoLA (1), 2018)

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Dominique Méry; David Navarre; Philippe A. Palanque; Marc Pantel (FTSCS, 2019)

Verification by Construction of Distributed Algorithms. - Dominique Méry (ICTAC, 2019)

An Integrated Framework for the Formal Analysis of Critical Interactive Systems. - Ismaïl Mendil; Neeraj Kumar Singh 001; Yamine Aït Ameur; Dominique Méry; Philippe A. Palanque (APSEC, 2020)

Generating Distributed Programs from Event-B Models. - Horatiu Cirstea; Alexis Grall; Dominique Méry (VPT/HCVS@ETAPS, 2020)

Towards Leveraging Domain Knowledge in State-Based Formal Methods. - Yamine Aït Ameur; Régine Laleau; Dominique Méry; Neeraj Kumar Singh 001 (Logic, Computation and Rigorous Methods, 2021)

Standard Conformance-by-Construction with Event-B. - Ismaïl Mendil; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (FMICS, 2021)

A Refinement Strategy for Hybrid System Design with Safety Constraints. - Zheng Cheng; Dominique Méry (MEDI, 2021)

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. - Ismaïl Mendil; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (SETTA, 2021)

On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Romain Geniet; Dominique Méry; Philippe A. Palanque (Interact. Comput., 2021)

Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. - Ismaïl Mendil; Peter Riviere; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (APSEC, 2022)

Empowering the Event-B Method Using External Theories. - Yamine Aït Ameur; Guillaume Dupont; Ismaïl Mendil; Dominique Méry; Marc Pantel; Peter Riviere; Neeraj Kumar Singh 001 (IFM, 2022)

The central role of data repositories and data models in Data Science and Advanced Analytics. - Ladjel Bellatreche; Carlos Ordonez 001; Dominique Méry; Matteo Golfarelli; El Hassan Abdelwahed (Future Gener. Comput. Syst., 2022)

Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July - 1 August 2019, Guilin, China. - Dominique Méry; Shengchao Qin (Sci. Comput. Program., 2022)

Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020. - Dominique Méry; Alexander Raschke (Sci. Comput. Program., 2022)

SAP: A Secure Low-Latency Protocol for Mitigating High Computation Overhead in WI-FI Networks. - Vineeta Jain; Ulf Wetzker; Vijay Laxmi; Manoj Singh Gaur; Mohamed Mosbah 001; Dominique Méry (IEEE Access, 2023)

Formal domain-driven system development in Event-B: Application to interactive critical systems. - Ismaïl Mendil; Yamine Aït-Ameur; Neeraj Kumar Singh 001; Guillaume Dupont; Dominique Méry; Philippe A. Palanque (J. Syst. Archit., 2023)

F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. - Neeraj Kumar Singh 001; Yamine Aït-Ameur; Ismaïl Mendil; Dominique Méry; David Navarre; Philippe A. Palanque; Marc Pantel (J. Softw. Evol. Process., 2023)

Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper. - Hao Wu 017; Thomas Flinkow; Dominique Méry (TAP, 2024)

Checking Contracts in Event-B - Reporting the Introduction and the Use of Automated Tools for Verifying Software-Based Systems in Higher Education. - Dominique Méry (FMTea, 2024)

An automotive case study. - Alexander Raschke; Dominique Méry (Int. J. Softw. Tools Technol. Transf., 2024)

Selected papers from the Rigorous State-Based Methods, 7th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023. - Dominique Méry; Rosemary Monahan (Sci. Comput. Program., 2026)