Publications – Dominique MÉRY

Publications HAL de dominique,mery

2024

Journal articles

titre: An automotive case study
auteur: Alexander Raschke, Dominique Méry
article: International Journal on Software Tools for Technology Transfer, 2024, 26 (3), pp.327-330. ⟨10.1007/s10009-024-00753-2⟩
Accès au bibtex

Conference papers

titre: Checking Contracts in Event-B
auteur: Dominique Méry
article: Formal Methods Teaching – 6th Formal Methods Teaching Workshop, FMTea 2024, Emil Sekerinski; Leila Ribeiro, Sep 2024, Milan, Italy. pp.91-105, ⟨10.1007/978-3-031-71379-8_6⟩
Accès au bibtex

titre: Cyclone: A New Tool for Verifying/Testing Graph-Based Structures
auteur: Hao Wu, Thomas Flinkow, Dominique Méry
article: Tests and Proofs – 18th International Conference, {TAP} 2024, Marieke Huisman; Falk Howar, Sep 2024, MILAN, Italy. pp.107-124
Accès au bibtex

Proceedings

titre: Formal Methods and Software Engineering
auteur: Kazuhiro Ogata, Dominique Méry, Meng Sun, Shaoying Liu
article: Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings, LNCS-15394, Springer Nature Singapore, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-981-96-0617-7⟩
Accès au bibtex

2023

Journal articles

titre: F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
auteur: Neeraj Kumar Singh, Yamine Aït-Ameur, Ismail Mendil, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
article: Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Accès au bibtex

titre: Formal domain-driven system development in Event-B: Application to interactive critical systems
auteur: Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe Palanque
article: Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Accès au bibtex

titre: SAP: A Secure Low-Latency Protocol for Mitigating High Computation Overhead in WI-FI Networks
auteur: Vineeta Jain, Ulf Wetzker, Vijay Laxmi, Manoj Singh Gaur, Mohamed Mosbah, Dominique Méry
article: IEEE Access, 2023, 11, pp.84620-84635. ⟨10.1109/ACCESS.2023.3302529⟩
Accès au bibtex

Proceedings

titre: Rigorous State-Based Methods – 9th International Conference, ABZ 2023, Nancy, France, May 30 – June 2, 2023, Proceedings
auteur: Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque
article: Lecture Notes in Computer Science, 14010, Springer Nature Switzerland, 2023, 978-3-031-33162-6. ⟨10.1007/978-3-031-33163-3⟩
Accès au bibtex

Preprints, Working Papers, …

titre: From System Events to Software Operations for Refinement-based Modeling of Hybrid Systems *
auteur: Zheng Cheng, Dominique Méry
article: 2023
Accès au texte intégral et bibtex

titre: A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions
auteur: Zheng Cheng, Dominique Méry
article: 2023
Accès au texte intégral et bibtex

2022

Journal articles

titre: Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July – 1 August 2019, Guilin, China
auteur: Dominique Méry, Shengchao Qin
article: Science of Computer Programming, 2022, 218, pp.102804. ⟨10.1016/j.scico.2022.102804⟩
Accès au bibtex

titre: Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020
auteur: Dominique Méry, Alexander Raschke
article: Science of Computer Programming, 2022, 216, pp.102780. ⟨10.1016/j.scico.2022.102780⟩
Accès au bibtex

titre: The central role of data repositories and data models in Data Science and Advanced Analytics
auteur: Ladjel Bellatreche, Carlos Ordonez, Dominique Méry, Matteo Golfarelli, El Hassan Abdelwahed
article: Future Generation Computer Systems, 2022, 129, pp.13-17. ⟨10.1016/j.future.2021.11.027⟩
Accès au bibtex

Conference papers

titre: Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
auteur: Ismail Mendil, Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
article: 29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, Virtual conference, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Accès au texte intégral et bibtex

Book sections

titre: Empowering the Event-B Method Using External Theories
auteur: Yamine Aït-Ameur, Ismail Mendil, Guillaume Dupont, Dominique Méry, Marc Pantel, Peter Riviere, Neeraj Kumar Singh
article: Integrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Accès au bibtex

2021

Journal articles

titre: On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications
auteur: Neeraj Kumar Singh, Yamine Aït-Ameur, Romain Geniet, Dominique Méry, Philippe Palanque
article: Interacting with Computers, 2021, ⟨10.1093/iwcomp/iwab016⟩
Accès au bibtex

Conference papers

titre: Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
auteur: Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
article: 7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Accès au texte intégral et bibtex

titre: Standard Conformance-by-Construction with Event-B
auteur: Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
article: FMICS 2021 – 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Accès au texte intégral et bibtex

titre: A Refinement Strategy for Hybrid System Design with Safety Constraints
auteur: Zheng Cheng, Dominique Méry
article: MEDI 2021 – 10th International Conference Model and Data Engineering, Jun 2021, Tallinn, Estonia. pp.3-17, ⟨10.1007/978-3-030-78428-7_1⟩
Accès au bibtex

titre: Refinement-based Construction of Correct Distributed Algorithms
auteur: Dominique Méry
article: ICI2ST 2021 – 2nd International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador. ⟨10.1109/ICI2ST51859.2021.00015⟩
Accès au texte intégral et bibtex

Book sections

titre: Towards Leveraging Domain Knowledge in State-Based Formal Methods
auteur: Yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
article: Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
Accès au bibtex

titre: Contextual Dependency in State-based Modelling
auteur: Dominique Méry, Souad Kherroubi
article: Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_9⟩
Accès au bibtex

titre: Formal Ontological Analysis for Medical Protocols
auteur: Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry
article: Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
Accès au bibtex

Books

titre: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
auteur: Yamine Aït-Ameur, Shin Nakajima, Dominique Méry
article: Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩
Accès au bibtex

Proceedings

titre: MEMOCODE ’21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
auteur: Arunkumar S, Dominique Méry, Indranil Saha, Lijun Zhang
article: MEMOCODE ’21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Nov 2021, Virtual, China. ACM, 2021, 978-1-4503-9127-6. ⟨10.1145/3487212⟩
Accès au bibtex

titre: Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
auteur: Alexander Raschke, Dominique Méry
article: ABZ 2021 – 8th International Conference on Rigorous State Based Methods, Jun 2021, Ulm, Germany. 12709, Springer International Publishing, 2021, Lecture Notes in Computer Science, 978-3-030-77543-8. ⟨10.1007/978-3-030-77543-8⟩
Accès au bibtex

2020

Conference papers

