Dominique Cansell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1999–2007
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | CSR | Proved-Patterns-Based Development for Structured Programs. | Dominique Cansell, Dominique Mry |
| 2007 | ISoLA | Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. | Joris Rehm, Dominique Cansell |
| 2007 | SEFM | Formal verification of tamper-evident storage for e-voting. | Dominique Cansell, J. Paul Gibson, Dominique Mry |
| 2004 | FDL | Derivation of SystemC code from abstract system models. | Dominique Cansell, J.-F. Culat, Dominique Mry, Cyril Proch |
| 2003 | FDL | Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . | Dominique Cansell, Dominique Mry, Cyril Proch |
| 2001 | GI | Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. | Dominique Cansell, Dominique Mry, Stephan Merz |
| 2000 | IFM | Predicate Diagrams for the Verification of Reactive Systems. | Dominique Cansell, Dominique Mry, Stephan Merz |
| 1999 | SAS | Abstract Animator for Temporal Specifications: Application to TLA. | Dominique Cansell, Dominique Mry |