Travelled to:1 × Denmark
1 × Finland
1 × Germany
1 × Greece
1 × Ireland
2 × Canada
2 × Italy
2 × USA
2 × United Kingdom
Collaborated with:N.K.Singh D.Cansell J.P.Gibson M.Poppleton ∅ R.Couturier N.Brown A.Mokkedem M.B.Andriamiarina M.Mosbah M.Tounsi D.Larchey-Wendling D.Galmiche S.Merz G.W.Hamilton
Talks about:verif (5) abstract (3) environ (3) tempor (3) system (3) requir (3) integr (3) formal (3) model (3) algorithm (2)
Person: Dominique Méry
DBLP: M=eacute=ry:Dominique
Facilitated 2 volumes:
Ed
EdContributed to:
20152014201320132011
2007
200120001999
1999
199819931992Wrote 15 papers:
- DHM-EH-2015-MeryS #modelling #requirements #using
- Analyzing Requirements Using Environment Modelling (DM, NKS), pp. 345–357.
- DHM-2014-MeryS #refinement #semantics
- The Semantics of Refinement Chart (DM, NKS), pp. 415–426.
- DHM-SET-2013-MeryS
- Ideal Mode Selection of a Cardiac Pacing System (DM, NKS), pp. 258–267.
- IFM-2013-AndriamiarinaMS #algorithm #distributed #modelling
- Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms (MBA, DM, NKS), pp. 268–284.
- IFM-2013-MeryP #formal method #modelling #protocol #verification
- Formal Modelling and Verification of Population Protocols (DM, MP), pp. 208–222.
- FM-2011-MeryMT #algorithm #verification
- Refinement-Based Verification of Local Synchronization Algorithms (DM, MM, MT), pp. 338–352.
- SEFM-2007-CansellGM #verification
- Formal verification of tamper-evident storage for e-voting (DC, JPG, DM), pp. 329–338.
- IJCAR-2001-Larchey-WendlingMG #named #performance
- STRIP: Structural Sharing for Efficient Proof-Search (DLW, DM, DG), pp. 696–700.
- IFM-2000-CansellMM #diagrams #verification
- Predicate Diagrams for the Verification of Reactive Systems (DC, DM, SM), pp. 380–397.
- IFM-1999-GibsonHM #integration #problem #requirements
- Integration Problems in Telephone Feature Requirements (JPG, GWH, DM), pp. 129–148.
- IFM-1999-Mery #automaton #requirements
- Requirements for a Temporal B — Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems (DM), pp. 395–414.
- SAS-1999-CansellM #specification
- Abstract Animator for Temporal Specifications: Application to TLA (DC, DM), pp. 284–299.
- CAV-1998-CourturierM #empirical #formal method #using
- An Experiment in Parallelizing an Application Using Formal Methods (RC, DM), pp. 345–356.
- FME-1993-BrownM #concurrent #proving #source code
- A Proof Environment for Concurrent Programs (NB, DM), pp. 196–215.
- CAV-1992-MeryM #ide #interactive #named #specification #verification
- Crocos: An Integrated Environment for Interactive Verification of SDL Specifications (DM, AM), pp. 343–356.