Dominique Méry
Dominique Méry
Professor of Computer Science, University of Lorraine
Verified email at - Homepage
Cited by
Cited by
A mechanically proved and incremental development of IEEE 1394 tree identify protocol
JR Abrial, D Cansell, D Méry
Formal aspects of computing 14, 215-227, 2003
Automatic code generation from Event-B models
D Méry, NK Singh
Proceedings of the 2nd Symposium on Information and Communication Technology …, 2011
Time constraint patterns for event B development
D Cansell, D Méry, J Rehm
B 2007: Formal Specification and Development in B: 7th International …, 2006
Foundations of the B method
D Cansell, D Méry
Computing and informatics 22 (3/4), 221-256, 2003
The event-b modelling method: Concepts and case studies
D Cansell, D Méry
Logics of Specification Languages, 47-152, 2008
Refinement and reachability in Event_B
JR Abrial, D Cansell, D Méry
ZB 2005: Formal Specification and Development in Z and B: 4th International …, 2005
Diagram refinements for the design of reactive systems.
D Cansell, D Méry, S Merz
J. Univers. Comput. Sci. 7 (2), 159-174, 2001
Making explicit domain knowledge in formal system development
Y Ait-Ameur, D Méry
Science of Computer Programming 121, 100-127, 2016
Formal specification of medical systems by proof-based refinement
D Méry, NK Singh
ACM Transactions on Embedded Computing Systems (TECS) 12 (1), 1-25, 2013
Trustable Formal Specification for Software Certification.
D Méry, NK Singh
ISoLA (2) 6416, 312-326, 2010
Refinement: A constructive approach to formal software design for a secure e-voting interface
D Cansell, JP Gibson, D Méry
Electronic Notes in Theoretical Computer Science 183, 39-55, 2007
Formal derivation of spanning trees algorithms
JR Abrial, D Cansell, D Méry
ZB 2651, 457-476, 2003
Incremental proof of the producer/consumer property for the PCI protocol
D Cansell, G Gopalakrishnan, M Jones, D Méry, A Weinzoepflen
ZB 2002: Formal Specification and Development in Z and B: 2nd International …, 2002
Predicate diagrams for the verification of reactive systems
D Cansell, D Méry, S Merz
IFM, 380-397, 2000
Pacemaker's functional behaviors in event-b
D Méry, NK Singh
Formal verification of tamper-evident storage for e-voting
D Cansell, JP Gibson, D Méry
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
Integration of security policy into system modeling
N Benaïssa, D Cansell, D Méry
B 2007: Formal Specification and Development in B: 7th International …, 2006
Functional behavior of a cardiac pacing system
D Méry, NK Singh
International Journal of Discrete Event Control Systems 1 (2), 129-149, 2011
Revisiting snapshot algorithms by refinement-based techniques
MB Andriamiarina, D Méry, NK Singh
2012 13th International Conference on Parallel and Distributed Computing …, 2012
Real-time animation for formal specification
D Méry, NK Singh
Complex Systems Design & Management: Proceedings of the First International …, 2010
The system can't perform the operation now. Try again later.
Articles 1–20