Dominique Cansell

According to our database, Dominique Cansell authored at least 31 papers between 1992 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

System-on-chip design by proof-based refinement.

Dominique Cansell, Dominique Méry, Cyril Proch

Int. J. Softw. Tools Technol. Transf., 2009

Validating and Animating Higher-Order Recursive Functions in B.

Michael Leuschel, Dominique Cansell, Michael J. Butler

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development.

Dominique Cansell, Dominique Méry

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2007

Formal verification of tamper-evident storage for e-voting.

Dominique Cansell, J. Paul Gibson, Dominique Méry

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method.

Joris Rehm, Dominique Cansell

Proceedings of the ISoLA 2007, 2007

Proved-Patterns-Based Development for Structured Programs.

Dominique Cansell, Dominique Méry

Proceedings of the Computer Science, 2007

Modelling and Proof Analysis of Interrupt Driven Scheduling.

Bill Stoddart, Dominique Cansell, Frank Zeyda

Proceedings of the B 2007: Formal Specification and Development in B, 2007

Time Constraint Patterns for Event B Development.

Dominique Cansell, Dominique Méry, Joris Rehm

Proceedings of the B 2007: Formal Specification and Development in B, 2007

Integration of Security Policy into System Modeling.

Nazim Benaïssa, Dominique Cansell, Dominique Méry

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm.

Dominique Cansell, Dominique Méry

Theor. Comput. Sci., 2006

Incremental Parametric Development of Greedy Algorithms.

Dominique Cansell, Dominique Méry

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface.

Dominique Cansell, J. Paul Gibson, Dominique Méry

Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

B Method.

Dominique Cansell

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

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

Refinement and Reachability in Event_B.

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004

Derivation of SystemC code from abstract system models.

Dominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch

Proceedings of the Forum on specification and Design Languages, 2004

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

Foundations of the B Method.

Dominique Cansell, Dominique Méry

Comput. Artif. Intell., 2003

Formal Derivation of Spanning Trees Algorithms.

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Click'n Prove: Interactive Proofs within Set Theory.

Jean-Raymond Abrial, Dominique Cansell

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement .

Dominique Cansell, Dominique Méry, Cyril Proch

Proceedings of the Forum on specification and Design Languages, 2003

2002

Incremental Proof of the Producer/Consumer Property for the PCI Protocol.

Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

"Higher-Order" Mathematics in B.

Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001

Diagram Refinements for the Design of Reactive Systems.

Dominique Cansell, Dominique Méry, Stephan Merz

J. Univers. Comput. Sci., 2001

Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams.

Dominique Cansell, Dominique Méry, Stephan Merz

Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

2000

Playing with Abstraction and Refinement for Managing Features Interactions.

Dominique Cansell, Dominique Méry

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification.

Dominique Cansell, Dominique Méry, Christophe Tabacznyj

Proceedings of the Parallel and Distributed Processing, 2000

Predicate Diagrams for the Verification of Reactive Systems.

Dominique Cansell, Dominique Méry, Stephan Merz

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Abstraction and refinement of features.

Dominique Cansell, Dominique Méry

Proceedings of the Language Constructs for Describing Features, 2000

1999

Abstract Animator for Temporal Specifications: Application to TLA.

Dominique Cansell, Dominique Méry

Proceedings of the Static Analysis, 6th International Symposium, 1999

1992

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

PhD thesis, 1992