titre: An Integrated Framework for the Formal Analysis of Critical Interactive Systems
auteur: Ismail Mendil, Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, Philippe Palanque
article: The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Accès au bibtex

titre: Generating Distributed Programs from Event-B Models
auteur: Horatiu Cirstea, Alexis Grall, Dominique Méry
article: International Workshop on Verification and Program Transformation, Apr 2020, Dublin, Ireland. pp.110-124, ⟨10.4204/EPTCS.320.8⟩
Accès au bibtex

Proceedings

titre: Rigorous State-Based Methods – 7th International Conference, {ABZ} 2020, Ulm, Germany, May 27-29, 2020, Proceedings
auteur: Alexander Raschke, Dominique Méry, Frank Houdek
article: Alexander Raschke; Dominique Méry; Frank Houdek. ABZ 2020, May 2020, ULM, Germany. Lecture Notes in Computer Science (12071), Springer, 2020, Rigorous State-Based Methods – 7th International Conference, {ABZ} 2020, Ulm, Germany, May 27-29, 2020, Proceedings, 978-3-030-48076-9
Accès au bibtex

Reports

titre: A Refinement Strategy for Hybrid System Design with Safety Constraints
auteur: Zheng Cheng, Dominique Méry
article: [Research Report] Université de Lorraine; INRIA; CNRS. 2020
Accès au texte intégral et bibtex

titre: Generating Distributed Programs from Event-B Models
auteur: Horatiu Cirstea, Alexis Grall, Dominique Méry
article: [Research Report] LORIA UMR 7503 CNRS, INRIA, Université de LORRAINE. 2020, pp.36
Accès au texte intégral et bibtex

2019

Conference papers

titre: Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
auteur: Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
article: 7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Accès au texte intégral et bibtex

titre: Verification by Construction of Distributed Algorithms
auteur: Dominique Méry
article: Theoretical Aspects of Computing – {ICTAC} 2019 – 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩
Accès au bibtex

Proceedings

titre: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)
auteur: Dominique Méry, Shengchao Qin
article: Dominique Méry and Shengchao Qin. Theoretical Aspects of Software Engineering (TASE), Guillin, China. IEEE, 2019, 978-1-7281-3342-3
Accès au bibtex

2018

Conference papers

titre: Formal Ontology Driven Model Refactoring
auteur: Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Mery
article: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩
Accès au texte intégral et bibtex

titre: Modelling by Patterns for Correct-by-Construction Process.
auteur: Dominique Méry
article: ISOLA 2018 – 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.399-423
Accès au bibtex

titre: Virtual environment design as automated « physiological » counter-measures in extreme environment: from intensive care to human space flight.
auteur: Didier Fass, Bruno Levy, Pierre Perez, Dominique Méry
article: AHFE 2018 – Human Factors and Simulation, Jul 2018, Orlando, United States
Accès au texte intégral et bibtex

titre: On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B
auteur: Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, John Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand Oussaid, Neeraj Kumar Singh, Laurent Voisin
article: 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425–430, ⟨10.1007/978-3-319-91271-4_35⟩
Accès au texte intégral et bibtex

Special issue

titre: New Trends in Model and Data Engineering
auteur: El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez
article: MEDI 2018 – International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. Communications in Computer and Information Science, Communications in Computer and Information Science (929), 2018, 978-3-030-02851-0. ⟨10.1007/978-3-030-02852-7⟩
Accès au bibtex

titre: 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)
auteur: Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna
article: Electronic Proceedings in Theoretical Computer Science, 271, 2018, ⟨10.4204/EPTCS.271⟩
Accès au bibtex

Proceedings

titre: Model and Data Engineering. 8th International Conference, MEDI 2018, Proceedings
auteur: El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez
article: Springer, 2018, Lecture Notes in Computer Science, 978-3-030-00855-0. ⟨10.1007/978-3-030-00856-7⟩
Accès au bibtex

2017

Journal articles

titre: Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
auteur: Dominique Méry, Mike Poppleton
article: Software and Systems Modeling, 2017, 16 (4), pp.1083–1115. ⟨10.1007/s10270-015-0504-y⟩
Accès au bibtex

titre: Playing with State-Based Models for Designing Better Algorithms
auteur: Dominique Méry
article: Future Generation Computer Systems, 2017, 68, pp.445-455. ⟨10.1016/j.future.2016.04.019⟩
Accès au bibtex

Conference papers

titre: Explicit modelling of physical measures: from Event-B to Java
auteur: John Paul Gibson, Dominique Méry
article: IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64 – 79, ⟨10.4204/EPTCS.271.5⟩
Accès au texte intégral et bibtex

titre: Contextualization and Dependency in State-Based Modelling – Application to Event-B
auteur: Souad Kherroubi, Dominique Méry
article: MEDI 2017 – International Conference on Model and Data Engineering, Oct 2017, Barcelona, Spain. pp.137–152, ⟨10.1007/978-3-319-66854-3_11⟩
Accès au bibtex

titre: Applying a Dependency Mechanism for Voting Protocol Models Using Event-B
auteur: Paul J. Gibson, Souad Kherroubi, Dominique Méry
article: 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩
Accès au texte intégral et bibtex

titre: A Formal Approach for Maintaining Forest Topologies in Dynamic Networks
auteur: Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Dominique Méry
article: ICIS 2017 – 16th IEEE/ACIS International Conference on Computer and Information Science, May 2017, Wuhan, China. pp.123-137, ⟨10.1007/978-3-319-60170-0_9⟩
Accès au bibtex

Special issue

titre: Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016
auteur: Catherine Dubois, Paolo Masci, Dominique Méry
article: Nov 2016, Cyprus. Electronic Proceedings in Theoretical Computer Science, 240, 2017, ⟨10.4204/EPTCS.240⟩
Accès au bibtex

2016

Journal articles

titre: Making explicit domain knowledge in formal system development
auteur: Yamine Aït-Ameur, Dominique Méry
article: Science of Computer Programming, 2016, 121 (100–127), ⟨10.1016/j.scico.2015.12.004⟩
Accès au bibtex

titre: From Event-B specifications to programs for distributed algorithms
auteur: Mohamed Mosbah, Mohamed Tounsi, Dominique Mery
article: International journal of autonomous and adaptive communications systems, 2016, 9 (3-4), pp.223 – 242. ⟨10.1504/IJAACS.2016.079623⟩
Accès au bibtex

Conference papers

