Dominique Cansell

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