Concepedia
Statistics
Publications
6
Citations
194
H-Index
Active since
2005
Affiliations
Université de Lorraine(Current)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Laboratoire d'Informatique en Images et Systèmes d'Information
Dominique Méry is an author at Université de Lorraine specializing in formal verification, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsFormal VerificationVerificationComputer ScienceDistributed SystemsFormal SpecificationCryptographyData PrivacyData Security
Publications per year
2005–2015
The semantics of BI and resource tableaux
Didier Galmiche, Dominique Méry, David Pym · Mathematical Structures in Computer Science · 2005 · 100 citations
Making explicit domain knowledge in formal system development
Yamine Aït‐Ameur, Dominique Méry · Science of Computer Programming · 2015 · 33 citations
Knowledge Representation, Specification Language, Engineering +7
Formal verification of tamper-evident storage for e-voting
Dominique Cansell, J. Paul Gibson, Dominique Méry · 2007 · 19 citations · Full text
Engineering, Information Security, Verification +16
Revisiting snapshot algorithms by refinement-based techniques
Bruno Andriamiarina, Dominique Méry, Kumar Vikram Singh · Computer Science and Information Systems · 2014 · 18 citations · Full text
Software Maintenance, Cluster Computing, Engineering +23
EB2C : A Tool for Event-B to C Conversion Support
Dominique Méry, Neeraj Kumar Singh · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 13 citations · Full text
1–5 of 6