titre: On two Friends for getting Correct Programs Automatically Translating Event B Specifications to Recursive Algorithms in Rodin
auteur: Dominique Méry, Rosemary Monahan, Cheng Zheng
article: ISOLA 2016 , Bernhard Steffen and Tiziana Margaria, Oct 2016, CORFU, Greece. pp.18, ⟨10.1007/978-3-319-47166-2_57⟩
Accès au bibtex

titre: Modelling bio-compatible and bio-integrative medical devices
auteur: Didier Fass, Dominique Méry
article: European & Asian System, Software & Service Process Improvement & Innovation – EUROSPII 2016, Sep 2016, Graz, Austria
Accès au texte intégral et bibtex

Book sections

titre: Incremental Proof-Based Development for Resilient Distributed Systems
auteur: Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article: Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
Accès au bibtex

2015

Conference papers

titre: Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study
auteur: Dominique Méry, Sawant Rushikesh, Anton Tarasyuk
article: Model and Data Engineering – 5th International Conference, MEDI 2015, Sep 2015, Rhodes, Greece. pp.89-102
Accès au bibtex

titre: Analyzing Requirements Using Environment Modelling
auteur: Dominique Mery, Neeraj Kumar Singh
article: DHM 2015 – 6th International Conference on Digital Human Modeling Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, Aug 2015, Los Angeles, United States. pp.345-357, ⟨10.1007/978-3-319-21070-4_35⟩
Accès au texte intégral et bibtex

titre: Integrated human systems design : bridging the gap between formal and experimental approaches
auteur: Didier Fass, Dominique Méry
article: NASA AMES Research Center, Human Systems Integration Division,, 2015, MOFETT FIELD – Etats-Unis d’Amérique, Unknown Region
Accès au bibtex

Books

titre: Second International Workshop on Formal Integrated Development Environment
auteur: Catherine Dubois, Paolo Masci, Dominique Méry
article: EPTCS, 187, 2015, EPTCS ⟨10.4204/EPTCS.187⟩
Accès au bibtex

2014

Journal articles

titre: Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)
auteur: Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article: Computer Science and Information Systems, 2014, Computer Science and Information System, 11 (1), pp.251-270. ⟨10.2298/CSIS130122007A⟩
Accès au bibtex

titre: The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
auteur: Dominique Méry, Bernhard Schätz, Alan Wassyng
article: Dagstuhl Reports, 2014, 4 (2), pp.17–37
Accès au bibtex

Conference papers

titre: Formal Evaluation of Landing Gear System
auteur: Dominique Méry, Neeraj Kumar Singh
article: SoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam
Accès au bibtex

titre: On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
auteur: Yamine Aït-Ameur, John Paul Gibson, Dominique Méry
article: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation – Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩
Accès au texte intégral et bibtex

titre: Playing with State-Based Models for Designing Better Algorithms
auteur: Dominique Méry
article: Model and Data Engineering – 4th International Conference, MEDI 2014, Sep 2014, Larrnaca, Greece. pp.1-3
Accès au bibtex

titre: The Semantics of Refinement Chart
auteur: Dominique Méry, Neeraj Kumar Singh
article: HCI International, Jun 2014, Heraklion, Greece. pp.415-426, ⟨10.1007/978-3-319-07725-3_42⟩
Accès au bibtex

titre: Modeling an Aircraft Landing System in Event-B
auteur: Dominique Méry, Neeraj Kumar Singh
article: ABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159
Accès au bibtex

titre: Analysis of Self-* and P2P Systems using Refinement
auteur: Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article: ABZ 2014 – 4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z, Yamine AIT AMEUR and Klaus-Dieter SCHEWE, Jun 2014, Toulouse, France. pp.117-123, ⟨10.1007/978-3-662-43652-3_9⟩
Accès au bibtex

Book sections

titre: Event B (english version)
auteur: Neeraj Kumar Singh, Dominique Méry
article: Jean-Louis Boulanger. Formal Methods Applied to Complex Systems, Wiley, 2014, Formal Methods Applied to Complex Systems, 9781119002727. ⟨10.1002/9781119002727.ch10⟩
Accès au bibtex

Books

titre: Proceedings 1st Workshop on Formal Integrated Development Environment
auteur: Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry
article: Catherine Dubois; Dimitra Giannakopoulou; Dominique Méry. EPTCS, 149, pp.105, 2014, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.149⟩
Accès au bibtex

Proceedings

titre: Theoretical Aspects of Computing – ICTAC 2014
auteur: Gabriel Ciobanu, Dominique Méry
article: Gabriel Ciobanu; Dominique Méry. Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, Sep 2014, Bucharest, Romania. 8687, Springer, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-10882-7⟩
Accès au bibtex

Reports

titre: Modelling an Aircraft Landing System in Event-B (Full Report)
auteur: Dominique Méry, Neeraj Kumar Singh
article: [Research Report] 2014
Accès au texte intégral et bibtex

titre: Analysis of Self-* and P2P Systems using Reﬁnement (Full Report)
auteur: Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article: [Research Report] 2014
Accès au texte intégral et bibtex

2013

Journal articles

titre: Spécification d’exigences physico-physiologiques d’interaction homme-machine en ingénierie système
auteur: Gérard Morel, Jean-Marc Dupont, Romain Lieber, Fabien Bouffaron, Dominique Méry, Frédérique Mayer, Jean-Luc Marty
article: Génie logiciel : le magazine de l’ingénierie du logiciel et des systèmes, 2013, Mars 2013 (104), pp.29-39
Accès au texte intégral et bibtex

titre: Formal Speciﬁcation of Medical Systems by Proof-Based Reﬁnement
auteur: Dominique Méry, Neeraj Kumar Singh
article: ACM Transactions on Embedded Computing Systems (TECS), 2013, 12 (1), pp.15. ⟨10.1145/2406336.2406351⟩
Accès au bibtex

Conference papers

titre: Ideal Mode Selection of a Cardiac Pacing System
auteur: Dominique Méry, Neeraj Kumar Singh
article: 4th International Conference – Digital Human Modeling and applications in Health, Safety, Ergonomics and Risk Management – DHM 2013 (HCI International 2013), Jul 2013, Las Vegas, United States. pp.258-267, ⟨10.1007/978-3-642-39173-6_31⟩
Accès au bibtex

titre: Transforming EVENT B Models into Verified C# Implementations
auteur: Dominique Méry, Monahan Rosemary
article: VPT 2013 – First International Workshop on Verification and Program Transformation, Alexei Lisitsa and Andrei Nemytykh, Jul 2013, Saint Petersburg, Russia. pp.57-73
Accès au bibtex

