Dominique Méry

Cited by

	All	Since 2018
Citations	2485	597
h-index	26	12
i10-index	73	18

180

135

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220237 6 15 22 10 21 41 42 30 29 48 43 60 89 83 120 104 107 156 98 153 169 110 134 120 143 95 85 134 56 83

Public access

View all

4 articles

11 articles

available

not available

Based on funding mandates

Co-authors

Neeraj Kumar SinghINPT-ENSEEIHT/IRIT, University of Toulouse, ToulouseVerified email at enseeiht.fr
J Paul GibsonComputer science, Telecom Sud Paris, Institute Mines TelecomVerified email at telecom-sudparis.eu
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
Mohamed TounsiUmm Al-Qura University, University of SfaxVerified email at uqu.edu.sa
Bruno MermetGREYCVerified email at univ-lehavre.fr
Raphaël CouturierFEMTO-ST Institute, University of Franche-Comte (UFC), CNRSVerified email at univ-fcomte.fr
Rosemary MonahanNational Univeristy of IrelandVerified email at mu.ie
Alan WassyngMcMaster University, Dept Computing and Software, McMaster Centre for Software CertificationVerified email at McMaster.ca
Ganesh GopalakrishnanProfessor of Computer Science, University of UtahVerified email at cs.utah.edu
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenVerified email at fortiss.org
Hervé PanettoProfessor of Enterprise Information Systems, University of Lorraine, Member of the Academia EuropaeaVerified email at univ-lorraine.fr
Virginie WielsONERAVerified email at onera.fr
Xiaolan XieEcole des Mines de Saint EtienneVerified email at emse.fr
Huaxiong WangNanyang Technological University, SingaporeVerified email at ntu.edu.sg

Dominique Méry

Professor of Computer Science, University of Lorraine

Verified email at univ-lorraine.fr - Homepage

Formal methods (B Event B TLA+TLAPLUS)Temporal Logics


Title Sort by citations Sort by year Sort by 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	137	2003
Automatic code generation from Event-B models D Méry, NK Singh Proceedings of the 2nd Symposium on Information and Communication Technology …, 2011	128	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	113	2006
Foundations of the B method D Cansell, D Méry Computing and informatics 22 (3-4), 221-256, 2003	112	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
Making explicit domain knowledge in formal system development Y Ait-Ameur, D Méry Science of Computer Programming 121, 100-127, 2016	48	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	47	2013
Diagram refinements for the design of reactive systems. D Cansell, D Méry, S Merz J. Univers. Comput. Sci. 7 (2), 159-174, 2001	45	2001
Trustable formal specification for software certification D Méry, NK Singh International Symposium On Leveraging Applications of Formal Methods …, 2010	44	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	40	2007
Formal derivation of spanning trees algorithms JR Abrial, D Cansell, D Méry International Conference of B and Z Users, 457-476, 2003	40	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	40	2002
Predicate diagrams for the verification of reactive systems D Cansell, D Méry, S Merz International Conference on Integrated Formal Methods, 380-397, 2000	36	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
Revisiting snapshot algorithms by refinement-based techniques MB Andriamiarina, D Méry, NK Singh 2012 13th International Conference on Parallel and Distributed Computing …, 2012	30	2012
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
Real-time animation for formal specification D Méry, NK Singh Complex Systems Design & Management: Proceedings of the First International …, 2010	30	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors