Dominique Méry

Cited by

	All	Since 2019
Citations	2497	478
h-index	26	11
i10-index	75	13

180

135

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 6 15 22 10 19 40 42 30 28 51 41 62 90 83 120 103 110 150 94 152 179 108 127 120 143 93 84 133 60 95 12

Public access

View all

5 articles

10 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	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	130	2011
Foundations of the B method D Cansell, D Méry Computing and informatics 22 (3-4), 221-256, 2003	115	2003
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
The event-b modelling method: Concepts and case studies D Cansell, D Méry Logics of Specification Languages, 47-152, 2008	93	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	49	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	44	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	41	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	36	2006
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
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	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
Refinement-Based Guidelines for Algorithmic Systems. D Méry Int. J. Softw. Informatics 3 (2-3), 197-239, 2009	30	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