titre: From Event-B Specifications to Programs for Distributed Algorithms
auteur: Mohammed Tounsi, Mohammed Mosbah, Dominique Méry
article: WETICE 2013: 22th IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises., Jun 2013, Hammamet, Tunisia. ⟨10.1109/WETICE.2013.44⟩
Accès au bibtex

titre: Formal Modelling and Verification of Population Protocols
auteur: Dominique Méry, Mike Poppleton
article: iFM – 10th International Conference on integrated Formal Methods – 2013, Jun 2013, Turku, Finland
Accès au bibtex

titre: Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms
auteur: Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article: iFM – 10th International Conference on integrated Formal Methods – 2013, Jun 2013, Turku, Finland
Accès au bibtex

Book sections

titre: Event B
auteur: Dominique Méry, Neeraj Kumar Singh
article: Jean-Louis Boulanger. Mise en oeuvre de la méthode B, HERMES, 2013, Informatique et Systèmes d’Informations, ISBN : 978-2-7462-3810-7
Accès au bibtex

2012

Conference papers

titre: Formal Verification of Fault Tolerant NoC-based Architecture
auteur: Manamiary Bruno Andriamiarina, Hayat Daoud, Mostefa Belarbi, Dominique Méry, Camel Tanougast
article: First International Workshop on Mathematics and Computer Science (IWMCS2012), Mostefa BELARBI – University of Tiaret – Algeria, Dec 2012, Tiaret, Algeria
Accès au texte intégral et bibtex

titre: Revisiting Snapshot Algorithms by Refinement-based Techniques
auteur: Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh
article: PDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China
Accès au texte intégral et bibtex

titre: Handling Heterogeneity in Formal Developments of Hardware and Software Systems
auteur: Yamine Aït-Ameur, Dominique Méry
article: ISoLA – 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation – 2012, Tiziana Margaria and Bernhard Steffen, Oct 2012, Amirandes, Heraklion, Greece. pp.327-328, ⟨10.1007/978-3-642-34032-1_33⟩
Accès au bibtex

titre: Critical systems development methodology using formal techniques
auteur: Dominique Méry, Neeraj Kumar Singh
article: 3rd International Symposium on Information and Communication Technology – SoICT 2012, Aug 2012, Ha Long, Vietnam. pp.3-12, ⟨10.1145/2350716.2350720⟩
Accès au bibtex

Book sections

titre: Medical Protocol Diagnosis Using Formal Methods
auteur: Dominique Méry, Neeraj Kumar Singh
article: Liu; Zhiming and Wassyng; Alan. Foundations of Health Informatics Engineering and Systems, 7151, Springer Berlin Heidelberg, pp.1-20, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. ⟨10.1007/978-3-642-32355-3_1⟩
Accès au bibtex

titre: Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata
auteur: Dominique Méry, Neeraj Kumar Singh
article: Liu; Zhiming and Wassyng; Alan. Foundations of Health Informatics Engineering and Systems}, 7151, Springer Berlin Heidelberg, pp.140-159, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. ⟨10.1007/978-3-642-32355-3_9⟩
Accès au bibtex

Books

titre: FM 2012: Formal Methods – 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
auteur: Dimitra Giannakopoulou, Dominique Méry
article: Dimitra Giannakopoulou and Dominique Méry. Springer, 7436, pp.488, 2012, LNCS – Lecture Notes in Computer Science, 978-3-642-32758-2. ⟨10.1007/978-3-642-32759-9⟩
Accès au bibtex

Reports

titre: Spécification d’un Processus Technico-Physiologique de Perception de Fermeture et Verrouillage d’un capot moteur en situation de maintenance aéronautique
auteur: Jean-Marc Dupont, Romain Lieber, Gérard Morel, Dominique Méry, Fabien Bouffaron
article: 2012
Accès au bibtex

2011

Journal articles

titre: Proving Distributed Algorithms by Combining Reﬁnement and Local Computations
auteur: Mohamed Tounsi, Mohamed Mosbah, Dominique Méry
article: Electronic Communications of the EASST, 2011, 35, pp.ISSN 1863-2122
Accès au bibtex

titre: A generic framework: from modeling to code
auteur: Dominique Méry, Neeraj Kumar Singh
article: Innovations in Systems and Software Engineering (ISSE), 2011, pp.1-9
Accès au bibtex

Conference papers

titre: Formal Development and Automatic Code Generation : Cardiac Pacemaker
auteur: Dominique Méry, Neeraj Kumar Singh
article: International Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China
Accès au bibtex

titre: Automatic Code Generation from Event-B Models
auteur: Dominique Méry, Neeraj Kumar Singh
article: SoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam
Accès au bibtex

titre: Analysis of DSR Protocol in Event-B
auteur: Dominique Méry, Neeraj Kumar Singh
article: 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.401-415
Accès au bibtex

titre: EB2J : Code Generation from Event-B to Java
auteur: Dominique Méry, Neeraj Kumar Singh
article: SBMF – Brazilian Symposium on Formal Methods, CBSoft – Brazilian Conference on Software: Theory and Practice, Sep 2011, São Paulo, Brazil
Accès au bibtex

titre: Medical Protocol Diagnosis using Formal Methods
auteur: Dominique Méry, Neeraj Kumar Singh
article: International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa
Accès au bibtex

titre: Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata
auteur: Dominique Méry, Neeraj Kumar Singh
article: International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa
Accès au bibtex

titre: Refinement-based Verification of Local Synchronization Algorithms
auteur: Dominique Méry, Mohamed Mosbah, Mohamed Tounsi
article: 17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Jun 2011, Limerick, Ireland. à paraître
Accès au bibtex

Book sections

titre: Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et Validation
auteur: Dominique Méry, Didier Fass
article: Francis JANOT. La Dame d’Antinoé : une « momie » au Château de Lunéville, Presse universitaire de Nancy, pp.132, 2011, Archéologie, Espaces, Patrimoines, 978-2-8143-0088-0
Accès au texte intégral et bibtex

Reports

titre: Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata
auteur: Dominique Méry, Neeraj Kumar Singh
article: [Technical Report] 2011
Accès au texte intégral et bibtex

titre: Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report)
auteur: Manamiary Bruno Andriamiarina, Dominique Méry
article: [Technical Report] LORIA – Université de Lorraine. 2011, pp.90
Accès au texte intégral et bibtex

titre: Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods
auteur: Dominique Méry, Neeraj Kumar Singh
article: [Technical Report] 2011
Accès au texte intégral et bibtex

Preprints, Working Papers, …

titre: Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract)
auteur: Manamiary Bruno Andriamiarina, Dominique Méry
article: 2011
Accès au texte intégral et bibtex

