Dominique Méry

Dominique Méry, Neeraj Kumar Singh: Formal Specification of Medical Systems by Proof-Based Refinement. ACM Trans. Embedded Comput. Syst. 12(1): 15 (2013)

Dominique Méry, Michael Poppleton: Formal Modelling and Verification of Population Protocols. IFM 2013: 208-222

Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh: Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. IFM 2013: 268-284

Yamine Aït Ameur, Dominique Méry: Handling Heterogeneity in Formal Developments of Hardware and Software Systems. ISoLA (2) 2012: 327-328

Dominique Méry, Neeraj Kumar Singh: Critical systems development methodology using formal techniques. SoICT 2012: 3-12

Dimitra Giannakopoulou, Dominique Méry (Eds.): FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Lecture Notes in Computer Science 7436, Springer 2012, isbn 978-3-642-32758-2

Dominique Méry, Neeraj Kumar Singh: A generic framework: from modeling to code. ISSE 7(4): 227-235 (2011)

Dominique Méry, Neeraj Kumar Singh: Medical Protocol Diagnosis Using Formal Methods. FHIES 2011: 1-20

Dominique Méry, Neeraj Kumar Singh: Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. FHIES 2011: 140-159

Dominique Méry, Mohamed Mosbah, Mohamed Tounsi: Refinement-Based Verification of Local Synchronization Algorithms. FM 2011: 338-352

Dominique Méry, Neeraj Kumar Singh: Automatic code generation from event-B models. SoICT 2011: 179-188

Dominique Méry, Neeraj Kumar Singh: Analysis of DSR Protocol in Event-B. SSS 2011: 401-415

Mohamed Tounsi, Mohamed Mosbah, Dominique Méry: Proving Distributed Algorithms by Combining Refinement and Local Computations. ECEASST 35 (2010)

Dominique Méry, Neeraj Kumar Singh: Real-Time Animation for Formal Specification. CSDM 2010: 49-60

Nazim Benaïssa, Dominique Méry: Proof-Based Design of Security Protocols. CSR 2010: 25-36

Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels: Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. ISoLA (1) 2010: 58-59

Dominique Méry, Neeraj Kumar Singh: Trustable Formal Specification for Software Certification. ISoLA (2) 2010: 312-326

Dominique Méry, Stephan Merz (Eds.): Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science 6396, Springer 2010, isbn 978-3-642-16264-0

Dominique Méry: Refinement-Based Guidelines for Algorithmic Systems. Int. J. Software and Informatics 3(2-3): 197-239 (2009)

Dominique Méry: A simple refinement-based method for constructing algorithms. SIGCSE Bulletin 41(2): 51-59 (2009)

Dominique Cansell, Dominique Méry, Cyril Proch: System-on-chip design by proof-based refinement. STTT 11(3): 217-238 (2009)

Dominique Cansell, Dominique Méry: Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development. Rigorous Methods for Software Construction and Analysis 2009: 17-32

Nazim Benaïssa, Dominique Méry: Cryptographic Protocols Analysis in Event B. Ershov Memorial Conference 2009: 282-293

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)

Dominique Cansell, Dominique Méry: Incremental Parametric Development of Greedy Algorithms. Electr. Notes Theor. Comput. Sci. 185: 47-62 (2007)

Dominique Méry, Stephan Merz: Specification and Refinement of Access Control. J. UCS 13(8): 1073-1093 (2007)

Dominique Cansell, Dominique Méry, Joris Rehm: Time Constraint Patterns for Event B Development. B 2007: 140-154

Nazim Benaïssa, Dominique Cansell, Dominique Méry: Integration of Security Policy into System Modeling. B 2007: 232-247

Dominique Cansell, Dominique Méry: Proved-Patterns-Based Development for Structured Programs. CSR 2007: 104-114

Dominique Cansell, J. Paul Gibson, Dominique Méry: Formal verification of tamper-evident storage for e-voting. SEFM 2007: 329-338

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)

