dblp.uni-trier.dewww.uni-trier.de

Dominique Méry Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
48EEDominique Cansell, Dominique Méry, Cyril Proch: System-on-chip design by proof-based refinement. STTT 11(3): 217-238 (2009)
2007
47EEDominique Cansell, Dominique Méry, Joris Rehm: Time Constraint Patterns for Event B Development. B 2007: 140-154
46EENazim Benaïssa, Dominique Cansell, Dominique Méry: Integration of Security Policy into System Modeling. B 2007: 232-247
45EEDominique Cansell, Dominique Méry: Proved-Patterns-Based Development for Structured Programs. CSR 2007: 104-114
44EEDominique Cansell, J. Paul Gibson, Dominique Méry: Formal verification of tamper-evident storage for e-voting. SEFM 2007: 329-338
43EEDominique 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)
42EEDominique Cansell, Dominique Méry: Incremental Parametric Development of Greedy Algorithms. Electr. Notes Theor. Comput. Sci. 185: 47-62 (2007)
41EEDominique Méry, Stephan Merz: Specification and Refinement of Access Control. J. UCS 13(8): 1073-1093 (2007)
2006
40EEDominique Méry, Stephan Merz: Event Systems and Access Control CoRR abs/cs/0604081: (2006)
39EEDominique 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
38EEJean-Raymond Abrial, Dominique Cansell, Dominique Méry: Refinement and Reachability in EventB. ZB 2005: 222-241
2004
37EEDominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch: Derivation of SystemC code from abstract system models. FDL 2004: 612-624
2003
36EEDominique Cansell, Dominique Méry, Cyril Proch: Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . FDL 2003: 435-447
35EEJean-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)
33EEJean-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
32EEDominique 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
29EEDominique Larchey-Wendling, Dominique Méry, Didier Galmiche: STRIP: Structural Sharing for Efficient Proof-Search. IJCAR 2001: 696-700
28EEDominique 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
26EEDominique Cansell, Dominique Méry, Stephan Merz: Predicate Diagrams for the Verification of Reactive Systems. IFM 2000: 380-397
25EEDominique Cansell, Dominique Méry, Christophe Tabacznyj: Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification. IPDPS Workshops 2000: 1037-1038
24EEBeverly A. Sanders, Dominique Méry: Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). IPDPS Workshops 2000: 974-976
23EEDominique 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
21EEJ. 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
18EEDominique Cansell, Dominique Méry: Abstract Animator for Temporal Specifications: Application to TLA. SAS 1999: 284-299
1998
17EEJean-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
16EERaphaël Couturier, Dominique Méry: An Experiment in Parallelizing an Application Using Formal Methods. CAV 1998: 345-356
15EEBruno 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
10EEAbdelillah 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
6EENaima Brown, Dominique Méry: A Proof Environment for Concurrent Programs. FME 1993: 196-215
1992
5EEDominique 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
1EEDominique Méry: A Proof System to Derive Evantually Properties Under Justice Hypothesis. MFCS 1986: 536-544

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)