2010

Journal articles

titre: Functional Behavior of a Cardiac Pacing System
auteur: Dominique Méry, Neeraj Kumar Singh
article: International Journal of Discrete Event Control Systems (IJDECS), 2010
Accès au bibtex

Conference papers

titre: Real-Time Animation for Formal Specification
auteur: Dominique Méry, Neeraj Kumar Singh
article: Complex Systems Design & Management 2010, Oct 2010, Paris, France. pp.49-60, ⟨10.1007/978-3-642-15654-0_3⟩
Accès au texte intégral et bibtex

titre: Trustable Formal Specification for Software Certification
auteur: Dominique Méry, Neeraj Kumar Singh
article: 4th International Symposium On Leveraging Applications of Formal Methods – ISOLA 2010, Oct 2010, Heraklion, Crete, Greece. pp.312-326, ⟨10.1007/978-3-642-16561-0_31⟩
Accès au bibtex

titre: Proving Distributed Algorithms by Combining Refinement and Local Computations
auteur: Dominique Méry, Mohammed Mosbah, Mohammed Tounsi
article: AVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, Sep 2010, Dusseldorf, Germany
Accès au bibtex

titre: Proof-Based Design of Security Protocols
auteur: Nazim Benaissa, Dominique Méry
article: 5th International Computer Science Symposium in Russia, CSR 2010, Farid Ablayev, Jun 2010, KAZAN, Russia. pp.25-36
Accès au bibtex

Other publications

titre: EB2C : A Tool for Event-B to C Conversion Support
auteur: Dominique Méry, Neeraj Kumar Singh
article: 2010
Accès au texte intégral et bibtex

Books

titre: Integrated Formal Methods
auteur: Dominique Méry, Stephan Merz
article: Dominique Méry and Stephan Merz. Springer, 6396, pp.335, 2010, Lecture Notes in Computer Science, 978-3-642-16264-0. ⟨10.1007/978-3-642-16265-7⟩
Accès au bibtex

Reports

titre: Technical Report on Formal Development of Two-Electrode Cardiac Pacing System
auteur: Dominique Méry, Neeraj Kumar Singh
article: [Research Report] 2010
Accès au texte intégral et bibtex

2009

Journal articles

titre: Reﬁnement-Based Guidelines for Algorithmic Systems
auteur: Dominique Méry
article: International Journal of Software and Informatics (IJSI), 2009, 3 (2-3), pp.197-239
Accès au bibtex

titre: A Simple Refinement-based Method for Constructing Algorithms
auteur: Dominique Méry
article: Sigcse Bulletin, 2009, inroads — SIGCSE Bulletin, 41 (2), pp.51-59. ⟨10.1145/1595453.1595462⟩
Accès au bibtex

titre: System-on-chip design by proof-based reﬁnement
auteur: Dominique Cansell, Dominique Méry, Cyril Proch
article: International Journal on Software Tools for Technology Transfer, 2009, 11 (3), pp.217-238. ⟨10.1007/s10009-009-0104-7⟩
Accès au bibtex

Conference papers

titre: Cryptologic protocols analysis using proof-based patterns
auteur: Nazim Benaissa, Dominique Méry
article: Seventh International Andrei Ershov Memorial Conference « PERSPECTIVES OF SYSTEM INFORMATICS » – PSI 2009, Jun 2009, Novosibirsk, Russia
Accès au bibtex

titre: Cryptographic Protocols Analysis in Event B
auteur: Nazim Benaissa, Dominique Méry
article: Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» – PSI 2009, Jun 2009, Novosibisrk, Russia
Accès au bibtex

titre: A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems
auteur: Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Dominique Méry
article: Integration of Model-based Formal Methods and Tools – IM_FMT’2009 – in IFM’2009, Feb 2009, Düsseldorf, Germany
Accès au bibtex

titre: Développement combiné et prouvé de systèmes transactionnels cryptologiques
auteur: Nazim Benaissa, Dominique Méry
article: Approches Formelles dans l’Assistance au Développement de Logiciels – AFADL 2009, Jan 2009, Toulouse, France
Accès au texte intégral et bibtex

Reports

titre: AA4MM coordination model and event-B specification
auteur: Julien Siebert, Joris Rehm, Vincent Chevrier, Laurent Ciarletta, Dominique Méry
article: [Research Report] RR-7081, INRIA. 2009, pp.22
Accès au texte intégral et bibtex

titre: Pacemaker’s Functional Behaviors in Event-B
auteur: Dominique Méry, Neeraj Kumar Singh
article: [Research Report] 2009
Accès au texte intégral et bibtex

2008

Journal articles

titre: Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
auteur: Dominique Cansell, Paul Gibson, Dominique Méry
article: Electronic Notes in Theoretical Computer Science, 2008, 183, pp.39-55. ⟨10.1016/j.entcs.2007.01.060⟩
Accès au bibtex

Conference papers

titre: Teaching programming methodology using Event B
auteur: Dominique Méry
article: The B Method: from Research to Teaching, Henri Habrias, Jul 2008, Nantes, France
Accès au texte intégral et bibtex

Book sections

titre: The Event-B Modelling Method – Concepts and Case Studies
auteur: Dominique Cansell, Dominique Méry
article: Dines Bjoerner and Martin Henson. Logics of Specification Languages, Springer, pp.33-140, 2008, Monographs in Theoretical Computer Science
Accès au bibtex

Proceedings

titre: From Research to Teaching Formal Methods: The B Method (TFM-B’2008)
auteur: Christian Attiogbe, Henri Habrias, Frédéric Dadeau, Jacques Julliand, Regis Tissot, Michaël Leuschel, Mireille Samia, Jens Bendisposto, Li Luo, Dominique Méry, Mathieu Clabaut, Florian Bastien, Marc Guyomard, P. Alain, A. Hadjali, H. Jaudoin, G. Smits, Steve Dunne, Anthony Howitt, Guy Vidal-Naquet, Joanna Tomasik, Bill Stoddart, Keerthi Rajendren, Simon Lynch
article: The B Method: from Research to Teaching, Jun 2008, Nantes (France), France. Université de Nantes, pp.163, 2008, 978-2-9512461-2-9
Accès au texte intégral et bibtex

Reports

titre: Intégration de contraintes temps-réel au sein d’un processus de développement incrémental basé sur la preuve (Livrable 2)
auteur: Dominique Cansell, Dominique Méry, Joris Rehm
article: [Rapport de recherche] 2008
Accès au texte intégral et bibtex

