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 |