Follow
Dominique Méry
Dominique Méry
Professor of Computer Science, University of Lorraine
Verified email at univ-lorraine.fr - Homepage
Title
Cited by
Cited by
Year
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
1362003
Automatic code generation from Event-B models
D Méry, NK Singh
Proceedings of the 2nd Symposium on Information and Communication Technology …, 2011
1342011
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
1192006
Foundations of the B method
D Cansell, D Méry
Computing and informatics 22 (3-4), 221-256, 2003
1122003
The event-b modelling method: Concepts and case studies
D Cansell, D Méry
Logics of Specification Languages, 47-152, 2008
942008
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
912005
Making explicit domain knowledge in formal system development
Y Ait-Ameur, D Méry
Science of Computer Programming 121, 100-127, 2016
522016
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
482013
Diagram refinements for the design of reactive systems.
D Cansell, D Méry, S Merz
J. Univers. Comput. Sci. 7 (2), 159-174, 2001
452001
Trustable formal specification for software certification
D Méry, NK Singh
International Symposium On Leveraging Applications of Formal Methods …, 2010
432010
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
402007
Formal derivation of spanning trees algorithms
JR Abrial, D Cansell, D Méry
International Conference of B and Z Users, 457-476, 2003
402003
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
392002
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
372006
Pacemaker's functional behaviors in event-B
D Méry, NK Singh
362009
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
352007
Predicate diagrams for the verification of reactive systems
D Cansell, D Méry, S Merz
International Conference on Integrated Formal Methods, 380-397, 2000
352000
Revisiting snapshot algorithms by refinement-based techniques
MB Andriamiarina, D Méry, NK Singh
2012 13th International Conference on Parallel and Distributed Computing …, 2012
332012
Functional behavior of a cardiac pacing system
D Méry, NK Singh
International Journal of Discrete Event Control Systems 1 (2), 129-149, 2011
312011
Refinement-Based Guidelines for Algorithmic Systems.
D Méry
Int. J. Softw. Informatics 3 (2-3), 197-239, 2009
312009
The system can't perform the operation now. Try again later.
Articles 1–20