Dominique Cansell

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
System-on-chip design by proof-based refinement.
Int. J. Softw. Tools Technol. Transf., 2009

Validating and Animating Higher-Order Recursive Functions in B.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2007
Formal verification of tamper-evident storage for e-voting.
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.
Proceedings of the ISoLA 2007, 2007

Proved-Patterns-Based Development for Structured Programs.
Proceedings of the Computer Science, 2007

Modelling and Proof Analysis of Interrupt Driven Scheduling.
Proceedings of the B 2007: Formal Specification and Development in B, 2007

Time Constraint Patterns for Event B Development.
Proceedings of the B 2007: Formal Specification and Development in B, 2007

Integration of Security Policy into System Modeling.
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.
Theor. Comput. Sci., 2006

Incremental Parametric Development of Greedy Algorithms.
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.
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

B Method.
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).
J. Univers. Comput. Sci., 2005

Refinement and Reachability in Event<sub>B</sub>.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004
Derivation of SystemC code from abstract system models.
Proceedings of the Forum on specification and Design Languages, 2004

2003
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol.
Formal Aspects Comput., 2003

Foundations of the B Method.
Comput. Artif. Intell., 2003

Formal Derivation of Spanning Trees Algorithms.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Click'n Prove: Interactive Proofs within Set Theory.
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 .
Proceedings of the Forum on specification and Design Languages, 2003

2002
Incremental Proof of the Producer/Consumer Property for the PCI Protocol.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

"Higher-Order" Mathematics in B.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001
Diagram Refinements for the Design of Reactive Systems.
J. Univers. Comput. Sci., 2001

Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams.
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.
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.
Proceedings of the Parallel and Distributed Processing, 2000

Predicate Diagrams for the Verification of Reactive Systems.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Abstraction and refinement of features.
Proceedings of the Language Constructs for Describing Features, 2000

1999
Abstract Animator for Temporal Specifications: Application to TLA.
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).
PhD thesis, 1992


  Loading...