Concepedia
Statistics
Publications
7
Citations
235
H-Index
Active since
2003
Affiliations
Université de Lorraine(Current)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Dominique Cansell is an author at Université de Lorraine specializing in computer science, computing, and formal methods.
Publications per year
2003–2020
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol
Jean-Raymond Abrial, Dominique Cansell · Formal Aspects of Computing · 2003 · 87 citations
Computing, Computer Engineering, Computer Science +11
Foundations of the B method
Dominique Cansell, Domingo Mery · 2003 · 33 citations
Computing, Computer Science, Systems Engineering +13
Formal construction of a non-blocking concurrent queue algorithm (a case study in atomicity
Jean-Raymond Abrial, Dominique Cansell · 2005 · 31 citations
Computing, Computer Engineering, Computer Science +13
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
Dominique Cansell, J. Paul Gibson · Electronic Notes in Theoretical Computer Science · 2007 · 27 citations · Full text
Computing, Computer Engineering, Computer Science +16
Diagram Refinements for the Design of Reactive Systems
Dominique Cansell, Stephan Merz · Zenodo (CERN European Organization for Nuclear Research) · 2020 · 21 citations · Full text
Computing, Computer Science, Systems Engineering +17
1–5 of 7