Dominique Méry, Stephan Merz: Event Systems and Access Control. CoRR abs/cs/0604081 (2006)

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry: Refinement and Reachability in Event_B. ZB 2005: 222-241

Dominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch: Derivation of SystemC code from abstract system models. FDL 2004: 612-624

Dominique Cansell, Dominique Méry: Foundations of the B Method. Computers and Artificial Intelligence 22(3-4): 221-256 (2003)

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)

Dominique Cansell, Dominique Méry, Cyril Proch: Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . FDL 2003: 435-447

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry: Formal Derivation of Spanning Trees Algorithms. ZB 2003: 457-476

Dominique Méry, Beverly A. Sanders: Editorial Note. Formal Methods in System Design 20(1): 5 (2002)

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

Dominique Cansell, Dominique Méry, Stephan Merz: Diagram Refinements for the Design of Reactive Systems. J. UCS 7(2): 159-174 (2001)

Dominique Larchey-Wendling, Dominique Méry, Didier Galmiche: STRIP: Structural Sharing for Efficient Proof-Search. IJCAR 2001: 696-700

Dominique Cansell, Dominique Méry, Stephan Merz: Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. GI Jahrestagung (1) 2001: 628-634

J. Paul Gibson, Geoff Hamilton, Dominique Méry: A Taxonomy for Triggered Interactions Using Fair Object Semantics. FIW 2000: 193-209

Dominique Cansell, Dominique Méry, Stephan Merz: Predicate Diagrams for the Verification of Reactive Systems. IFM 2000: 380-397

Beverly A. Sanders, Dominique Méry: Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). IPDPS Workshops 2000: 974-976

Dominique Cansell, Dominique Méry, Christophe Tabacznyj: Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification. IPDPS Workshops 2000: 1037-1038

Dominique Cansell, Dominique Méry: Playing with Abstraction and Refinement for Managing Features Interactions. ZB 2000: 148-167

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

J. Paul Gibson, Geoff Hamilton, Dominique Méry: Integration Problems in Telephone Feature Requirements. IFM 1999: 129-148

Dominique Méry: Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. IFM 1999: 395-414

Dominique Cansell, Dominique Méry: Abstract Animator for Temporal Specifications: Application to TLA. SAS 1999: 284-299

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 (Eds.): 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. Lecture Notes in Computer Science 1586, Springer 1999, isbn 3-540-65831-9

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

Raphaël Couturier, Dominique Méry: An Experiment in Parallelizing an Application Using Formal Methods. CAV 1998: 345-356

Bruno Mermet, Dominique Méry: Service specifications: to B, or not to B. FMSP 1998: 62-69

J. Paul Gibson, Dominique Méry: Teaching Formal Methods: Lessons to Learn. IWFM 1998

Bruno Mermet, Dominique Méry: Incremental Specification of Telecommunication Services. ICFEM 1997: 60-69

J. Paul Gibson, Bruno Mermet, Dominique Méry: Feature Interactions: A Mixed Semantic Model Approach. IWFM 1997

Dominique Méry, J. Paul Gibson: Telephone feature verification: Translating SDL to TLA+. SDL Forum 1997: 103-118

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)

Abdelillah Mokkedem, Dominique Méry: A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. ICTL 1994: 382-397

Abdelillah Mokkedem, Dominique Méry: On Using a Composition Principle to Design Parallel Programs. AMAST 1993: 315-324

Naima Brown, Dominique Méry: Towards an Integrated Environment for Concurrent programs Development. AMAST 1993: 407-408

Naima Brown, Dominique Méry: A Proof Environment for Concurrent Programs. FME 1993: 196-215

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)

Dominique Méry, Abdelillah Mokkedem: Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. CAV 1992: 343-356

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

Dominique Méry: Méthode Axiomatique Pour Les Propriétés De Fatalité Des Programmes Parallèles. ITA 21(3): 287-322 (1987)

Dominique Méry: A Proof System to Derive Evantually Properties Under Justice Hypothesis. MFCS 1986: 536-544