Dominique Méry

Cited by

	All	Since 2019
Citations	2573	548
h-index	26	12
i10-index	78	17

180

135

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 6 15 22 10 19 41 55 30 27 51 41 62 91 82 120 104 111 150 77 163 176 108 127 124 140 96 83 139 64 109 55

Public access

View all

9 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 Information Systems, Univ. of Lorraine, Fellow of Academia Europaea, FAAIA, FAIIAVerified 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	132	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	118	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	52	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	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	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	39	2002
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	37	2006
Pacemaker's functional behaviors in event-B D Méry, NK Singh	36	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
Predicate diagrams for the verification of reactive systems D Cansell, D Méry, S Merz International Conference on Integrated Formal Methods, 380-397, 2000	35	2000
Revisiting snapshot algorithms by refinement-based techniques MB Andriamiarina, D Méry, NK Singh 2012 13th International Conference on Parallel and Distributed Computing …, 2012	33	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	31	2011
Refinement-Based Guidelines for Algorithmic Systems. D Méry Int. J. Softw. Informatics 3 (2-3), 197-239, 2009	31	2009

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