Dominique Méry

According to our database1, Dominique Méry authored at least 112 papers between 1986 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.
J. Softw. Evol. Process., July, 2023

Formal domain-driven system development in Event-B: Application to interactive critical systems.
J. Syst. Archit., February, 2023

SAP: A Secure Low-Latency Protocol for Mitigating High Computation Overhead in WI-FI Networks.
IEEE Access, 2023

2022
Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020.
Sci. Comput. Program., 2022

Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July - 1 August 2019, Guilin, China.
Sci. Comput. Program., 2022

The central role of data repositories and data models in Data Science and Advanced Analytics.
Future Gener. Comput. Syst., 2022

Empowering the Event-B Method Using External Theories.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications.
Interact. Comput., 2021

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

A Refinement Strategy for Hybrid System Design with Safety Constraints.
Proceedings of the Model and Data Engineering - 10th International Conference, 2021

Standard Conformance-by-Construction with Event-B.
Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Towards Leveraging Domain Knowledge in State-Based Formal Methods.
Proceedings of the Logic, Computation and Rigorous Methods, 2021

2020
Generating Distributed Programs from Event-B Models.
Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020

An Integrated Framework for the Formal Analysis of Critical Interactive Systems.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019
Verification by Construction of Distributed Algorithms.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2018
Modelling by Patterns for Correct-by-Construction Process.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Formal Ontology Driven Model Refactoring.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols.
Softw. Syst. Model., 2017

Playing with state-based models for designing better algorithms.
Future Gener. Comput. Syst., 2017

Proving Distributed Coloring of Forests in Dynamic Networks.
Computación y Sistemas, 2017

Explicit Modelling of Physical Measures: From Event-B to Java.
Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 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

A correct-by-construction approach for proving distributed algorithms in spanning trees.
Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016
Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16).
NII Shonan Meet. Rep., 2016

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

From Event-B specifications to programs for distributed algorithms.
Int. J. Auton. Adapt. Commun. Syst., 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

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

Modeling an Aircraft Landing System in Event-B.
Proceedings of the ABZ 2014: The Landing Gear Case Study, 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. Embed. Comput. Syst., 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

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.
Innov. Syst. Softw. Eng., 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.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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.
Int. J. Softw. Tools Technol. Transf., 2009

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

Refinement-Based Guidelines for Algorithmic Systems.
Int. J. Softw. 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. Univers. 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

Incremental Parametric Development of Greedy Algorithms.
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface.
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, 2006

Event Systems and Access Control
CoRR, 2006

2005
Refinement and Reachability in Event<sub>B</sub>.
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 Aspects Comput., 2003

Foundations of the B Method.
Comput. Artif. Intell., 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 Syst. Des., 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. Univers. Comput. Sci., 2001

Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams.
Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 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

Abstraction and refinement of features.
Proceedings of the Language Constructs for Describing Features, 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, Ireland, 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

Safe combinations of services using B.
Proceedings of the 16th International Conference on Computer Safety, 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.
RAIRO Theor. Informatics Appl., 1987

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


  Loading...