Dominique Méry

According to our database1, Dominique Méry
  • authored at least 89 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols.
Software and System Modeling, 2017

Playing with state-based models for designing better algorithms.
Future Generation Comp. Syst., 2017

Contextualization and Dependency in State-Based Modelling - Application to Event-B.
Proceedings of the Model and Data Engineering - 7th International Conference, 2017

Applying a Dependency Mechanism for Voting Protocol Models Using Event-B.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016
Making explicit domain knowledge in formal system development.
Sci. Comput. Program., 2016

From Event-B specifications to programs for distributed algorithms.
IJAACS, 2016

On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015
Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study.
Proceedings of the Model and Data Engineering - 5th International Conference, 2015

Analyzing Requirements Using Environment Modelling.
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

2014
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062).
Dagstuhl Reports, 2014

Modelling an Aircraft Landing System in Event-B (Full Report).
CoRR, 2014

Revisiting snapshot algorithms by refinement-based techniques.
Comput. Sci. Inf. Syst., 2014

Formal evaluation of landing gear system.
Proceedings of the Fifth Symposium on Information and Communication Technology, 2014

Playing with State-Based Models for Designing Better Algorithms.
Proceedings of the Model and Data Engineering - 4th International Conference, 2014

On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

The Semantics of Refinement Chart.
Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014

Analysis of Self-⋆ and P2P Systems Using Refinement.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013
Formal Specification of Medical Systems by Proof-Based Refinement.
ACM Trans. Embedded Comput. Syst., 2013

From Event-B Specifications to Programs for Distributed Algorithms.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Formal Modelling and Verification of Population Protocols.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Ideal Mode Selection of a Cardiac Pacing System.
Proceedings of the Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport, 2013

Transforming Event B Models into Verified C# Implementations.
Proceedings of the First International Workshop on Verification and Program Transformation, 2013

2012
Critical systems development methodology using formal techniques.
Proceedings of the Symposium on Information and Communication Technology 2012, 2012

Revisiting Snapshot Algorithms by Refinement-Based Techniques.
Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

Handling Heterogeneity in Formal Developments of Hardware and Software Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Closed-Loop Modeling of Cardiac Pacemaker and Heart.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012

2011
A generic framework: from modeling to code.
ISSE, 2011

Analysis of DSR Protocol in Event-B.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Automatic code generation from event-B models.
Proceedings of the 2011 Symposium on Information and Communication Technology, 2011

Refinement-Based Verification of Local Synchronization Algorithms.
Proceedings of the FM 2011: Formal Methods, 2011

Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

Medical Protocol Diagnosis Using Formal Methods.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2010
Proving Distributed Algorithms by Combining Refinement and Local Computations.
ECEASST, 2010

Trustable Formal Specification for Software Certification.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Proof-Based Design of Security Protocols.
Proceedings of the Computer Science, 2010

Real-Time Animation for Formal Specification.
Proceedings of the Complex Systems Design & Management, 2010

2009
System-on-chip design by proof-based refinement.
STTT, 2009

A simple refinement-based method for constructing algorithms.
SIGCSE Bulletin, 2009

Refinement-Based Guidelines for Algorithmic Systems.
Int. J. Software and Informatics, 2009

Cryptographic Protocols Analysis in Event B.
Proceedings of the Perspectives of Systems Informatics, 2009

Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2007
Specification and Refinement of Access Control.
J. UCS, 2007

Incremental Parametric Development of Greedy Algorithms.
Electr. Notes Theor. Comput. Sci., 2007

Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface.
Electr. Notes Theor. Comput. Sci., 2007

Formal verification of tamper-evident storage for e-voting.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Proved-Patterns-Based Development for Structured Programs.
Proceedings of the Computer Science, 2007

Time Constraint Patterns for Event B Development.
Proceedings of the B 2007: Formal Specification and Development in B, 2007

Integration of Security Policy into System Modeling.
Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006
Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm.
Theor. Comput. Sci., 2006

Event Systems and Access Control
CoRR, 2006

2005
Refinement and Reachability in EventB.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004
Derivation of SystemC code from abstract system models.
Proceedings of the Forum on specification and Design Languages, 2004

2003
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol.
Formal Asp. Comput., 2003

Foundations of the B Method.
Computers and Artificial Intelligence, 2003

Formal Derivation of Spanning Trees Algorithms.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement .
Proceedings of the Forum on specification and Design Languages, 2003

2002
Editorial Note.
Formal Methods in System Design, 2002

Incremental Proof of the Producer/Consumer Property for the PCI Protocol.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001
Diagram Refinements for the Design of Reactive Systems.
J. UCS, 2001

Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams.
GI Jahrestagung (1), 2001

STRIP: Structural Sharing for Efficient Proof-Search.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
Playing with Abstraction and Refinement for Managing Features Interactions.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Workshop on Formal Methods for Parallel Programming (FMPPTA 2000).
Proceedings of the Parallel and Distributed Processing, 2000

Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification.
Proceedings of the Parallel and Distributed Processing, 2000

Predicate Diagrams for the Verification of Reactive Systems.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

A Taxonomy for Triggered Interactions Using Fair Object Semantics.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

1999
Abstract Animator for Temporal Specifications: Application to TLA.
Proceedings of the Static Analysis, 6th International Symposium, 1999

Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems.
Proceedings of the Integrated Formal Methods, 1999

Integration Problems in Telephone Feature Requirements.
Proceedings of the Integrated Formal Methods, 1999

Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem.
Proceedings of the Perspectives of System Informatics, 1999

1998
Teaching Formal Methods: Lessons to Learn.
Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998, 1998

Service specifications: to B, or not to B.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

An Experiment in Parallelizing an Application Using Formal Methods.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method.
Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997
Telephone feature verification: Translating SDL to TLA+.
Proceedings of the SDL '97 Time for Testing, 1997

Feature Interactions: A Mixed Semantic Model Approach.
Proceedings of the 1st Irish Workshop on Formal Methods, 1997

Incremental Specification of Telecommunication Services.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1995
On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems.
Theor. Comput. Sci., 1995

1994
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs.
Proceedings of the Temporal Logic, First International Conference, 1994

1993
A Proof Environment for Concurrent Programs.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

On Using a Composition Principle to Design Parallel Programs.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

Towards an Integrated Environment for Concurrent programs Development.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
The N U System as a Development System for Concurrent Programs: delta N U.
Theor. Comput. Sci., 1992

Crocos: An Integrated Environment for Interactive Verification of SDL Specifications.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1988
Temporal Specifications Directed by Grammar and Design of Process Networks.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1987
Méthode Axiomatique Pour Les Propriétés De Fatalité Des Programmes Parallèles.
ITA, 1987

1986
A Proof System to Derive Evantually Properties Under Justice Hypothesis.
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986


  Loading...