titre: Développement incrémental prouvé de systèmes répartis : le cas Mondex
auteur: Nazim Benaissa, Dominique Méry
article: [Rapport de recherche] 2008, pp.13
Accès au texte intégral et bibtex

2007

Journal articles

titre: Patrons de conception prouvés
auteur: Thierry Lecomte, Dominique Méry, Dominique Cansell
article: Génie logiciel : le magazine de l’ingénierie du logiciel et des systèmes, 2007, Ingénierie dirigée par les modèles, 81 (juin 2007), pp.14-18
Accès au bibtex

titre: Incremental Parametric Development of Greedy Algorithms
auteur: Dominique Cansell, Dominique Méry
article: Electronic Notes in Theoretical Computer Science, 2007, roceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), 185, pp.47-62. ⟨10.1016/j.entcs.2007.05.028⟩
Accès au bibtex

titre: Specification and Refinement of Access Control
auteur: Dominique Méry, Stephan Merz
article: Journal of Universal Computer Science, 2007, 13 (8), pp.1073-1093
Accès au bibtex

Conference papers

titre: Formal verification of tamper-evident storage for e-voting
auteur: Dominique Cansell, Paul Gibson, Dominique Méry
article: 5th IEEE International Conference on Software Engineering and Formal Methods – SEFM 2007, Sep 2007, LONDON, United Kingdom. pp.329-338, ⟨10.1109/SEFM.2007.21⟩
Accès au texte intégral et bibtex

titre: Proved-Patterns-Based Development for Structured Programs.
auteur: Dominique Cansell, Dominique Méry
article: Computer Science – Theory and Applications, Second International, Symposium on Computer Science in Russia – CSR 2007, Ural State University (USU) ; Institute of Mathematics and Mechanics of Ural Branch of Russian Academy of Sciences, Sep 2007, Ekaterinburg, Russia. pp.104-114, ⟨10.1007/978-3-540-74510-5_13⟩
Accès au bibtex

titre: Integration of Security Policy into System Modeling
auteur: Nazim Benaissa, Dominique Cansell, Dominique Mery
article: The 7th International B Conference – B2007, Jan 2007, Besançon, France
Accès au bibtex

titre: Time Constraint Patterns for Event B Development
auteur: Dominique Cansell, Dominique Méry, Joris Rehm
article: 7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. pp.140-154, ⟨10.1007/11955757_13⟩
Accès au texte intégral et bibtex

Book sections

titre: Designing old and new distributed algorithms by replaying an incremental proof-based development
auteur: Dominique Cansell, Dominique Méry
article: Jean-Raymond Abrial and Uwe Glässer. Festschrift for Egon Börger, Springer-Verlag, 2007, LNCS
Accès au bibtex

2006

Journal articles

titre: Formal and Incremental Construction of Distributed Algorithms: On the Distributed Reference Counting Algorithm
auteur: Dominique Cansell, Dominique Méry
article: Theoretical Computer Science, 2006, ⟨10.1016/j.tcs.2006.08.015⟩
Accès au bibtex

Conference papers

titre: Incremental Parametric Development of Greedy Algorithms
auteur: Dominique Cansell, Dominique Méry
article: 6th International Workshop on Automatic Verification of Critical Systems – AVoCS 2006, Sep 2006, Nancy, France. pp.48-62
Accès au texte intégral et bibtex

titre: Formal specification of safe manufacturing machines using the B method : application to a mechanical press
auteur: Dominique Evrot, Jean-François Pétin, Dominique Méry
article: May 2006, pp.CDROM
Accès au bibtex

titre: Event Systems and Access Control
auteur: Dominique Méry, Stephan Merz
article: Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, Mar 2006, Vienna/Austria, pp.40-54
Accès au texte intégral et bibtex

Book sections

titre: Event B
auteur: Dominique Cansell, Dominique Méry
article: Henri Habrias and Marc Frappier. Software Specification Methods, HERMES, 2006, 1-905209-34-7
Accès au bibtex

Lectures

titre: Tutorial on the event-based B method
auteur: Dominique Cansell, Dominique Méry
article: IFIP FORTE 2006 Paris, 2006
Accès au texte intégral et bibtex

2005

Journal articles

titre: The challenge of QoS for digital television services
auteur: Dominique Méry, Dominique Cansell, Cyril Proch, Denis Abraham, Patrick Ditsch
article: EBU Technical Review, 2005, 302 (Avril), 11 p
Accès au bibtex

titre: Un système d’analyse de la qualité: de la norme au produit en passant par le raffinement
auteur: Dominique Cansell, Dominique Méry, Cyril Proch
article: Génie logiciel : le magazine de l’ingénierie du logiciel et des systèmes, 2005, 73, pp.44-50
Accès au texte intégral et bibtex

Conference papers

titre: Modelling SystemC scheduler by refinement
auteur: Dominique Cansell, Dominique Méry, Cyril Proch
article: IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation – ISOLA’05, Sep 2005, Columbia/USA
Accès au texte intégral et bibtex

titre: Formal and Incremental Construction of a Distributed Reference Counting Algorithm.
auteur: Dominique Cansell, Dominique Méry
article: APPSEM 2005, Martin Hofmann, Sep 2005, Frauenchiemsee Germany
Accès au bibtex

titre: Synthesis of the QoS for digital TV services
auteur: Denis Abraham, Dominique Cansell, Patrick Ditsch, Dominique Méry, Cyril Proch
article: First International Workshop on Incentive Based Computing – IBC’05, Sep 2005, Amsterdam/Hollande
Accès au bibtex

titre: Refinement and Reachability in Event_B
auteur: Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
article: ZB 2005 : Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Apr 2005, Guilford/UK, pp.222-241, ⟨10.1007/11415787_14⟩
Accès au bibtex

titre: DIXIT: a Graphical Toolkit for Predicate Abstractions
auteur: Loïc Fejoz, Dominique Méry, Stephan Merz
article: Fourth International Workshop on Automated Verification of Infinite-State Systems – AVIS’05, Apr 2005, Edinburgh / U.K., pp.39-48
Accès au texte intégral et bibtex

Reports

titre: The invoice case study modelling in Event B
auteur: Dominique Cansell, Dominique Méry
article: [Research Report] 2005
Accès au texte intégral et bibtex

2004

Conference papers

titre: Synthèse formelle par raffinement de modèles et de logiciels pour l’automaisation
auteur: Dominique Méry
article: Journées d’Etude « Automatique et Informatique », Club des Enseignants et des Chercheurs en Electronique, Electrotechnique et Automatique, Section Automatique, 2004, Cachan, France
Accès au bibtex

titre: Derivation of SystemC code from abstract system models
auteur: Dominique Cansell, Jean-François Culat, Dominique Méry, Cyril Proch
article: Forum on specification and Design Languages – FDL’04, 2004, Lille, France, 12 p
Accès au texte intégral et bibtex

titre: Tutorial on the event-based B method : Concepts and Case Studies
auteur: Dominique Cansell, Dominique Méry
article: Logics of Formal Software Specification Languages – LFSL’2004, 2004, The High Tatras, Slovakia
Accès au bibtex

titre: Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues
auteur: Gérard Morel, Dominique Méry, Jean-Baptiste Léger, Thierry Lecomte
article: 7th IFAC Symposium on Cost Oriented Automation – COA’2004, 2004, Gatineau, Québec, Canada
Accès au bibtex

Reports

titre: Projet RNRT EQUAST ; SP2 Spécification incrémentale du système
auteur: Cyril Proch, Dominique Cansell, Dominique Mery
article: [Interne] A04-R-237 || proch04a, 2004
Accès au bibtex

2003

Journal articles

titre: A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol
auteur: Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
article: Formal Aspects of Computing, 2003, 14 (3), pp.215-227
Accès au bibtex

titre: Foundations of the B method
auteur: Dominique Cansell, Dominique Méry
article: Computing and Informatics, 2003, 22, 31 p
Accès au bibtex

Conference papers

titre: Proof-based design of a microelectronic architecture for mpeg-2 bit-rate measurement
auteur: Dominique Cansell, Camel Tanougast, Dominique Méry, Cyril Proch, Hassan Rabah, Serge Weber
article: Forum on specification and Design Languages-FDL’03, Sep 2003, Frankfurt, Germany
Accès au bibtex

titre: Designing event-driven systems by combining coordination and refinement
auteur: Dominique Cansell, Dominique Méry
article: 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments – RCS’03, 2003, Turku, Finland
Accès au bibtex

titre: Formal derivation of spanning trees algorithms
auteur: Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
article: Third International Conference of B and Z Users – ZB’2003, Marina Walden, 2003, Turku, Finland, pp.457-476
Accès au bibtex

titre: Modélisation des systèmes réactifs
auteur: Dominique Méry, Nidhal Rezg, Xiaolan Xie
article: 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs – MSR 2003, 2003, Metz, France, 568 p
Accès au bibtex

titre: Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement
auteur: Dominique Cansell, Camel Tanougast, Yves Berviller, Dominique Méry, Cyril Proch, Hassan Rabah, Serge Weber
article: Forum on specification and Design Languages – FDL’03, 2003, Frankfurt, Germany, France. 12 p
Accès au bibtex

2002

Conference papers

titre: Formalisation of enterprise modelling standards using UML and the B method.
auteur: Hervé Panetto, Jean-François Pétin, Dominique Méry
article: 8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. pp.93-101
Accès au texte intégral et bibtex

titre: Incremental Proof of the Producer/Consumer Property for the PCI Protocol
auteur: Dominique Cansell, Ganesh Gopalakrishnan, Mike Jones, Dominique Méry, Airy Weinzoepflen
article: 2nd International Conference of B and Z Users – ZB 2002, 2002, Grenoble, France, pp.22-41
Accès au bibtex

titre: Integration of the proof process in the system development through refinement steps
auteur: Dominique Cansell, Dominique Méry
article: 5th Forum on Specification and Design Language – Workshop SFP in FDL’02, 2002, Marseille, France, 12 p
Accès au bibtex

Reports

titre: Développement de fonctions définies récursivement en B : Application du B événementiel
auteur: Dominique Cansell, Dominique Méry
article: [Interne] A02-R-347 || cansell02b, 2002, 25 p
Accès au bibtex

2001

Conference papers

titre: Utilisation de B pour l’aide à la spécification d’un système de diagnostic
auteur: Dominique Cansell, Jacques Jaray, Dominique Mery
article: Approche Formelles dans l’Assistance au Développement de Logiciels – AFADl’2001, Jun 2001, Nancy, France, 15 p
Accès au bibtex

titre: Modélisation et analyse de la documentation technique d’un système
auteur: Dominique Cansell, Dominique Méry, Airy Weinzoepflen
article: Colloque Francophone sur la Modélisation des Systèmes Réactifs – MSR 2001, 2001, Toulouse, France, 16 p
Accès au bibtex

titre: Specification and Design of the Leader Election Protocol of IEEE 1394
auteur: Jean-Raymond Abrial, Dominique Cansell, Dominique Méry
article: IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, 3 p
Accès au bibtex

titre: Formal Analysis of a Self-Stabilizing Algorithm – Using Predicate Diagrams
auteur: Dominique Cansell, Dominique Méry, Stephan Merz
article: Integrating Diagrammatic and Formal Specification Techniques, GI Fachgruppe 0.1.7 Specification and Semantics, 2001, Wien, Austria, pp.39-45
Accès au bibtex

2000

Journal articles

titre: Diagrams Refinement for the Design of Reactive Systems
auteur: Dominique Cansell, Dominique Méry, Stephan Merz
article: Journal of Universal Computer Science, 2000, 7 (2), pp.159-174
Accès au bibtex

Conference papers

titre: Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem
auteur: Dominique Cansell, Dominique Méry
article: International Conference on B & Z Users – ZB’2000, 2000, York, GB, pp.148-167
Accès au bibtex

titre: Predicate diagrams
auteur: Dominique Cansell, Dominique Méry, Stephan Merz
article: Workshop on Requirement, Design, Correct Construction & Verification, M.V. Cengarle, 2000, Munich, Germany
Accès au bibtex

titre: Predicate diagrams for the verification of reactive systems
auteur: Dominique Cansell, Dominique Méry, Stephan Merz
article: Second International Conference on Integrated Formal Methods – IFM’2000, 2000, Dagstuhl Castle, Germany, pp.380-397
Accès au bibtex

titre: Abstraction and Refinement of Concurrent Programs and Formal Specification
auteur: Dominique Cansell, Dominique Méry, Christophe Tabacznyj
article: Workshop on Formal Methods for Parallel Programming – FMPPTA’2000, Dominique Méry & Beverly Sanders, 2000, Cancun, Mexico, pp.1037-1038
Accès au bibtex

titre: A taxonomy for triggered interactions using fair object semantics
auteur: Paul Gibson, Geoff Hamilton, Dominique Méry
article: Feature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p
Accès au bibtex

