BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: M=eacute=ry:Dominique

Facilitated 2 volumes:

FM 2012Ed
IFM 2010Ed

Contributed to:

HCI/DHM p2 20152015
HCI/DHM 20142014
HCI/DHM p1 20132013
IFM 20132013
FM 20112011
SEFM 20072007
IJCAR 20012001
IFM 20002000
IFM 19991999
SAS 19991999
CAV 19981998
FME 19931993
CAV 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.