Theo dõi
Dominique Méry
Dominique Méry
Professor of Computer Science, University of Lorraine
Email được xác minh tại univ-lorraine.fr - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
1422003
Automatic code generation from Event-B models
D Méry, NK Singh
Proceedings of the 2nd Symposium on Information and Communication Technology …, 2011
1392011
Time constraint patterns for event B development
D Cansell, D Méry, J Rehm
International Conference of B Users, 140-154, 2007
1192007
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
972008
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
922005
Making explicit domain knowledge in formal system development
Y Ait-Ameur, D Méry
Science of Computer Programming 121, 100-127, 2016
582016
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
412007
Formal derivation of spanning trees algorithms
JR Abrial, D Cansell, D Méry
International Conference of B and Z Users, 457-476, 2003
412003
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
Revisiting snapshot algorithms by refinement-based techniques
MB Andriamiarina, D Méry, NK Singh
2012 13th International Conference on Parallel and Distributed Computing …, 2012
352012
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
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
332007
Refinement-Based Guidelines for Algorithmic Systems.
D Méry
Int. J. Softw. Informatics 3 (2-3), 197-239, 2009
322009
Medical protocol diagnosis using formal methods
D Méry, NK Singh
Foundations of Health Informatics Engineering and Systems: First …, 2012
312012
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20