L'informatique, une displine dans les DEUG scientifiques à partir d'une expérience pédagogique à l'Université de Metz. (Computer sciencers as a subject for science students a teaching experiment at Metz University). - Dominique Cansell (1992)

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)

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)

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)

"Higher-Order" Mathematics in B. - Jean-Raymond Abrial; Dominique Cansell; Guy Laffitte (ZB, 2002)

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)

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

Click'n Prove: Interactive Proofs within Set Theory. - Jean-Raymond Abrial; Dominique Cansell (TPHOLs, 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)

Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity). - Jean-Raymond Abrial; Dominique Cansell (J. Univers. Comput. Sci., 2005)

B Method. - Dominique Cansell (The Seventeen Provers of the World, 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)

Modelling and Proof Analysis of Interrupt Driven Scheduling. - Bill Stoddart; Dominique Cansell; Frank Zeyda (B, 2007)

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

Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. - Joris Rehm; Dominique Cansell (ISoLA, 2007)

Formal verification of tamper-evident storage for e-voting. - Dominique Cansell; J. Paul Gibson; Dominique Méry (SEFM, 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)

Validating and Animating Higher-Order Recursive Functions in B. - Michael Leuschel; Dominique Cansell; Michael J. Butler (Rigorous Methods for Software Construction and Analysis, 2009)

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

The Proved Construction of a Protocol with an Example Inspired by the Paxos Protocol. - Dominique Cansell; Jean-Raymond Abrial (ABZ, 2025)