Dominique Méry

136 papers A* 2B 15C 26Misc 4Journal 34Unranked 49

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Selected papers from the Rigorous State-Based Methods, 7th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023. Sci. Comput. Program. Dominique Méry, Rosemary Monahan
2024	J	`jnl`	An automotive case study. Int. J. Softw. Tools Technol. Transf. Alexander Raschke, Dominique Méry
2024	—	`conf`	Checking Contracts in Event-B - Reporting the Introduction and the Use of Automated Tools for Verifying Software-Based Systems in Higher Education. FMTea Dominique Méry
2024	C	`conf`	Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper. TAP Hao Wu, Thomas Flinkow, Dominique Méry
2024	C	`ed.`	Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings ICFEM Kazuhiro Ogata, Dominique Méry, Meng Sun, Shaoying Liu
2023	B	`ed.`	27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023 ICECCS Yamine Aït-Ameur, Ferhat Khendek, Dominique Méry
2023	J	`jnl`	F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
2023	J	`jnl`	Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque
2023	C	`ed.`	Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings ABZ Uwe Glässer, José Creissac Campos, Dominique Méry, Philippe A. Palanque
2023	J	`jnl`	SAP: A Secure Low-Latency Protocol for Mitigating High Computation Overhead in WI-FI Networks. IEEE Access Vineeta Jain, Ulf Wetzker, Vijay Laxmi, Manoj Singh Gaur, Mohamed Mosbah, Dominique Méry
2022	B	`conf`	Empowering the Event-B Method Using External Theories. IFM Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
2022	C	`conf`	Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. APSEC Ismaïl Mendil, Peter Riviere, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2022	J	`jnl`	Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July - 1 August 2019, Guilin, China. Sci. Comput. Program. Dominique Méry, Shengchao Qin
2022	J	`jnl`	Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020. Sci. Comput. Program. Dominique Méry, Alexander Raschke
2022	J	`jnl`	The central role of data repositories and data models in Data Science and Advanced Analytics. Future Gener. Comput. Syst. Ladjel Bellatreche, Carlos Ordonez, Dominique Méry, Matteo Golfarelli, El Hassan Abdelwahed
2021	C	`conf`	A Refinement Strategy for Hybrid System Design with Safety Constraints. MEDI Zheng Cheng, Dominique Méry
2021	Misc	`conf`	Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2021	C	`ed.`	MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021 MEMOCODE S. Arun-Kumar, Dominique Méry, Indranil Saha, Lijun Zhang
2021	J	`jnl`	On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interact. Comput. Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque
2021	C	`ed.`	Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings ABZ Alexander Raschke, Dominique Méry
2021	C	`conf`	Standard Conformance-by-Construction with Event-B. FMICS Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2021	—	`conf`	Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
2020	C	`conf`	An Integrated Framework for the Formal Analysis of Critical Interactive Systems. APSEC Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque
2020	—	`conf`	Generating Distributed Programs from Event-B Models. VPT/HCVS@ETAPS Horatiu Cirstea, Alexis Grall, Dominique Méry
2020	C	`ed.`	Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings ABZ Alexander Raschke, Dominique Méry, Frank Houdek
2019	Misc	`ed.`	2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019 TASE Dominique Méry, Shengchao Qin
2019	—	`conf`	Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
2019	C	`conf`	Verification by Construction of Distributed Algorithms. ICTAC Dominique Méry
2018	B	`conf`	Formal Ontology Driven Model Refactoring. ICECCS Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry
2018	C	`ed.`	Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings MEDI El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez
2018	—	`conf`	Modelling by Patterns for Correct-by-Construction Process. ISoLA (1) Dominique Méry
2018	—	`ed.`	New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings MEDI Workshops El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez
2018	C	`conf`	On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ 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
2018	—	`ed.`	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), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017. IMPEX/FM&MDD Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna
2017	C	`conf`	A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
2017	C	`conf`	Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. FORTE J. Paul Gibson, Souad Kherroubi, Dominique Méry
2017	C	`conf`	Contextualization and Dependency in State-Based Modelling - Application to Event-B. MEDI Souad Kherroubi, Dominique Méry
2017	—	`conf`	Explicit Modelling of Physical Measures: From Event-B to Java. IMPEX/FM&MDD J. Paul Gibson, Dominique Méry
2017	J	`jnl`	Playing with state-based models for designing better algorithms. Future Gener. Comput. Syst. Dominique Méry
2017	—	`ed.`	Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. F-IDE@FM Catherine Dubois, Paolo Masci, Dominique Méry
2017	J	`jnl`	Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem
2017	J	`jnl`	Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols. Softw. Syst. Model. Dominique Méry, Michael Poppleton
2016	J	`jnl`	From Event-B specifications to programs for distributed algorithms. Int. J. Auton. Adapt. Commun. Syst. Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
2016	J	`jnl`	Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16). NII Shonan Meet. Rep. Yamine Aït Ameur, Shin Nakajima, Dominique Méry
2016	J	`jnl`	Making explicit domain knowledge in formal system development. Sci. Comput. Program. Yamine Aït Ameur, Dominique Méry
2016	—	`conf`	On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. ISoLA (1) Zheng Cheng, Dominique Méry, Rosemary Monahan
2015	—	`conf`	Analyzing Requirements Using Environment Modelling. HCI (17) Dominique Méry, Neeraj Kumar Singh
2015	C	`conf`	Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study. MEDI Dominique Méry, Rushikesh Sawant, Anton Tarasyuk
2015	—	`ed.`	Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. F-IDE@FM Catherine Dubois, Paolo Masci, Dominique Méry
2014	C	`conf`	Analysis of Self-⋆ and P2P Systems Using Refinement. ABZ Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
2014	—	`conf`	Formal evaluation of landing gear system. SoICT Dominique Méry, Neeraj Kumar Singh
2014	—	`conf`	Modeling an Aircraft Landing System in Event-B. ABZ (Case Study) Dominique Méry, Neeraj Kumar Singh
2014	J	`jnl`	Modelling an Aircraft Landing System in Event-B (Full Report). CoRR Dominique Méry, Neeraj Kumar Singh
2014	—	`conf`	On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. ISoLA (2) Yamine Aït Ameur, J. Paul Gibson, Dominique Méry
2014	C	`conf`	Playing with State-Based Models for Designing Better Algorithms. MEDI Dominique Méry
2014	—	`ed.`	Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. F-IDE Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry
2014	J	`jnl`	Revisiting snapshot algorithms by refinement-based techniques. Comput. Sci. Inf. Syst. Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
2014	J	`jnl`	The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). Dagstuhl Reports Dominique Méry, Bernhard Schätz, Alan Wassyng
2014	—	`conf`	The Semantics of Refinement Chart. HCI (20) Dominique Méry, Neeraj Kumar Singh
2014	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings ICTAC Gabriel Ciobanu, Dominique Méry
2013	B	`conf`	Formal Modelling and Verification of Population Protocols. IFM Dominique Méry, Michael Poppleton
2013	J	`jnl`	Formal Specification of Medical Systems by Proof-Based Refinement. ACM Trans. Embed. Comput. Syst. Dominique Méry, Neeraj Kumar Singh
2013	C	`conf`	From Event-B Specifications to Programs for Distributed Algorithms. WETICE Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
2013	—	`conf`	Ideal Mode Selection of a Cardiac Pacing System. HCI (22) Dominique Méry, Neeraj Kumar Singh
2013	B	`conf`	Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. IFM Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
2013	—	`conf`	Transforming Event B Models into Verified C# Implementations. VPT@CAV Dominique Méry, Rosemary Monahan
2012	—	`conf`	Closed-Loop Modeling of Cardiac Pacemaker and Heart. FHIES Dominique Méry, Neeraj Kumar Singh
2012	—	`conf`	Critical systems development methodology using formal techniques. SoICT Dominique Méry, Neeraj Kumar Singh
2012	B	`ed.`	FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings FM Dimitra Giannakopoulou, Dominique Méry
2012	—	`conf`	Handling Heterogeneity in Formal Developments of Hardware and Software Systems. ISoLA (2) Yamine Aït Ameur, Dominique Méry
2012	C	`conf`	Revisiting Snapshot Algorithms by Refinement-Based Techniques. PDCAT Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
2011	J	`jnl`	A generic framework: from modeling to code. Innov. Syst. Softw. Eng. Dominique Méry, Neeraj Kumar Singh
2011	C	`conf`	Analysis of DSR Protocol in Event-B. SSS Dominique Méry, Neeraj Kumar Singh
2011	—	`conf`	Automatic code generation from event-B models. SoICT Dominique Méry, Neeraj Kumar Singh
2011	—	`conf`	Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. FHIES Dominique Méry, Neeraj Kumar Singh
2011	—	`conf`	Medical Protocol Diagnosis Using Formal Methods. FHIES Dominique Méry, Neeraj Kumar Singh
2011	B	`conf`	Refinement-Based Verification of Local Synchronization Algorithms. FM Dominique Méry, Mohamed Mosbah, Mohamed Tounsi
2010	B	`ed.`	Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings IFM Dominique Méry, Stephan Merz
2010	Misc	`conf`	Proof-Based Design of Security Protocols. CSR Nazim Benaïssa, Dominique Méry
2010	J	`jnl`	Proving Distributed Algorithms by Combining Refinement and Local Computations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
2010	—	`conf`	Real-Time Animation for Formal Specification. CSDM Dominique Méry, Neeraj Kumar Singh
2010	—	`conf`	Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. ISoLA (1) Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels
2010	—	`conf`	Trustable Formal Specification for Software Certification. ISoLA (2) Dominique Méry, Neeraj Kumar Singh
2009	J	`jnl`	A simple refinement-based method for constructing algorithms. ACM SIGCSE Bull. Dominique Méry
2009	—	`conf`	Cryptographic Protocols Analysis in Event B. Ershov Memorial Conference Nazim Benaïssa, Dominique Méry
2009	—	`conf`	Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development. Rigorous Methods for Software Construction and Analysis Dominique Cansell, Dominique Méry
2009	J	`jnl`	Refinement-Based Guidelines for Algorithmic Systems. Int. J. Softw. Informatics Dominique Méry
2009	J	`jnl`	System-on-chip design by proof-based refinement. Int. J. Softw. Tools Technol. Transf. Dominique Cansell, Dominique Méry, Cyril Proch
2007	B	`conf`	Formal verification of tamper-evident storage for e-voting. SEFM Dominique Cansell, J. Paul Gibson, Dominique Méry
2007	—	`conf`	Integration of Security Policy into System Modeling. B Nazim Benaïssa, Dominique Cansell, Dominique Méry
2007	Misc	`conf`	Proved-Patterns-Based Development for Structured Programs. CSR Dominique Cansell, Dominique Méry
2007	J	`jnl`	Specification and Refinement of Access Control. J. Univers. Comput. Sci. Dominique Méry, Stephan Merz
2007	—	`conf`	Time Constraint Patterns for Event B Development. B Dominique Cansell, Dominique Méry, Joris Rehm
2006	J	`jnl`	Event Systems and Access Control CoRR Dominique Méry, Stephan Merz
2006	J	`jnl`	Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm. Theor. Comput. Sci. Dominique Cansell, Dominique Méry
2006	—	`conf`	Incremental Parametric Development of Greedy Algorithms. AVoCS Dominique Cansell, Dominique Méry
2006	—	`conf`	Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. FMIS@ICFEM Dominique Cansell, J. Paul Gibson, Dominique Méry
2005	—	`conf`	Refinement and Reachability in Event ZB Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
2004	C	`conf`	Derivation of SystemC code from abstract system models. FDL Dominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch
2003	J	`jnl`	A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. Formal Aspects Comput. Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
2003	—	`conf`	Formal Derivation of Spanning Trees Algorithms. ZB Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
2003	J	`jnl`	Foundations of the B Method. Comput. Artif. Intell. Dominique Cansell, Dominique Méry
2003	C	`conf`	Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . FDL Dominique Cansell, Dominique Méry, Cyril Proch
2002	J	`jnl`	Editorial Note. Formal Methods Syst. Des. Dominique Méry, Beverly A. Sanders
2002	—	`conf`	Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen
2001	J	`jnl`	Diagram Refinements for the Design of Reactive Systems. J. Univers. Comput. Sci. Dominique Cansell, Dominique Méry, Stephan Merz
2001	—	`conf`	Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. GI Jahrestagung (1) Dominique Cansell, Dominique Méry, Stephan Merz
2000	—	`conf`	A Taxonomy for Triggered Interactions Using Fair Object Semantics. FIW J. Paul Gibson, Geoff W. Hamilton, Dominique Méry
2000	—	`conf`	Abstraction and refinement of features. FIREworks Dominique Cansell, Dominique Méry
2000	—	`conf`	Playing with Abstraction and Refinement for Managing Features Interactions. ZB Dominique Cansell, Dominique Méry
2000	B	`conf`	Predicate Diagrams for the Verification of Reactive Systems. IFM Dominique Cansell, Dominique Méry, Stephan Merz
2000	—	`conf`	Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification. IPDPS Workshops Dominique Cansell, Dominique Méry, Christophe Tabacznyj
2000	—	`conf`	Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). IPDPS Workshops Beverly A. Sanders, Dominique Méry
1999	B	`conf`	Abstract Animator for Temporal Specifications: Application to TLA. SAS Dominique Cansell, Dominique Méry
1999	—	`conf`	Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. Ershov Memorial Conference J. Paul Gibson, Dominique Méry
1999	B	`conf`	Integration Problems in Telephone Feature Requirements. IFM J. Paul Gibson, Geoff W. Hamilton, Dominique Méry
1999	—	`ed.`	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 IPPS/SPDP Workshops 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 C. 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
1999	B	`conf`	Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. IFM Dominique Méry
1998	A*	`conf`	An Experiment in Parallelizing an Application Using Formal Methods. CAV Raphaël Couturier, Dominique Méry
1998	—	`conf`	Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method. B Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley
1998	—	`conf`	Service specifications: to B, or not to B. FMSP Bruno Mermet, Dominique Méry
1998	—	`conf`	Teaching Formal Methods: Lessons to Learn. IWFM J. Paul Gibson, Dominique Méry
1997	—	`conf`	Feature Interactions: A Mixed Semantic Model Approach. IWFM J. Paul Gibson, Bruno Mermet, Dominique Méry
1997	C	`conf`	Incremental Specification of Telecommunication Services. ICFEM Bruno Mermet, Dominique Méry
1997	B	`conf`	Safe combinations of services using B. SAFECOMP Bruno Mermet, Dominique Méry
1997	—	`conf`	Telephone feature verification: Translating SDL to TLA+. SDL Forum Dominique Méry, J. Paul Gibson
1995	J	`jnl`	On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. Theor. Comput. Sci. Abdelillah Mokkedem, Dominique Méry
1994	—	`conf`	A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. ICTL Abdelillah Mokkedem, Dominique Méry
1993	—	`conf`	A Proof Environment for Concurrent Programs. FME Naima Brown, Dominique Méry
1993	—	`conf`	On Using a Composition Principle to Design Parallel Programs. AMAST Abdelillah Mokkedem, Dominique Méry
1993	—	`conf`	Towards an Integrated Environment for Concurrent programs Development. AMAST Naima Brown, Dominique Méry
1992	A*	`conf`	Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. CAV Dominique Méry, Abdelillah Mokkedem
1992	J	`jnl`	The N U System as a Development System for Concurrent Programs: delta N U. Theor. Comput. Sci. Dominique Méry
1988	—	`conf`	Temporal Specifications Directed by Grammar and Design of Process Networks. Specification and Verification of Concurrent Systems Francois D. Carrez, Dominique Méry
1987	J	`jnl`	Méthode Axiomatique Pour Les Propriétés De Fatalité Des Programmes Parallèles. RAIRO Theor. Informatics Appl. Dominique Méry
1986	B	`conf`	A Proof System to Derive Evantually Properties Under Justice Hypothesis. MFCS Dominique Méry