Dominique Mery < Dominique Méry < Dominique Poulalhon

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

Number of relevant bibliographic references: 141.
[20-40] [0 - 20][0 - 50][40-60]

Ident.	Authors (with country if any)	Title
001994 (2012-08-23)	Dominique Méry [France] ; Neeraj Kumar Singh [France]	Critical systems development methodology using formal techniques
001A03 (2009-06-15)	Nazim Benaissa [France] ; Dominique Méry [France]	Cryptographic Protocols Analysis in Event B
001A04 (2009-06-15)	Nazim Benaissa [France] ; Dominique Méry [France]	Cryptologic protocols analysis using proof-based patterns
001A36 (2005-04)	Loïc Fejoz [France] ; Dominique Méry [France] ; Stephan Merz [France]	DIXIT: a Graphical Toolkit for Predicate Abstractions
001B60 (2004)	Dominique Cansell [France] ; Jean-François Culat [France] ; Dominique Méry [France] ; Cyril Proch [France]	Derivation of SystemC code from abstract system models
001B98 (2003)	Dominique Cansell [France] ; Dominique Méry [France]	Designing event-driven systems by combining coordination and refinement
001B99 (2007)	Dominique Cansell [France] ; Dominique Méry [France]	Designing old and new distributed algorithms by replaying an incremental proof-based development
001C45 (2000)	Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz	Diagrams Refinement for the Design of Reactive Systems
001E03 (2010-09-13)	Dominique Méry [France] ; Neeraj Kumar Singh [France]	EB2C : A Tool for Event-B to C Conversion Support
001E04 (2011-09-26)	Dominique Méry [France] ; Neeraj Kumar Singh [France]	EB2J : Code Generation from Event-B to Java
002060 (2014-07-22)	Neeraj Kumar Singh [Canada] ; Dominique Méry [France]	Event B (english version)
002063 (2006-03)	Dominique Méry [France] ; Stephan Merz [France]	Event Systems and Access Control
002197 (2012-08-29)	Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France]	FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
002357 (2001)	Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz	Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams
002368 (2011-11-03)	Dominique Méry [France] ; Neeraj Kumar Singh [France]	Formal Development and Automatic Code Generation : Cardiac Pacemaker
002371 (2014-12)	Dominique Méry [France] ; Neeraj Kumar Singh [Canada]	Formal Evaluation of Landing Gear System
002377 (2013-06-10)	Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]	Formal Modelling and Verification of Population Protocols
002382 (2013-01)	Dominique Méry [France] ; Neeraj Kumar Singh [France]	Formal Specification of Medical Systems by Proof-Based Refinement
002391 (2012-12-16)	Manamiary Bruno Andriamiarina [France] ; Hayat Daoud [Algérie] ; Mostefa Belarbi [Algérie] ; Dominique Méry [France] ; Camel Tanougast [France]	Formal Verification of Fault Tolerant NoC-based Architecture
002394 (2006)	Dominique Cansell [France] ; Dominique Méry [France]	Formal and Incremental Construction of Distributed Algorithms: On the Distributed Reference Counting Algorithm
002397 (2003)	Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France]	Formal derivation of spanning trees algorithms

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Dominique Méry" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Dominique Méry" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Dominique Méry
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022