Dominique Méry

Citée par

	Toutes	Depuis 2020
Citations	2595	473
indice h	26	10
indice i10	78	12

180

135

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 6 15 22 10 19 41 55 30 27 51 41 62 91 82 120 104 112 149 77 163 176 109 126 124 141 96 84 139 65 111 71 1

Accès public

Tout afficher

9 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Neeraj Kumar SinghINPT-ENSEEIHT/IRIT, University of Toulouse, ToulouseAdresse e-mail validée de enseeiht.fr
J Paul GibsonComputer science, Telecom Sud Paris, Institute Mines TelecomAdresse e-mail validée de telecom-sudparis.eu
Stephan MerzSenior Researcher, INRIAAdresse e-mail validée de inria.fr
Mohamed TounsiUmm Al-Qura University, University of SfaxAdresse e-mail validée de uqu.edu.sa
Bruno MermetGREYCAdresse e-mail validée de univ-lehavre.fr
Raphaël CouturierFEMTO-ST Institute, University of Franche-Comte (UFC), CNRSAdresse e-mail validée de univ-fcomte.fr
Rosemary MonahanNational Univeristy of IrelandAdresse e-mail validée de mu.ie
Alan WassyngMcMaster University, Dept Computing and Software, McMaster Centre for Software CertificationAdresse e-mail validée de McMaster.ca
Ganesh GopalakrishnanProfessor of Computer Science, University of UtahAdresse e-mail validée de cs.utah.edu
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenAdresse e-mail validée de fortiss.org
Hervé PanettoFull Professor, HUMAN-AI Chair holder, Univ. of Lorraine, M.A.E, FAAIA, FAIIA, SMIEEE, IFACAdresse e-mail validée de univ-lorraine.fr
Virginie WielsONERAAdresse e-mail validée de onera.fr
Xiaolan XieEcole des Mines de Saint EtienneAdresse e-mail validée de emse.fr
Huaxiong WangNanyang Technological University, SingaporeAdresse e-mail validée de ntu.edu.sg

Suivre

Dominique Méry

Professor of Computer Science, University of Lorraine

Adresse e-mail validée de univ-lorraine.fr - Page d'accueil

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


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Automatic code generation from Event-B models D Méry, NK Singh Proceedings of the 2nd Symposium on Information and Communication Technology …, 2011	136	2011
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	136	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	119	2006
Foundations of the B method D Cansell, D Méry Computing and informatics 22 (3-4), 221-256, 2003	114	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	53	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	48	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	34	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs