Dominique Cansell

Publication Activity (10 Years)

Years Active: 1999-2009
Publications (10 Years): 0

University of Metz, France (PHD)

Education History

University of Metz, France

PHD

Publications

Michael Leuschel, Dominique Cansell, Michael J. Butler
Validating and Animating Higher-Order Recursive Functions in B. Rigorous Methods for Software Construction and Analysis (2009)
Dominique Cansell, Dominique Méry, Cyril Proch
System-on-chip design by proof-based refinement. Int. J. Softw. Tools Technol. Transf. 11 (3) (2009)
Dominique Cansell, Dominique Méry
Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development. Rigorous Methods for Software Construction and Analysis (2009)
Dominique Cansell, Dominique Méry
Proved-Patterns-Based Development for Structured Programs. CSR (2007)
Dominique Cansell, J. Paul Gibson, Dominique Méry
Formal verification of tamper-evident storage for e-voting. SEFM (2007)
Joris Rehm, Dominique Cansell
Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. ISoLA (2007)
Nazim Benaïssa, Dominique Cansell, Dominique Méry
Integration of Security Policy into System Modeling. B (2007)
Dominique Cansell, Dominique Méry, Joris Rehm
Time Constraint Patterns for Event B Development. B (2007)
Dominique Cansell, J. Paul Gibson, Dominique Méry
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. Electron. Notes Theor. Comput. Sci. 183 (2007)
Bill Stoddart, Dominique Cansell, Frank Zeyda
Modelling and Proof Analysis of Interrupt Driven Scheduling. B (2007)
Dominique Cansell, Dominique Méry
Incremental Parametric Development of Greedy Algorithms. Electron. Notes Theor. Comput. Sci. 185 (2007)
Dominique Cansell, Dominique Méry
Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm. Theor. Comput. Sci. 364 (3) (2006)
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
. ZB (2005)
Jean-Raymond Abrial, Dominique Cansell
Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity). J. Univers. Comput. Sci. 11 (5) (2005)
Dominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch
Derivation of SystemC code from abstract system models. FDL (2004)
Jean-Raymond Abrial, Dominique Cansell
Click'n Prove: Interactive Proofs within Set Theory. TPHOLs (2003)
Dominique Cansell, Dominique Méry
Foundations of the B Method. Comput. Artif. Intell. 22 (3-4) (2003)
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. Formal Aspects Comput. 14 (3) (2003)
Dominique Cansell, Dominique Méry, Cyril Proch
Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . FDL (2003)
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
Formal Derivation of Spanning Trees Algorithms. ZB (2003)
Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte
"Higher-Order" Mathematics in B. ZB (2002)
Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen
Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB (2002)
Dominique Cansell, Dominique Méry, Stephan Merz
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. GI Jahrestagung (1) (2001)
Dominique Cansell, Dominique Méry, Stephan Merz
Diagram Refinements for the Design of Reactive Systems. J. Univers. Comput. Sci. 7 (2) (2001)
Dominique Cansell, Dominique Méry
Abstraction and refinement of features. FIREworks (2000)
Dominique Cansell, Dominique Méry, Christophe Tabacznyj
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification. IPDPS Workshops (2000)
Dominique Cansell, Dominique Méry, Stephan Merz
Predicate Diagrams for the Verification of Reactive Systems. IFM (2000)
Dominique Cansell, Dominique Méry
Playing with Abstraction and Refinement for Managing Features Interactions. ZB (2000)
Dominique Cansell, Dominique Méry
Abstract Animator for Temporal Specifications: Application to TLA. SAS (1999)

Dominique Cansell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Dominique Cansell