| 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 | 134 | 2003 |
| Automatic code generation from Event-B models D Méry, NK Singh Proceedings of the 2nd Symposium on Information and Communication Technology …, 2011 | 121 | 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 | 112 | 2006 |
| Foundations of the B method D Cansell, D Méry Computing and informatics 22 (3/4), 221-256, 2003 | 108 | 2003 |
| The event-b modelling method: Concepts and case studies D Cansell, D Méry Logics of Specification Languages, 47-152, 2008 | 94 | 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 | 91 | 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 | 46 | 2001 |
| Making explicit domain knowledge in formal system development Y Ait-Ameur, D Méry Science of Computer Programming 121, 100-127, 2016 | 45 | 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 | 45 | 2013 |
| Trustable Formal Specification for Software Certification. D Méry, NK Singh ISoLA (2) 6416, 312-326, 2010 | 43 | 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 | 39 | 2007 |
| Formal derivation of spanning trees algorithms JR Abrial, D Cansell, D Méry ZB 2651, 457-476, 2003 | 39 | 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 | 38 | 2002 |
| Predicate diagrams for the verification of reactive systems D Cansell, D Méry, S Merz IFM, 380-397, 2000 | 37 | 2000 |
| Pacemaker's functional behaviors in event-b D Méry, NK Singh | 35 | 2009 |
| 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 | 35 | 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 | 35 | 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 | 30 | 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 | 29 | 2012 |
| Real-time animation for formal specification D Méry, NK Singh Complex Systems Design & Management: Proceedings of the First International …, 2010 | 29 | 2010 |
J Paul GibsonComputer science, Telecom Sud Paris, Institute Mines TelecomVerified email at telecom-sudparis.eu