titre: Verifying Reactive Systems Using Predicate Diagrams
auteur: Dominique Cansell, Dominique Méry, Stephan Merz
article: FM-TOOLS’2000, Wolfgang Reif & Gerhard Schellhorn, 2000, Ulm, 5 p
Accès au bibtex

Book sections

titre: Fair Objects
auteur: John Paul Gibson, Dominique Méry
article: H. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering
Accès au bibtex

titre: Abstraction and refinement of features
auteur: Dominique Cansell, Dominique Méry
article: Stephen, Gilmore et Mark, Ryan. Language Constructs for Designing Features, Springer, 2000
Accès au bibtex

Reports

titre: Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d’expertise sur l’utilisation de la méthode B.
auteur: Dominique Cansell, Jacques Jaray, Dominique Méry
article: [Contrat] A00-R-047 || cansell00a, 2000, 34 p
Accès au bibtex

1999

Conference papers

titre: Validation of formal specifications
auteur: Dominique Méry, Yassine Mokhtari
article: AAAI’99, Fall Symposium, Nov 1999, none, 5 p
Accès au texte intégral et bibtex

titre: A compiler for parallel Unity programs using OpenMp
auteur: Raphaël Couturier, Bertrand Couturier, Dominique Méry
article: Parallel and Distributed Processing Techniques & Applications – PDPTA’99, Jul 1999, Las Vegas, USA, 21 p
Accès au texte intégral et bibtex

titre: Animating formal specifications : a telephone simulation case study
auteur: Jean-Paul Gibson, Dominique Méry, Yassine Mokhtari
article: 13th European Simulation Multiconference – ESM’99, Jun 1999, Warsaw, Poland, pp.139–145
Accès au texte intégral et bibtex

titre: Integration Problems in Telephone Feature requirements
auteur: John Paul Gibson, Geoff Hamilton, Dominique Méry
article: Workshop on Integrated Formal Methods – IFM’99, 1999, York, England, 19 p
Accès au bibtex

titre: Formal modelling of services for getting a better understanding of the feature interaction problem – multi-view approach
auteur: Jean-Paul Gibson, Dominique Méry
article: Andrei Ershov Third International Conference, Perspectives of system Informatics – PSI’99, 1999, Novosibirsk, Russia, pp.155-179
Accès au bibtex

titre: Abstract animator for temporal specifications Application to TLA
auteur: Dominique Cansell, Dominique Méry
article: International Symposium on Static Analysis – SAS’99, Gilberto Fil{é} & Agostino Cortesi, 1999, Venise, Italie, pp.284-299
Accès au bibtex

titre: Requirements for a Temporal B Assigning Temporal Meaning to Abstract Machines… and to Abstract Systems : Assigning Temporal Meaning to Abstract Machines… and to Abstract Systems
auteur: Dominique Méry
article: Integrated Formal Methods – IFM’99, A. Galloway, 1999, York, UK, 20 p
Accès au bibtex

titre: Abstract Animator for Temporal Specifications
auteur: Dominique Cansell, Dominique Méry
article: Workshop on Modelling & Verification, Françoise Bellegarde, Olga Kouchnarenko & Jacques Julliand, 1999, Besançon, France
Accès au bibtex

titre: Towards a formal engineering framework for process automation
auteur: Patrick Lamboley, Jean-François Pétin, Dominique Méry
article: Seventh IEEE International Conference on Emerging Technologies & Factory Automation – ETFA’99, 1999, Barcelona, Spain, 8 p
Accès au bibtex

Books

titre: Special Issue FMPPTA’98
auteur: Dominique Méry
article: World Scientific, 1999, Parallel Processing Letters
Accès au bibtex

titre: Edition Spéciale RenPar’10
auteur: Dominique Méry, Guy-René Perrin
article: Hermès, 1999, TSI
Accès au bibtex

1998

Journal articles

titre: Spécification de services : une approche avec B
auteur: Bruno Mermet, Dominique Méry, Dmitri Samborski
article: Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, 1998, 17 (9), pp.1157-1180
Accès au bibtex

Conference papers

titre: Fair Objects
auteur: Dominique Méry, Jean-Paul Gibson
article: Object Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p
Accès au bibtex

titre: Interprétation de spécifications temporelles à l’aide d’un outil de preuve
auteur: Dominique Cansell, Dominique Méry
article: AFADl’98, 1998, none, 13 p
Accès au bibtex

titre: Process control engineering: contribution to a formal structuring framework with the B method
auteur: Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley
article: The 2nd International B Conference, 1998, Montpellier, France. pp.198-209
Accès au bibtex

titre: An experiment in parallelizing an application using formal methods
auteur: Raphaël Couturier, Dominique Méry
article: International Conference on Computer Aided Verification – CAV’98, 1998, Vancouver, Canada, 10 p
Accès au bibtex

titre: Formal engineering methods for modelling and verification of control systems
auteur: Dominique Méry, Jean-François Pétin
article: 9th symposium on information control problems in manufacturing Advances in Industrial Engineering – INCOM’98, 1998, Nancy/France, 6 p
Accès au bibtex

titre: Always and Eventually in Object Requirements
auteur: Jean-Paul Gibson, Dominique Méry
article: Rigorous Object Oriented Methods, 1998, none, 20 p
Accès au bibtex

titre: Service specifications to B, or not to B
auteur: Bruno Mermet, Dominique Méry
article: Second Workshop on Formal Methods in Software Practice, 1998, Clearwater Beach, Florida, USA, 8 p
Accès au bibtex

titre: Parallelization of a Monte Carlo simulation of a spins system
auteur: Raphaël Couturier, Dominique Méry
article: Parallel and Distributed Processing Techniques and Applications – PDPTA’98, 1998, Las Vegas, USA, 5 p
Accès au bibtex

titre: Teaching Formal Methods: Lessons to learn
auteur: Jean-Paul Gibson, Dominique Méry
article: Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p
Accès au bibtex

Books

titre: Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications
auteur: Dominique Méry, Beverly Sanders
article: Springer Verlag, 100 p, 1998, Lecture Notes in Computer Science
Accès au bibtex

titre: RenPar’10
auteur: Guy-René Perrin, Dominique Méry
article: ULP, 264 p, 1998
Accès au bibtex

1993

Theses

titre: A method for refining and developing concurrent programs : on the study of refinement of concurrent programs : ea proof-based approach
auteur: Dominique Méry
article: Autre. Université Henri Poincaré – Nancy 1, 1993. Français. ⟨NNT : 1993NAN10019⟩
Accès au bibtex