Dominique Martinez < Dominique Méry < Dominique Poulalhon

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000026 (2005)	Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch	Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement
000139 (2005)	Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch	Modelling SystemC scheduler by refinement
000375 (2005)	Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France]	Refinement and Reachability in Event_B
000409 (2005)	Loïc Fejoz ; Dominique Méry [France] ; Stephan Merz	DIXIT : a Graphical Toolkit for Predicate Abstractions
000463 (2005)	Dominique Cansell [France] ; Dominique Méry [France]	The invoice case study modelling in Event B
000481 (2005)	Dominique Méry [France] ; Dominique Cansell [France] ; Cyril Proch ; Denis Abraham ; Patrick Ditsch	The challenge of QoS for digital television services
000680 (2004)	Dominique Cansell [France] ; Jean-François Culat ; Dominique Méry [France] ; Cyril Proch	Derivation of SystemC code from abstract system models
000859 (2004)	Cyril Proch ; Dominique Cansell [France] ; Dominique Méry [France]	Projet RNRT EQUAST ; SP2 Spécification incrémentale du système
000A65 (2003)	Dominique Cansell [France] ; Dominique Méry [France]	Designing event-driven systems by combining coordination and refinement
000B37 (2003)	Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France]	A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol
000C11 (2003)	Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France]	Formal derivation of spanning trees algorithms
000D53 (2003)	Dominique Cansell [France] ; Camel Tanougast ; Yves Berviller ; Dominique Méry [France] ; Cyril Proch ; Hassan Rabah ; Serge Weber	Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement
000E30 (2002)	Dominique Cansell [France] ; Dominique Méry [France]	Développement de fonctions définies récursivement en B : Application du B événementiel
001293 (2002)	Hervé Panetto ; Jean-François Petin ; Dominique Méry [France]	Formalisation of enterprise modelling standards using UML and the B method
001348 (2002)	Dominique Cansell [France] ; Dominique Méry [France]	Integration of the proof process in the system development through refinement steps
001356 (2002)	Dominique Cansell [France] ; Ganesh Gopalakrishnan ; Mike Jones ; Dominique Méry [France] ; Airy Weinzoepflen	Incremental Proof of the Producer/Consumer Property for the PCI Protocol
001518 (2001)	Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz	Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams
001595 (2001)	Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France]	Specification and Design of the Leader Election Protocol of IEEE 1394
001792 (2000)	J Ohn Paul Gibson ; Dominique Méry [France]	Fair Objects
001895 (2000)	Dominique Cansell [France] ; Jacques Jaray ; Dominique Méry [France]	Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B.
001897 (2000)	Dominique Cansell [France] ; Dominique Méry [France]	Abstraction and refinement of features

---

List of associated KwdEn.i

Nombre de documents	Descripteur
13	refinement
9	formal method
6	b method
6	specification
5	formal methods
5	proof
4	B method
4	Specification
4	TLA
4	feature interaction
3	B
3	Proof
3	a completer
3	abstraction
3	model
3	service
3	validation
3	verification
2	abstract interpretation
2	animation
2	architecture
2	b
2	features interaction
2	incremental development
2	interaction
2	model checking
2	parallel programming
2	parallelization
2	service specification
2	services
2	telecommunications
2	theorem proving
1	Architectures
1	B Method
1	B Method
1	Branching time
1	Case Studies
1	Distributed systems
1	Event B method - refinement - scheduler - operational semantics - systemC
1	FMPPTA'98
1	Fairness
1	Features interactions
1	Formal method
1	Formal Methods
1	Formal method
1	Formal methods
1	Inheritance
1	Interaction detection
1	Invariants
1	LOTOS
1	LTemporal logics of actions
1	Linda
1	Linear time
1	Methodology
1	Model
1	Monte Carlo simulation
1	Object Oriented
1	Objects
1	Parallelism
1	Proofs
1	Real time
1	Refinement - event B - case study
1	SDL
1	Semantics
1	Services
1	Teaching
1	Temporal logics
1	Time
1	Verification
1	abstract behaviours
1	abstract machines
1	abstract machines - b - tla - abstract systems
1	abstract model
1	abstract predicate behaviors.
1	adder
1	animator
1	b event
1	b method ; b event-base approach ; refinement ; abstract model ; proctocol ; pci
1	b.
1	compiler
1	composition
1	composition of specifications
1	compositionality
1	conception
1	concurrency
1	concurrency distributed system application
1	control engineering
1	coordination
1	coordination model
1	detection
1	development
1	dvb-t
1	embedded systems
1	env12204
1	event systems
1	event-driven approach
1	fair objects
1	fairness
1	formal specification
1	formal methods

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |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