Dominique Méry

2007
47	EE	Dominique Cansell, Dominique Méry, Joris Rehm: Time Constraint Patterns for Event B Development. B 2007: 140-154
46	EE	Nazim Benaïssa, Dominique Cansell, Dominique Méry: Integration of Security Policy into System Modeling. B 2007: 232-247
45	EE	Dominique Cansell, Dominique Méry: Proved-Patterns-Based Development for Structured Programs. CSR 2007: 104-114
44	EE	Dominique Cansell, J. Paul Gibson, Dominique Méry: Formal verification of tamper-evident storage for e-voting. SEFM 2007: 329-338
43	EE	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	EE	Dominique Cansell, Dominique Méry: Incremental Parametric Development of Greedy Algorithms. Electr. Notes Theor. Comput. Sci. 185: 47-62 (2007)
41	EE	Dominique Méry, Stephan Merz: Specification and Refinement of Access Control. J. UCS 13(8): 1073-1093 (2007)
2006
40	EE	Dominique Méry, Stephan Merz: Event Systems and Access Control CoRR abs/cs/0604081: (2006)
39	EE	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	EE	Jean-Raymond Abrial, Dominique Cansell, Dominique Méry: Refinement and Reachability in EventB. ZB 2005: 222-241
2004
37	EE	Dominique Cansell, J.-F. Culat, Dominique Méry, C. Proch: Derivation of SystemC code from abstract system models. FDL 2004: 612-624
2003
36	EE	Dominique Cansell, Dominique Méry, C. Proch: Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . FDL 2003: 435-447
35	EE	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	EE	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	EE	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	EE	Dominique Larchey-Wendling, Dominique Méry, Didier Galmiche: STRIP: Structural Sharing for Efficient Proof-Search. IJCAR 2001: 696-700
28	EE	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	EE	Dominique Cansell, Dominique Méry, Stephan Merz: Predicate Diagrams for the Verification of Reactive Systems. IFM 2000: 380-397
25	EE	Dominique Cansell, Dominique Méry, Christophe Tabacznyj: Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification. IPDPS Workshops 2000: 1037-1038
24	EE	Beverly A. Sanders, Dominique Méry: Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). IPDPS Workshops 2000: 974-976
23	EE	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	EE	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	EE	Dominique Cansell, Dominique Méry: Abstract Animator for Temporal Specifications: Application to TLA. SAS 1999: 284-299
1998
17	EE	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	EE	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	EE	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]
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	C. Proch	[36] [37]
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