Dominique Méry

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 34

Top Venues

MEDI

Sci. Comput. Program.

APSEC

Future Gener. Comput. Syst.

Publications

Alexander Raschke, Dominique Méry
An automotive case study. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar, Guillaume Dupont, Dominique Méry, Philippe A. Palanque
Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. 135 (2023)
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. 35 (7) (2023)
Vineeta Jain, Ulf Wetzker, Vijay Laxmi, Manoj Singh Gaur, Mohamed Mosbah, Dominique Méry
SAP: A Secure Low-Latency Protocol for Mitigating High Computation Overhead in WI-FI Networks. IEEE Access 11 (2023)
Dominique Méry, Alexander Raschke
Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020. Sci. Comput. Program. 216 (2022)
Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
Empowering the Event-B Method Using External Theories. IFM (2022)
Ladjel Bellatreche, Carlos Ordonez, Dominique Méry, Matteo Golfarelli, El Hassan Abdelwahed
The central role of data repositories and data models in Data Science and Advanced Analytics. Future Gener. Comput. Syst. 129 (2022)
Ismail Mendil, Peter Riviere, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. APSEC (2022)
Dominique Méry, Shengchao Qin
Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July - 1 August 2019, Guilin, China. Sci. Comput. Program. 218 (2022)
Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods (2021)
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
Standard Conformance-by-Construction with Event-B. FMICS (2021)
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA (2021)
Zheng Cheng, Dominique Méry
A Refinement Strategy for Hybrid System Design with Safety Constraints. MEDI (2021)
Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interact. Comput. 33 (1) (2021)
Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque
An Integrated Framework for the Formal Analysis of Critical Interactive Systems. APSEC (2020)
Horatiu Cirstea, Alexis Grall, Dominique Méry
Generating Distributed Programs from Event-B Models. VPT/HCVS@ETAPS (2020)
Dominique Méry
Verification by Construction of Distributed Algorithms. ICTAC (2019)
Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS (2019)
Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry
Formal Ontology Driven Model Refactoring. ICECCS (2018)
Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ (2018)
Dominique Méry
Modelling by Patterns for Correct-by-Construction Process. ISoLA (1) (2018)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas 21 (4) (2017)
Dominique Méry, Michael Poppleton
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols. Softw. Syst. Model. 16 (4) (2017)
Souad Kherroubi, Dominique Méry
Contextualization and Dependency in State-Based Modelling - Application to Event-B. MEDI (2017)
Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS (2017)
J. Paul Gibson, Souad Kherroubi, Dominique Méry
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. FORTE (2017)
J. Paul Gibson, Dominique Méry
Explicit Modelling of Physical Measures: From Event-B to Java. IMPEX/FM&MDD (2017)
Dominique Méry
Playing with state-based models for designing better algorithms. Future Gener. Comput. Syst. 68 (2017)
Zheng Cheng, Dominique Méry, Rosemary Monahan
On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. ISoLA (1) (2016)
Yamine Aït Ameur, Dominique Méry
Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121 (2016)
Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
From Event-B specifications to programs for distributed algorithms. Int. J. Auton. Adapt. Commun. Syst. 9 (3/4) (2016)
Yamine Aït Ameur, Shin Nakajima, Dominique Méry
Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16). NII Shonan Meet. Rep. 2016 (2016)
Dominique Méry, Neeraj Kumar Singh
Analyzing Requirements Using Environment Modelling. HCI (17) (2015)
Dominique Méry, Rushikesh Sawant, Anton Tarasyuk
Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study. MEDI (2015)
Dominique Méry, Neeraj Kumar Singh
The Semantics of Refinement Chart. HCI (20) (2014)
Dominique Méry, Neeraj Kumar Singh
Modelling an Aircraft Landing System in Event-B (Full Report). CoRR (2014)
Dominique Méry, Bernhard Schätz, Alan Wassyng
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). Dagstuhl Reports 4 (2) (2014)
Dominique Méry, Neeraj Kumar Singh
Modeling an Aircraft Landing System in Event-B. ABZ (Case Study) (2014)
Dominique Méry, Neeraj Kumar Singh
Formal evaluation of landing gear system. SoICT (2014)
Dominique Méry
Playing with State-Based Models for Designing Better Algorithms. MEDI (2014)
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Analysis of Self-⋆ and P2P Systems Using Refinement. ABZ (2014)
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Revisiting snapshot algorithms by refinement-based techniques. Comput. Sci. Inf. Syst. 11 (1) (2014)
Yamine Aït Ameur, J. Paul Gibson, Dominique Méry
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. ISoLA (2) (2014)
Dominique Méry, Neeraj Kumar Singh
Ideal Mode Selection of a Cardiac Pacing System. HCI (22) (2013)
Dominique Méry, Rosemary Monahan
Transforming Event B Models into Verified C# Implementations. VPT@CAV (2013)
Dominique Méry, Neeraj Kumar Singh
Formal Specification of Medical Systems by Proof-Based Refinement. ACM Trans. Embed. Comput. Syst. 12 (1) (2013)
Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
From Event-B Specifications to Programs for Distributed Algorithms. WETICE (2013)
Dominique Méry, Michael Poppleton
Formal Modelling and Verification of Population Protocols. IFM (2013)
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. IFM (2013)
Yamine Aït Ameur, Dominique Méry
Handling Heterogeneity in Formal Developments of Hardware and Software Systems. ISoLA (2) (2012)
Dominique Méry, Neeraj Kumar Singh
Critical systems development methodology using formal techniques. SoICT (2012)
Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
Revisiting Snapshot Algorithms by Refinement-Based Techniques. PDCAT (2012)
Dominique Méry, Neeraj Kumar Singh
Closed-Loop Modeling of Cardiac Pacemaker and Heart. FHIES (2012)
Dominique Méry, Mohamed Mosbah, Mohamed Tounsi
Refinement-Based Verification of Local Synchronization Algorithms. FM (2011)
Dominique Méry, Neeraj Kumar Singh
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. FHIES (2011)
Dominique Méry, Neeraj Kumar Singh
Analysis of DSR Protocol in Event-B. SSS (2011)
Dominique Méry, Neeraj Kumar Singh
Medical Protocol Diagnosis Using Formal Methods. FHIES (2011)
Dominique Méry, Neeraj Kumar Singh
Automatic code generation from event-B models. SoICT (2011)
Dominique Méry, Neeraj Kumar Singh
A generic framework: from modeling to code. Innov. Syst. Softw. Eng. 7 (4) (2011)
Dominique Méry, Neeraj Kumar Singh
Trustable Formal Specification for Software Certification. ISoLA (2) (2010)
Dominique Méry, Neeraj Kumar Singh
Real-Time Animation for Formal Specification. CSDM (2010)
Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
Proving Distributed Algorithms by Combining Refinement and Local Computations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Nazim Benaïssa, Dominique Méry
Proof-Based Design of Security Protocols. CSR (2010)
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)
Dominique Cansell, Dominique Méry, Cyril Proch
System-on-chip design by proof-based refinement. Int. J. Softw. Tools Technol. Transf. 11 (3) (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)
Nazim Benaïssa, Dominique Méry
Cryptographic Protocols Analysis in Event B. Ershov Memorial Conference (2009)
Dominique Méry
Refinement-Based Guidelines for Algorithmic Systems. Int. J. Softw. Informatics 3 (2-3) (2009)
Dominique Méry
A simple refinement-based method for constructing algorithms. ACM SIGCSE Bull. 41 (2) (2009)
Dominique Cansell, Dominique Méry
Proved-Patterns-Based Development for Structured Programs. CSR (2007)
Dominique Cansell, J. Paul Gibson, Dominique Méry
Formal verification of tamper-evident storage for e-voting. SEFM (2007)
Dominique Méry, Stephan Merz
Specification and Refinement of Access Control. J. Univers. Comput. Sci. 13 (8) (2007)
Nazim Benaïssa, Dominique Cansell, Dominique Méry
Integration of Security Policy into System Modeling. B (2007)
Dominique Cansell, Dominique Méry, Joris Rehm
Time Constraint Patterns for Event B Development. B (2007)
Dominique Cansell, J. Paul Gibson, Dominique Méry
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. Electron. Notes Theor. Comput. Sci. 183 (2007)
Dominique Cansell, Dominique Méry
Incremental Parametric Development of Greedy Algorithms. Electron. Notes Theor. Comput. Sci. 185 (2007)
Dominique Cansell, Dominique Méry
Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm. Theor. Comput. Sci. 364 (3) (2006)
Dominique Méry, Stephan Merz
Event Systems and Access Control CoRR (2006)
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
. ZB (2005)
Dominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch
Derivation of SystemC code from abstract system models. FDL (2004)
Dominique Cansell, Dominique Méry
Foundations of the B Method. Comput. Artif. Intell. 22 (3-4) (2003)
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. Formal Aspects Comput. 14 (3) (2003)
Dominique Cansell, Dominique Méry, Cyril Proch
Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . FDL (2003)
Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
Formal Derivation of Spanning Trees Algorithms. ZB (2003)
Dominique Méry, Beverly A. Sanders
Editorial Note. Formal Methods Syst. Des. 20 (1) (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)
Dominique Cansell, Dominique Méry, Stephan Merz
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. GI Jahrestagung (1) (2001)
Dominique Larchey-Wendling, Dominique Méry, Didier Galmiche
STRIP: Structural Sharing for Efficient Proof-Search. IJCAR (2001)
Dominique Cansell, Dominique Méry, Stephan Merz
Diagram Refinements for the Design of Reactive Systems. J. Univers. Comput. Sci. 7 (2) (2001)
J. Paul Gibson, Geoff W. Hamilton, Dominique Méry
A Taxonomy for Triggered Interactions Using Fair Object Semantics. FIW (2000)
Dominique Cansell, Dominique Méry
Abstraction and refinement of features. FIREworks (2000)
Beverly A. Sanders, Dominique Méry
Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). IPDPS Workshops (2000)
Dominique Cansell, Dominique Méry, Christophe Tabacznyj
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification. IPDPS Workshops (2000)
Dominique Cansell, Dominique Méry, Stephan Merz
Predicate Diagrams for the Verification of Reactive Systems. IFM (2000)
Dominique Cansell, Dominique Méry
Playing with Abstraction and Refinement for Managing Features Interactions. ZB (2000)
J. Paul Gibson, Geoff W. Hamilton, Dominique Méry
Integration Problems in Telephone Feature Requirements. IFM (1999)
Dominique Méry
Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. IFM (1999)
J. Paul Gibson, Dominique Méry
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. Ershov Memorial Conference (1999)
Dominique Cansell, Dominique Méry
Abstract Animator for Temporal Specifications: Application to TLA. SAS (1999)
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)

Dominique Méry.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dominique Méry