Publications – Dominique MÉRY

Publications HAL de dominique,mery

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, x, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Accès au texte intégral et bibtex

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: 2022 29th Asia-Pacific Software Engineering Conference (APSEC), Dec 2022, Japan, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Accès au 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
Accès au 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: 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: IMPEX/FM&MDD 2017, Xi’an, China, Electronic Proceedings in Theoretical Computer Science, EPTCS 271, arXiv, 2018, ⟨10.48550/arXiv.1805.04636⟩
Accès au bibtex

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

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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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

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

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: 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: 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: 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: 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: 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: 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: Une méthode de raffinement et de développement pour la programmation parallèle : econtribution à l’étude du raffinement de programmes parallèles : une approche fondée sur le concept de preuve
auteur: Dominique Méry
article: Autre. Université Henri Poincaré – Nancy 1, 1993. Français. ⟨NNT : 1993NAN10019⟩
Accès au bibtex