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 (3), 215-227, 2003
1302003
Automatic code generation from Event-B models
D Méry, NK Singh
Proceedings of the second symposium on information and communication …, 2011
1142011
Time constraint patterns for event B development
D Cansell, D Méry, J Rehm
International Conference of B Users, 140-154, 2007
1102007
Foundations of the B method
D Cansell, D Méry
Computing and informatics 22 (3-4), 221-256, 2003
1062003
The event-b modelling method: Concepts and case studies
D Cansell, D Méry
Logics of Specification Languages, 47-152, 2008
932008
Refinement and reachability in Event_B
JR Abrial, D Cansell, D Méry
International Conference of B and Z Users, 222-241, 2005
902005
Diagram refinements for the design of reactive systems.
D Cansell, D Méry, S Merz
J. Univers. Comput. Sci. 7 (2), 159-174, 2001
442001
Making explicit domain knowledge in formal system development
Y Ait-Ameur, D Méry
Science of Computer Programming 121, 100-127, 2016
432016
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
422013
Trustable formal specification for software certification
D Méry, NK Singh
International Symposium On Leveraging Applications of Formal Methods …, 2010
422010
Formal derivation of spanning trees algorithms
JR Abrial, D Cansell, D Méry
International Conference of B and Z Users, 457-476, 2003
382003
Incremental proof of the producer/consumer property for the PCI protocol
D Cansell, G Gopalakrishnan, M Jones, D Méry, A Weinzoepflen
International Conference of B and Z Users, 22-41, 2002
372002
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
362007
Pacemaker's functional behaviors in event-b
D Méry, NK Singh
352009
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
Integration of security policy into system modeling
N Benaďssa, D Cansell, D Méry
International Conference of B Users, 232-247, 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
Functional behavior of a cardiac pacing system
D Méry, NK Singh
International Journal of Discrete Event Control Systems 1 (2), 129-149, 2011
302011
Refinement-Based Guidelines for Algorithmic Systems.
D Méry
Int. J. Softw. Informatics 3 (2-3), 197-239, 2009
302009
Real-time animation for formal specification
D Méry, NK Singh
Complex systems design & management, 49-60, 2010
292010
The system can't perform the operation now. Try again later.
Articles 1–20