Dominique Méry

	2009
48		Dominique Cansell, Dominique Méry, Cyril Proch: System-on-chip design by proof-based refinement. STTT 11(3): 217-238 (2009)
	2007
47		Dominique Cansell, Dominique Méry, Joris Rehm: Time Constraint Patterns for Event B Development. B 2007: 140-154
46		Nazim Benaïssa, Dominique Cansell, Dominique Méry: Integration of Security Policy into System Modeling. B 2007: 232-247
45		Dominique Cansell, Dominique Méry: Proved-Patterns-Based Development for Structured Programs. CSR 2007: 104-114
44		Dominique Cansell, J. Paul Gibson, Dominique Méry: Formal verification of tamper-evident storage for e-voting. SEFM 2007: 329-338
43		Dominique Cansell, J. Paul Gibson, Dominique Méry: Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. Electr. Notes Theor. Comput. Sci. 183: 39-55 (2007)
42		Dominique Cansell, Dominique Méry: Incremental Parametric Development of Greedy Algorithms. Electr. Notes Theor. Comput. Sci. 185: 47-62 (2007)
41		Dominique Méry, Stephan Merz: Specification and Refinement of Access Control. J. UCS 13(8): 1073-1093 (2007)
	2006
40		Dominique Méry, Stephan Merz: Event Systems and Access Control CoRR abs/cs/0604081: (2006)
39		Dominique Cansell, Dominique Méry: Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm. Theor. Comput. Sci. 364(3): 318-337 (2006)
	2005
38		Jean-Raymond Abrial, Dominique Cansell, Dominique Méry: Refinement and Reachability in EventB. ZB 2005: 222-241
	2004
37		Dominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch: Derivation of SystemC code from abstract system models. FDL 2004: 612-624
	2003
36		Dominique Cansell, Dominique Méry, Cyril Proch: Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . FDL 2003: 435-447
35		Jean-Raymond Abrial, Dominique Cansell, Dominique Méry: Formal Derivation of Spanning Trees Algorithms. ZB 2003: 457-476
34		Dominique Cansell, Dominique Méry: Foundations of the B Method. Computers and Artificial Intelligence 22(3): (2003)
33		Jean-Raymond Abrial, Dominique Cansell, Dominique Méry: A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. Formal Asp. Comput. 14(3): 215-227 (2003)
	2002
32		Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen: Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB 2002: 22-41
31		Dominique Méry, Beverly A. Sanders: Editorial Note. Formal Methods in System Design 20(1): 5 (2002)
	2001
30		Dominique Cansell, Dominique Méry, Stephan Merz: Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. GI Jahrestagung (1) 2001: 628-634
29		Dominique Larchey-Wendling, Dominique Méry, Didier Galmiche: STRIP: Structural Sharing for Efficient Proof-Search. IJCAR 2001: 696-700
28		Dominique Cansell, Dominique Méry, Stephan Merz: Diagram Refinements for the Design of Reactive Systems. J. UCS 7(2): 159-174 (2001)
	2000
27		J. Paul Gibson, Geoff Hamilton, Dominique Méry: A Taxonomy for Triggered Interactions Using Fair Object Semantics. FIW 2000: 193-209
26		Dominique Cansell, Dominique Méry, Stephan Merz: Predicate Diagrams for the Verification of Reactive Systems. IFM 2000: 380-397
25		Dominique Cansell, Dominique Méry, Christophe Tabacznyj: Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification. IPDPS Workshops 2000: 1037-1038
24		Beverly A. Sanders, Dominique Méry: Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). IPDPS Workshops 2000: 974-976
23		Dominique Cansell, Dominique Méry: Playing with Abstraction and Refinement for Managing Features Interactions. ZB 2000: 148-167
	1999
22		José D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna: Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings Springer 1999
21		J. Paul Gibson, Dominique Méry: Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. Ershov Memorial Conference 1999: 155-179
20		J. Paul Gibson, Geoff Hamilton, Dominique Méry: Integration Problems in Telephone Feature Requirements. IFM 1999: 129-148
19		Dominique Méry: Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. IFM 1999: 395-414
18		Dominique Cansell, Dominique Méry: Abstract Animator for Temporal Specifications: Application to TLA. SAS 1999: 284-299
	1998
17		Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley: Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method. B 1998: 198-209
16		Raphaël Couturier, Dominique Méry: An Experiment in Parallelizing an Application Using Formal Methods. CAV 1998: 345-356
15		Bruno Mermet, Dominique Méry: Service specifications: to B, or not to B. FMSP 1998: 62-69
14		J. Paul Gibson, Dominique Méry: Teaching Formal Methods: Lessons to Learn. IWFM 1998
	1997
