Dominique Méry
Orcid: 0000-0001-5231-6611
According to our database1,
Dominique Méry
authored at least 115 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Checking Contracts in Event-B - Reporting the Introduction and the Use of Automated Tools for Verifying Software-Based Systems in Higher Education.
Proceedings of the Formal Methods Teaching - 6th Formal Methods Teaching Workshop, 2024
Proceedings of the Tests and Proofs - 18th International Conference, 2024
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
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
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021
Proceedings of the Model and Data Engineering - 10th International Conference, 2021
Proceedings of the Formal Methods for Industrial Critical Systems, 2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
2020
Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019
2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
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
Future Gener. Comput. Syst., 2017
Computación y Sistemas, 2017
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
Proceedings of the Model and Data Engineering - 7th International Conference, 2017
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
Sci. Comput. Program., 2016
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
Proceedings of the Model and Data Engineering - 5th International Conference, 2015
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
Comput. Sci. Inf. Syst., 2014
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
Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014
Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
2013
ACM Trans. Embed. Comput. Syst., 2013
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
Proceedings of the Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport, 2013
Proceedings of the First International Workshop on Verification and Program Transformation, 2013
2012
Proceedings of the Symposium on Information and Communication Technology 2012, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
Proceedings of the Foundations of Health Information Engineering and Systems, 2012
2011
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011
Proceedings of the 2011 Symposium on Information and Communication Technology, 2011
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
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011
2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
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
Proceedings of the Complex Systems Design & Management, 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
Int. J. Softw. Informatics, 2009
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
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Proceedings of the Computer Science, 2007
Proceedings of the B 2007: Formal Specification and Development in B, 2007
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
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
2005
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005
2004
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
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
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002
2001
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
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
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
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
Proceedings of the Language Constructs for Describing Features, 2000
1999
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
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
Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998
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
Proceedings of the 16th International Conference on Computer Safety, 1997
Proceedings of the 1st Irish Workshop on Formal Methods, 1997
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
Proceedings of the Temporal Logic, First International Conference, 1994
1993
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
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
RAIRO Theor. Informatics Appl., 1987
1986
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986