13		Bruno Mermet, Dominique Méry: Incremental Specification of Telecommunication Services. ICFEM 1997: 60-69
12		J. Paul Gibson, Bruno Mermet, Dominique Méry: Feature Interactions: A Mixed Semantic Model Approach. IWFM 1997
11		Dominique Méry, J. Paul Gibson: Telephone feature verification: Translating SDL to TLA+. SDL Forum 1997: 103-118
	1995
10		Abdelillah Mokkedem, Dominique Méry: On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. Theor. Comput. Sci. 140(1): 95-138 (1995)
	1994
9		Abdelillah Mokkedem, Dominique Méry: A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. ICTL 1994: 382-397
	1993
8		Abdelillah Mokkedem, Dominique Méry: On Using a Composition Principle to Design Parallel Programs. AMAST 1993: 315-324
7		Naima Brown, Dominique Méry: Towards an Integrated Environment for Concurrent programs Development. AMAST 1993: 407-408
6		Naima Brown, Dominique Méry: A Proof Environment for Concurrent Programs. FME 1993: 196-215
	1992
5		Dominique Méry, Abdelillah Mokkedem: Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. CAV 1992: 343-356
4		Dominique Méry: The N U System as a Development System for Concurrent Programs: delta N U. Theor. Comput. Sci. 94(2): 311-334 (1992)
	1988
3		Francois D. Carrez, Dominique Méry: Temporal Specifications Directed by Grammar and Design of Process Networks. Specification and Verification of Concurrent Systems 1988: 410-427
	1987
2		Dominique Méry: Méthode Axiomatique Pour Les Propriétés De Fatalité Des Programmes Parallèles. ITA 21(3): 287-322 (1987)
	1986
1		Dominique Méry: A Proof System to Derive Evantually Properties Under Justice Hypothesis. MFCS 1986: 536-544

Coauthor Index

1	Jean-Raymond Abrial	[33] [35] [38]
2	Peter H. Beckman	[22]
3	Nazim Benaïssa	[46]
4	Devesh Bhatt	[22]
5	Naima Brown	[6] [7]
6	Dominique Cansell	[18] [23] [25] [26] [28] [30] [32] [33] [34] [35] [36] [37] [38] [39] [42] [43] [44] [45] [46] [47] [48]
7	Denis Caromel	[22]
8	Francois D. Carrez	[3]
9	Serge Chaumette	[22]
10	Gianni Conte	[22]
11	Raphaël Couturier	[16]
12	J.-F. Culat	[37]
13	Hossam A. ElGindy	[22]
14	Fikret Erçal	[22]
15	Geoffrey Fox (Geoffrey Charles Fox)	[22]
16	Didier Galmiche	[29]
17	G. Ghiola	[22]
18	J. Paul Gibson	[11] [12] [14] [20] [21] [27] [43] [44]
19	Ganesh Gopalakrishnan	[32]
20	Jan Gustafsson	[22]
21	Matthew Haines	[22]
22	Geoff W. Hamilton (Geoff Hamilton)	[20] [27]
23	Michael D. Jones	[32]
24	Laxmikant V. Kalé	[22]
25	Patrick Lamboley	[17]
26	Dominique Larchey-Wendling	[29]
27	Keqin Li	[22]
28	Luigi V. Mancini	[22]
29	Bruno Mermet	[12] [13] [15]
30	Stephan Merz	[26] [28] [30] [40] [41]
31	Abdelillah Mokkedem (Abdel Mokkedem)	[5] [8] [9] [10]
32	Gérard Morel	[17]
33	Frank Mueller	[22]
34	Stephan Olariu	[22]
35	Ronald A. Olsson	[22]
36	Yi Pan	[22]
37	Jean-François Pétin	[17]
38	Viktor K. Prasanna (V. K. Prasanna Kumar)	[22]
39	Cyril Proch	[36] [37] [48]
40	Binoy Ravindran	[22]
41	Joris Rehm	[47]
42	José D. P. Rolim	[22]
43	Beverly A. Sanders	[22] [24] [31]
44	Christophe Tabacznyj	[25]
45	Hiroaki Takada	[22]
46	Airy Weinzoepflen	[32]
47	Tao Yang	[22]
48	Albert Y. Zomaya	[22]

Colors in the list of coauthors