Dominique Méry

Présentation

Full Professor in Computing Science

Head of the team

MOSEL

of the

LORIA

laboratory

Professor at

Telecom Nancy

dominique dot mery at loria dot fr

Tel.+33 (0)3.83.59.20.19

Bureau B202

LORIA, Campus Scientifique,

F54506 Vandœuvre lès Nancy

Webpage on the LORIA laboratory

Publications

Article dans une revue (33)

An automotive case study Alexander Raschke,Dominique Méry International Journal on Software Tools for Technology Transfer, 2024, 26 (3), pp.327-330. ⟨10.1007/s10009-024-00753-2⟩ Article dans une revue hal-04620616v1
SAP: A Secure Low-Latency Protocol for Mitigating High Computation Overhead in WI-FI Networks Vineeta Jain,Ulf Wetzker,Vijay Laxmi,Manoj Singh Gaur,Mohamed Mosbahet al. IEEE Access, 2023, 11, pp.84620-84635. ⟨10.1109/ACCESS.2023.3302529⟩ Article dans une revue hal-04183865v1
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID Neeraj Kumar Singh,Yamine Aït-Ameur,Ismail Mendil,Dominique Méry,David Navarreet al. Journal of Software: Evolution and Process, In press, 35 (7), pp.e2439. ⟨10.1002/smr.2439⟩ Article dans une revue hal-03617603v1
Formal domain-driven system development in Event-B: Application to interactive critical systems Ismail Mendil,Yamine Aït-Ameur,Neeraj Kumar Singh,Guillaume Dupont,Dominique Méryet al. Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩ Article dans une revue hal-03904803v1
Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 Dominique Méry,Alexander Raschke Science of Computer Programming, 2022, 216, pp.102780. ⟨10.1016/j.scico.2022.102780⟩ Article dans une revue hal-03904790v1
Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July – 1 August 2019, Guilin, China Dominique Méry,Shengchao Qin Science of Computer Programming, 2022, 218, pp.102804. ⟨10.1016/j.scico.2022.102804⟩ Article dans une revue hal-03904791v1
The central role of data repositories and data models in Data Science and Advanced Analytics Ladjel Bellatreche,Carlos Ordonez,Dominique Méry,Matteo Golfarelli,El Hassan Abdelwahed Future Generation Computer Systems, 2022, 129, pp.13-17. ⟨10.1016/j.future.2021.11.027⟩ Article dans une revue hal-03904787v1
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications Neeraj Kumar Singh,Yamine Aït-Ameur,Romain Geniet,Dominique Méry,Philippe Palanque Interacting with Computers, 2021, 33 (1), pp.Pages 92-114. ⟨10.1093/iwcomp/iwab016⟩ Article dans une revue hal-03224780v1
Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems Dominique Méry,Mike Poppleton Software and Systems Modeling, 2017, 16 (4), pp.1083--1115. ⟨10.1007/s10270-015-0504-y⟩ Article dans une revue hal-01245819v1
Playing with State-Based Models for Designing Better Algorithms Dominique Méry Future Generation Computer Systems, 2017, 68, pp.445-455. ⟨10.1016/j.future.2016.04.019⟩ Article dans une revue istex hal-01316026v1
Making explicit domain knowledge in formal system development Yamine Aït-Ameur,Dominique Méry Science of Computer Programming, 2016, 121 (100--127), ⟨10.1016/j.scico.2015.12.004⟩ Article dans une revue hal-01245832v1
From Event-B specifications to programs for distributed algorithms Mohamed Mosbah,Mohamed Tounsi,Dominique Mery International journal of autonomous and adaptive communications systems, 2016, 9 (3-4), pp.223 - 242. ⟨10.1504/IJAACS.2016.079623⟩ Article dans une revue hal-01495802v1
Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version) Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh Computer Science and Information Systems, 2014, Computer Science and Information System, 11 (1), pp.251-270. ⟨10.2298/CSIS130122007A⟩ Article dans une revue hal-00924525v1
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062) Dominique Méry,Bernhard Schätz,Alan Wassyng Dagstuhl Reports, 2014, 4 (2), pp.17--37 Article dans une revue hal-01097629v1
Spécification d'exigences physico-physiologiques d'interaction homme-machine en ingénierie système Gérard Morel,Jean-Marc Dupont,Romain Lieber,Fabien Bouffaron,Dominique Méryet al. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, Mars 2013 (104), pp.29-39 Article dans une revue hal-00805851v1
Formal Speciﬁcation of Medical Systems by Proof-Based Reﬁnement Dominique Méry,Neeraj Kumar Singh ACM Transactions on Embedded Computing Systems (TECS), 2013, 12 (1), pp.15. ⟨10.1145/2406336.2406351⟩ Article dans une revue inria-00637756v1
Proving Distributed Algorithms by Combining Reﬁnement and Local Computations Mohamed Tounsi,Mohamed Mosbah,Dominique Méry Electronic Communications of the EASST, 2011, 35, pp.ISSN 1863-2122 Article dans une revue hal-00644187v1
A generic framework: from modeling to code Dominique Méry,Neeraj Kumar Singh Innovations in Systems and Software Engineering (ISSE), 2011, pp.1-9 Article dans une revue inria-00637761v1
Functional Behavior of a Cardiac Pacing System Dominique Méry,Neeraj Kumar Singh International Journal of Discrete Event Control Systems (IJDECS), 2010 Article dans une revue inria-00540007v1
System-on-chip design by proof-based reﬁnement Dominique Cansell,Dominique Méry,Cyril Proch International Journal on Software Tools for Technology Transfer, 2009, 11 (3), pp.217-238. ⟨10.1007/s10009-009-0104-7⟩ Article dans une revue istex inria-00426385v1
Reﬁnement-Based Guidelines for Algorithmic Systems Dominique Méry International Journal of Software and Informatics (IJSI), 2009, 3 (2-3), pp.197-239 Article dans une revue inria-00426383v1
A Simple Refinement-based Method for Constructing Algorithms Dominique Méry Sigcse Bulletin, 2009, inroads — SIGCSE Bulletin, 41 (2), pp.51-59. ⟨10.1145/1595453.1595462⟩ Article dans une revue inria-00426384v1
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface Dominique Cansell,Paul Gibson,Dominique Méry Electronic Notes in Theoretical Computer Science, 2008, 183, pp.39-55. ⟨10.1016/j.entcs.2007.01.060⟩ Article dans une revue inria-00594892v1
Incremental Parametric Development of Greedy Algorithms Dominique Cansell,Dominique Méry 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⟩ Article dans une revue inria-00594883v1
Patrons de conception prouvés Thierry Lecomte,Dominique Méry,Dominique Cansell 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 Article dans une revue inria-00184827v1
Specification and Refinement of Access Control Dominique Méry,Stephan Merz Journal of Universal Computer Science, 2007, 13 (8), pp.1073-1093 Article dans une revue inria-00147824v1
Formal and Incremental Construction of Distributed Algorithms: On the Distributed Reference Counting Algorithm Dominique Cansell,Dominique Méry Theoretical Computer Science, 2006, ⟨10.1016/j.tcs.2006.08.015⟩ Article dans une revue inria-00093164v1
The challenge of QoS for digital television services Dominique Méry,Dominique Cansell,Cyril Proch,Denis Abraham,Patrick Ditsch EBU Technical Review, 2005, 302 (Avril), 11 p Article dans une revue inria-00001252v1
Un système d'analyse de la qualité: de la norme au produit en passant par le raffinement Dominique Cansell,Dominique Méry,Cyril Proch Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2005, 73, pp.44-50 Article dans une revue inria-00000196v1
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol Jean-Raymond Abrial,Dominique Cansell,Dominique Méry Formal Aspects of Computing, 2003, 14 (3), pp.215-227 Article dans une revue inria-00099531v1
Foundations of the B method Dominique Cansell,Dominique Méry Computing and Informatics, 2003, 22, 31 p Article dans une revue inria-00099794v1
Diagrams Refinement for the Design of Reactive Systems Dominique Cansell,Dominique Méry,Stephan Merz Journal of Universal Computer Science, 2000, 7 (2), pp.159-174 Article dans une revue inria-00099265v1
Spécification de services : une approche avec B Bruno Mermet,Dominique Méry,Dmitri Samborski Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1998, 17 (9), pp.1157-1180 Article dans une revue inria-00098448v1

Communication dans un congrès (100)

Cyclone: A New Tool for Verifying/Testing Graph-Based Structures Hao Wu,Thomas Flinkow,Dominique Méry Tests and Proofs - 18th International Conference, {TAP} 2024, Marieke Huisman; Falk Howar, Sep 2024, MILAN, Italy. pp.107-124, ⟨10.1007/978-3-031-72044-4_6⟩ Communication dans un congrès hal-04804849v1
Checking Contracts in Event-B Dominique Méry 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⟩ Communication dans un congrès hal-04804884v1
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours Ismail Mendil,Peter Riviere,Yamine Aït-Ameur,Neeraj Kumar Singh,Dominique Méryet al. 29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, Virtual conference, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩ Communication dans un congrès inserm-04095980v1
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models Ismail Mendil,Yamine Aït-Ameur,Neeraj Kumar Singh,Dominique Méry,Philippe Palanque 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⟩ Communication dans un congrès hal-03857803v2
Refinement-based Construction of Correct Distributed Algorithms Dominique Méry ICI2ST 2021 - 2nd International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador. ⟨10.1109/ICI2ST51859.2021.00015⟩ Communication dans un congrès hal-03199808v1
A Refinement Strategy for Hybrid System Design with Safety Constraints Zheng Cheng,Dominique Méry MEDI 2021 - 10th International Conference Model and Data Engineering, Jun 2021, Tallinn, Estonia. pp.3-17, ⟨10.1007/978-3-030-78428-7_1⟩ Communication dans un congrès hal-03298750v1
Standard Conformance-by-Construction with Event-B Ismail Mendil,Yamine Aït-Ameur,Neeraj Kumar Singh,Dominique Méry,Philippe Palanque 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⟩ Communication dans un congrès hal-03487118v2
Generating Distributed Programs from Event-B Models Horatiu Cirstea,Alexis Grall,Dominique Méry International Workshop on Verification and Program Transformation, Apr 2020, Dublin, Ireland. pp.110-124, ⟨10.4204/EPTCS.320.8⟩ Communication dans un congrès hal-02997277v1
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661 Neeraj Kumar Singh,Yamine Aït-Ameur,Dominique Méry,David Navarre,Philippe Palanqueet al. 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⟩ Communication dans un congrès hal-02942767v1
An Integrated Framework for the Formal Analysis of Critical Interactive Systems Ismail Mendil,Neeraj Kumar Singh,Yamine Aït-Ameur,Dominique Méry,Philippe Palanque The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10 Communication dans un congrès hal-02999148v1
Verification by Construction of Distributed Algorithms Dominique Méry Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩ Communication dans un congrès hal-02400379v1
Modelling by Patterns for Correct-by-Construction Process. Dominique Méry ISOLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.399-423 Communication dans un congrès hal-01933971v1
Explicit modelling of physical measures: from Event-B to Java John Paul Gibson,Dominique Méry 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⟩ Communication dans un congrès hal-01798224v1
Virtual environment design as automated &quot;physiological&quot; counter-measures in extreme environment: from intensive care to human space flight. Didier Fass,Bruno Levy,Pierre Perez,Dominique Méry AHFE 2018 - Human Factors and Simulation, Jul 2018, Orlando, United States Communication dans un congrès hal-03198564v1
Contextualization and Dependency in State-Based Modelling - Application to Event-B Souad Kherroubi,Dominique Méry MEDI 2017 - International Conference on Model and Data Engineering, Oct 2017, Barcelona, Spain. pp.137--152, ⟨10.1007/978-3-319-66854-3_11⟩ Communication dans un congrès hal-01631017v1
A Formal Approach for Maintaining Forest Topologies in Dynamic Networks Faten Fakhfakh,Mohamed Tounsi,Mohamed Mosbah,Ahmed Hadj Kacem,Dominique Méry 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⟩ Communication dans un congrès hal-01495807v1
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B Paul J. Gibson,Souad Kherroubi,Dominique Méry 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⟩ Communication dans un congrès hal-01658423v1
On two Friends for getting Correct Programs Automatically Translating Event B Specifications to Recursive Algorithms in Rodin Dominique Méry,Rosemary Monahan,Cheng Zheng ISOLA 2016 , Bernhard Steffen and Tiziana Margaria, Oct 2016, CORFU, Greece. pp.18, ⟨10.1007/978-3-319-47166-2_57⟩ Communication dans un congrès hal-01369425v1
Modelling bio-compatible and bio-integrative medical devices Didier Fass,Dominique Méry European & Asian System, Software & Service Process Improvement & Innovation - EUROSPII 2016, Sep 2016, Graz, Austria Communication dans un congrès hal-03198362v1
Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study Dominique Méry,Sawant Rushikesh,Anton Tarasyuk Model and Data Engineering - 5th International Conference, MEDI 2015, Sep 2015, Rhodes, Greece. pp.89-102 Communication dans un congrès hal-01245991v1
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems Yamine Aït-Ameur,John Paul Gibson,Dominique Méry 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⟩ Communication dans un congrès hal-01097624v1
Formal Evaluation of Landing Gear System Dominique Méry,Neeraj Kumar Singh SoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam Communication dans un congrès hal-01097645v1
Modeling an Aircraft Landing System in Event-B Dominique Méry,Neeraj Kumar Singh ABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159 Communication dans un congrès hal-00985010v1
Playing with State-Based Models for Designing Better Algorithms Dominique Méry Model and Data Engineering - 4th International Conference, MEDI 2014, Sep 2014, Larrnaca, Greece. pp.1-3 Communication dans un congrès hal-01097625v1
The Semantics of Refinement Chart Dominique Méry,Neeraj Kumar Singh HCI International, Jun 2014, Heraklion, Greece. pp.415-426, ⟨10.1007/978-3-319-07725-3_42⟩ Communication dans un congrès hal-00995176v1
Analysis of Self-* and P2P Systems using Refinement Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh 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⟩ Communication dans un congrès hal-01018125v1
Formal Modelling and Verification of Population Protocols Dominique Méry,Mike Poppleton iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland Communication dans un congrès hal-00813033v1
Ideal Mode Selection of a Cardiac Pacing System Dominique Méry,Neeraj Kumar Singh 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⟩ Communication dans un congrès istex hal-00862077v1
Transforming EVENT B Models into Verified C# Implementations Dominique Méry,Monahan Rosemary VPT 2013 - First International Workshop on Verification and Program Transformation, Alexei Lisitsa and Andrei Nemytykh, Jul 2013, Saint Petersburg, Russia. pp.57-73 Communication dans un congrès hal-00862050v1
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland Communication dans un congrès hal-00819256v1
From Event-B Specifications to Programs for Distributed Algorithms Mohammed Tounsi,Mohammed Mosbah,Dominique Méry WETICE 2013: 22th IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises., Jun 2013, Hammamet, Tunisia. ⟨10.1109/WETICE.2013.44⟩ Communication dans un congrès hal-00862056v1
Revisiting Snapshot Algorithms by Refinement-based Techniques Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh PDCAT 2012 : The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2012, Beijing, China Communication dans un congrès hal-00734131v1
Handling Heterogeneity in Formal Developments of Hardware and Software Systems Yamine Aït-Ameur,Dominique Méry 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⟩ Communication dans un congrès hal-00743810v1
Formal Verification of Fault Tolerant NoC-based Architecture Manamiary Bruno Andriamiarina,Hayat Daoud,Mostefa Belarbi,Dominique Méry,Camel Tanougast First International Workshop on Mathematics and Computer Science (IWMCS2012), Mostefa BELARBI - University of Tiaret - Algeria, Dec 2012, Tiaret, Algeria Communication dans un congrès hal-00763092v1
Critical systems development methodology using formal techniques Dominique Méry,Neeraj Kumar Singh 3rd International Symposium on Information and Communication Technology - SoICT 2012, Aug 2012, Ha Long, Vietnam. pp.3-12, ⟨10.1145/2350716.2350720⟩ Communication dans un congrès hal-00747305v1
Analysis of DSR Protocol in Event-B Dominique Méry,Neeraj Kumar Singh 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.401-415 Communication dans un congrès inria-00637768v1
Refinement-based Verification of Local Synchronization Algorithms Dominique Méry,Mohamed Mosbah,Mohamed Tounsi 17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Jun 2011, Limerick, Ireland. à paraître Communication dans un congrès hal-00579252v1
Formal Development and Automatic Code Generation : Cardiac Pacemaker Dominique Méry,Neeraj Kumar Singh International Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China Communication dans un congrès inria-00638486v1
Medical Protocol Diagnosis using Formal Methods Dominique Méry,Neeraj Kumar Singh International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa Communication dans un congrès inria-00638478v1
EB2J : Code Generation from Event-B to Java Dominique Méry,Neeraj Kumar Singh SBMF - Brazilian Symposium on Formal Methods, CBSoft - Brazilian Conference on Software: Theory and Practice, Sep 2011, São Paulo, Brazil Communication dans un congrès inria-00638467v1
Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata Dominique Méry,Neeraj Kumar Singh International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa Communication dans un congrès inria-00638473v1
Automatic Code Generation from Event-B Models Dominique Méry,Neeraj Kumar Singh SoICT 2011, Hanoi University, Oct 2011, Hanoi, Vietnam Communication dans un congrès inria-00637765v1
Proof-Based Design of Security Protocols Nazim Benaissa,Dominique Méry 5th International Computer Science Symposium in Russia, CSR 2010, Farid Ablayev, Jun 2010, KAZAN, Russia. pp.25-36 Communication dans un congrès inria-00542919v1
Real-Time Animation for Formal Specification Dominique Méry,Neeraj Kumar Singh Complex Systems Design & Management 2010, Oct 2010, Paris, France. pp.49-60, ⟨10.1007/978-3-642-15654-0_3⟩ Communication dans un congrès inria-00540005v1
Proving Distributed Algorithms by Combining Refinement and Local Computations Dominique Méry,Mohammed Mosbah,Mohammed Tounsi AVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, Sep 2010, Dusseldorf, Germany Communication dans un congrès inria-00547302v1
Trustable Formal Specification for Software Certification Dominique Méry,Neeraj Kumar Singh 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⟩ Communication dans un congrès istex inria-00540008v1
A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems Mohamed Tounsi,Ahmed Hadj Kacem,Mohamed Mosbah,Dominique Méry Integration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany Communication dans un congrès hal-00361933v1
Développement combiné et prouvé de systèmes transactionnels cryptologiques Nazim Benaissa,Dominique Méry Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2009, Jan 2009, Toulouse, France Communication dans un congrès inria-00426405v1
Cryptologic protocols analysis using proof-based patterns Nazim Benaissa,Dominique Méry Seventh International Andrei Ershov Memorial Conference "PERSPECTIVES OF SYSTEM INFORMATICS" - PSI 2009, Jun 2009, Novosibirsk, Russia Communication dans un congrès inria-00431253v1
Cryptographic Protocols Analysis in Event B Nazim Benaissa,Dominique Méry Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» - PSI 2009, Jun 2009, Novosibisrk, Russia Communication dans un congrès inria-00431264v1
Teaching programming methodology using Event B Dominique Méry The B Method: from Research to Teaching, Henri Habrias, Jul 2008, Nantes, France Communication dans un congrès inria-00287231v2
Proved-Patterns-Based Development for Structured Programs. Dominique Cansell,Dominique Méry 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⟩ Communication dans un congrès istex inria-00168307v1
Integration of Security Policy into System Modeling Nazim Benaissa,Dominique Cansell,Dominique Mery The 7th International B Conference - B2007, Jan 2007, Besançon, France Communication dans un congrès inria-00155143v1
Time Constraint Patterns for Event B Development Dominique Cansell,Dominique Méry,Joris Rehm 7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. pp.140-154, ⟨10.1007/11955757_13⟩ Communication dans un congrès hal-00149163v1
Formal verification of tamper-evident storage for e-voting Dominique Cansell,Paul Gibson,Dominique Méry 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⟩ Communication dans un congrès inria-00184833v1
Incremental Parametric Development of Greedy Algorithms Dominique Cansell,Dominique Méry 6th International Workshop on Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy, France. pp.48-62 Communication dans un congrès inria-00089497v1
Formal specification of safe manufacturing machines using the B method : application to a mechanical press Dominique Evrot,Jean-François Pétin,Dominique Méry May 2006, pp.CDROM Communication dans un congrès hal-00120743v1
Event Systems and Access Control Dominique Méry,Stephan Merz Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, Mar 2006, Vienna/Austria, pp.40-54 Communication dans un congrès inria-00001262v1
Synthesis of the QoS for digital TV services Denis Abraham,Dominique Cansell,Patrick Ditsch,Dominique Méry,Cyril Proch First International Workshop on Incentive Based Computing - IBC'05, Sep 2005, Amsterdam/Hollande Communication dans un congrès inria-00000565v1
Modelling SystemC scheduler by refinement Dominique Cansell,Dominique Méry,Cyril Proch IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation - ISOLA'05, Sep 2005, Columbia/USA Communication dans un congrès inria-00000564v1
Formal and Incremental Construction of a Distributed Reference Counting Algorithm. Dominique Cansell,Dominique Méry APPSEM 2005, Martin Hofmann, Sep 2005, Frauenchiemsee Germany Communication dans un congrès inria-00000788v1
Refinement and Reachability in Event_B Jean-Raymond Abrial,Dominique Cansell,Dominique Méry 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⟩ Communication dans un congrès istex inria-00001245v1
DIXIT: a Graphical Toolkit for Predicate Abstractions Loïc Fejoz,Dominique Méry,Stephan Merz Fourth International Workshop on Automated Verification of Infinite-State Systems - AVIS'05, Apr 2005, Edinburgh / U.K., pp.39-48 Communication dans un congrès inria-00000767v1
Synthèse formelle par raffinement de modèles et de logiciels pour l'automaisation Dominique Méry Journées d'Etude "Automatique et Informatique", Club des Enseignants et des Chercheurs en Electronique, Electrotechnique et Automatique, Section Automatique, 2004, Cachan, France Communication dans un congrès inria-00100064v1
Derivation of SystemC code from abstract system models Dominique Cansell,Jean-François Culat,Dominique Méry,Cyril Proch Forum on specification and Design Languages - FDL'04, 2004, Lille, France, 12 p Communication dans un congrès inria-00107780v1
Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues Gérard Morel,Dominique Méry,Jean-Baptiste Léger,Thierry Lecomte 7th IFAC Symposium on Cost Oriented Automation - COA'2004, 2004, Gatineau, Québec, Canada Communication dans un congrès inria-00100068v1
Tutorial on the event-based B method : Concepts and Case Studies Dominique Cansell,Dominique Méry Logics of Formal Software Specification Languages - LFSL'2004, 2004, The High Tatras, Slovakia Communication dans un congrès inria-00100065v1
Modélisation des systèmes réactifs Dominique Méry,Nidhal Rezg,Xiaolan Xie 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2003, 2003, Metz, France, 568 p Communication dans un congrès inria-00099541v1
Formal derivation of spanning trees algorithms Jean-Raymond Abrial,Dominique Cansell,Dominique Méry Third International Conference of B and Z Users - ZB'2003, Marina Walden, 2003, Turku, Finland, pp.457-476 Communication dans un congrès inria-00099793v1
Designing event-driven systems by combining coordination and refinement Dominique Cansell,Dominique Méry 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments - RCS'03, 2003, Turku, Finland Communication dans un congrès inria-00099835v1
Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement Dominique Cansell,Camel Tanougast,Yves Berviller,Dominique Méry,Cyril Prochet al. Forum on specification and Design Languages - FDL'03, 2003, Frankfurt, Germany, France. 12 p Communication dans un congrès inria-00099834v1
Formalisation of enterprise modelling standards using UML and the B method. Hervé Panetto,Jean-François Pétin,Dominique Méry 8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. pp.93-101 Communication dans un congrès hal-00120944v1
Incremental Proof of the Producer/Consumer Property for the PCI Protocol Dominique Cansell,Ganesh Gopalakrishnan,Mike Jones,Dominique Méry,Airy Weinzoepflen 2nd International Conference of B and Z Users - ZB 2002, 2002, Grenoble, France, pp.22-41 Communication dans un congrès inria-00100888v1
Integration of the proof process in the system development through refinement steps Dominique Cansell,Dominique Méry 5th Forum on Specification and Design Language - Workshop SFP in FDL'02, 2002, Marseille, France, 12 p Communication dans un congrès inria-00100945v1
Modélisation et analyse de la documentation technique d'un système Dominique Cansell,Dominique Méry,Airy Weinzoepflen Colloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2001, 2001, Toulouse, France, 16 p Communication dans un congrès inria-00101089v1
Specification and Design of the Leader Election Protocol of IEEE 1394 Jean-Raymond Abrial,Dominique Cansell,Dominique Méry IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, 3 p Communication dans un congrès inria-00100598v1
Utilisation de B pour l'aide à la spécification d'un système de diagnostic Dominique Cansell,Jacques Jaray,Dominique Mery Approche Formelles dans l'Assistance au Développement de Logiciels - AFADl'2001, Jun 2001, Nancy, France, 15 p Communication dans un congrès inria-00100931v1
Predicate diagrams Dominique Cansell,Dominique Méry,Stephan Merz Workshop on Requirement, Design, Correct Construction & Verification, M.V. Cengarle, 2000, Munich, Germany Communication dans un congrès inria-00099263v1
Predicate diagrams for the verification of reactive systems Dominique Cansell,Dominique Méry,Stephan Merz Second International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, pp.380-397 Communication dans un congrès inria-00099125v1
Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem Dominique Cansell,Dominique Méry International Conference on B & Z Users - ZB'2000, 2000, York, GB, pp.148-167 Communication dans un congrès inria-00099157v1
Abstraction and Refinement of Concurrent Programs and Formal Specification Dominique Cansell,Dominique Méry,Christophe Tabacznyj Workshop on Formal Methods for Parallel Programming - FMPPTA'2000, Dominique Méry & Beverly Sanders, 2000, Cancun, Mexico, pp.1037-1038 Communication dans un congrès inria-00099262v1
A taxonomy for triggered interactions using fair object semantics Paul Gibson,Geoff Hamilton,Dominique Méry Feature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p Communication dans un congrès inria-00099267v1
Verifying Reactive Systems Using Predicate Diagrams Dominique Cansell,Dominique Méry,Stephan Merz FM-TOOLS'2000, Wolfgang Reif & Gerhard Schellhorn, 2000, Ulm, 5 p Communication dans un congrès inria-00099261v1
A compiler for parallel Unity programs using OpenMp Raphaël Couturier,Bertrand Couturier,Dominique Méry Parallel and Distributed Processing Techniques & Applications - PDPTA'99, Jul 1999, Las Vegas, USA, 21 p Communication dans un congrès inria-00098760v1
Integration Problems in Telephone Feature requirements John Paul Gibson,Geoff Hamilton,Dominique Méry Workshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p Communication dans un congrès inria-00098882v1
Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach Jean-Paul Gibson,Dominique Méry Andrei Ershov Third International Conference, Perspectives of system Informatics - PSI'99, 1999, Novosibirsk, Russia, pp.155-179 Communication dans un congrès inria-00098998v1
Animating formal specifications : a telephone simulation case study Jean-Paul Gibson,Dominique Méry,Yassine Mokhtari 13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145 Communication dans un congrès inria-00108114v1
Abstract animator for temporal specifications Application to TLA Dominique Cansell,Dominique Méry International Symposium on Static Analysis - SAS'99, Gilberto Fil{é} & Agostino Cortesi, 1999, Venise, Italie, pp.284-299 Communication dans un congrès inria-00098953v1
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 Dominique Méry Integrated Formal Methods - IFM'99, A. Galloway, 1999, York, UK, 20 p Communication dans un congrès inria-00108066v1
Validation of formal specifications Dominique Méry,Yassine Mokhtari AAAI'99, Fall Symposium, Nov 1999, none, 5 p Communication dans un congrès inria-00108115v1
Towards a formal engineering framework for process automation Patrick Lamboley,Jean-François Pétin,Dominique Méry Seventh IEEE International Conference on Emerging Technologies & Factory Automation - ETFA'99, 1999, Barcelona, Spain, 8 p Communication dans un congrès inria-00098874v1
Abstract Animator for Temporal Specifications Dominique Cansell,Dominique Méry Workshop on Modelling & Verification, Françoise Bellegarde, Olga Kouchnarenko & Jacques Julliand, 1999, Besançon, France Communication dans un congrès inria-00098918v1
An experiment in parallelizing an application using formal methods Raphaël Couturier,Dominique Méry International Conference on Computer Aided Verification - CAV'98, 1998, Vancouver, Canada, 10 p Communication dans un congrès inria-00098540v1
Process control engineering: contribution to a formal structuring framework with the B method Jean-François Pétin,Gérard Morel,Dominique Méry,Patrick Lamboley The 2nd International B Conference, 1998, Montpellier, France. pp.198-209 Communication dans un congrès inria-00098406v1
Interprétation de spécifications temporelles à l'aide d'un outil de preuve Dominique Cansell,Dominique Méry AFADl'98, 1998, none, 13 p Communication dans un congrès inria-00098541v1
Fair Objects Dominique Méry,Jean-Paul Gibson Object Technology 98 (Colloquim on Object Technology System Re-engineering), 1998, none, 16 p Communication dans un congrès inria-00098620v1
Always and Eventually in Object Requirements Jean-Paul Gibson,Dominique Méry Rigorous Object Oriented Methods, 1998, none, 20 p Communication dans un congrès inria-00098617v1
Service specifications to B, or not to B Bruno Mermet,Dominique Méry Second Workshop on Formal Methods in Software Practice, 1998, Clearwater Beach, Florida, USA, 8 p Communication dans un congrès inria-00098409v1
Parallelization of a Monte Carlo simulation of a spins system Raphaël Couturier,Dominique Méry Parallel and Distributed Processing Techniques and Applications - PDPTA'98, 1998, Las Vegas, USA, 5 p Communication dans un congrès inria-00098542v1
Teaching Formal Methods: Lessons to learn Jean-Paul Gibson,Dominique Méry Irish Workshop For Formal Methods 1998, 1998, Cork, Irlande, 16 p Communication dans un congrès inria-00098616v1

Ouvrages (9)

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Yamine Aït-Ameur,Shin Nakajima,Dominique Méry Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩ Ouvrages hal-02910199v1
Second International Workshop on Formal Integrated Development Environment Catherine Dubois,Paolo Masci,Dominique Méry EPTCS, 187, 2015, EPTCS ⟨10.4204/EPTCS.187⟩ Ouvrages hal-01246691v1
Proceedings 1st Workshop on Formal Integrated Development Environment Catherine Dubois,Dimitra Giannakopoulou,Dominique Méry Catherine Dubois; Dimitra Giannakopoulou; Dominique Méry. EPTCS, 149, pp.105, 2014, Electronic Proceedings in Theoretical Computer Science, ⟨10.4204/EPTCS.149⟩ Ouvrages hal-00987531v1
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Dimitra Giannakopoulou,Dominique Méry 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⟩ Ouvrages hal-00743808v1
Integrated Formal Methods Dominique Méry,Stephan Merz 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⟩ Ouvrages inria-00539785v1
Special Issue FMPPTA'98 Dominique Méry World Scientific, 1999, Parallel Processing Letters Ouvrages inria-00108068v1
Edition Spéciale RenPar'10 Dominique Méry,Guy-René Perrin Hermès, 1999, TSI Ouvrages inria-00108067v1
Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications Dominique Méry,Beverly Sanders Springer Verlag, 100 p, 1998, Lecture Notes in Computer Science Ouvrages inria-00098618v1
RenPar'10 Guy-René Perrin,Dominique Méry ULP, 264 p, 1998 Ouvrages inria-00098635v1

Chapitre d'ouvrage (15)

Empowering the Event-B Method Using External Theories Yamine Aït-Ameur,Ismail Mendil,Guillaume Dupont,Dominique Méry,Marc Pantelet al. 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⟩ Chapitre d'ouvrage hal-03904799v1
Contextual Dependency in State-based Modelling Dominique Méry,Souad Kherroubi 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⟩ Chapitre d'ouvrage hal-03199748v1
Formal Ontological Analysis for Medical Protocols Neeraj Kumar Singh,Yamine Aït-Ameur,Dominique Méry 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⟩ Chapitre d'ouvrage hal-03199742v1
Towards Leveraging Domain Knowledge in State-Based Formal Methods Yamine Aït-Ameur,Régine Laleau,Dominique Méry,Neeraj Kumar Singh 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⟩ Chapitre d'ouvrage hal-03250787v1
Incremental Proof-Based Development for Resilient Distributed Systems Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering Chapitre d'ouvrage hal-01246669v1
Event B (english version) Neeraj Kumar Singh,Dominique Méry Jean-Louis Boulanger. Formal Methods Applied to Complex Systems, Wiley, 2014, Formal Methods Applied to Complex Systems, 9781119002727. ⟨10.1002/9781119002727.ch10⟩ Chapitre d'ouvrage hal-01216779v1
Event B Dominique Méry,Neeraj Kumar Singh 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 Chapitre d'ouvrage hal-00926335v1
Medical Protocol Diagnosis Using Formal Methods Dominique Méry,Neeraj Kumar Singh 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⟩ Chapitre d'ouvrage hal-00762822v1
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata Dominique Méry,Neeraj Kumar Singh 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⟩ Chapitre d'ouvrage hal-00762821v1
Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et Validation Dominique Méry,Didier Fass 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 Chapitre d'ouvrage hal-00744242v1
The Event-B Modelling Method - Concepts and Case Studies Dominique Cansell,Dominique Méry Dines Bjoerner and Martin Henson. Logics of Specification Languages, Springer, pp.33-140, 2008, Monographs in Theoretical Computer Science Chapitre d'ouvrage inria-00579550v1
Designing old and new distributed algorithms by replaying an incremental proof-based development Dominique Cansell,Dominique Méry Jean-Raymond Abrial and Uwe Glässer. Festschrift for Egon Börger, Springer-Verlag, 2007, LNCS Chapitre d'ouvrage inria-00174023v1
Event B Dominique Cansell,Dominique Méry Henri Habrias and Marc Frappier. Software Specification Methods, HERMES, 2006, 1-905209-34-7 Chapitre d'ouvrage inria-00096696v1
Abstraction and refinement of features Dominique Cansell,Dominique Méry Stephen, Gilmore et Mark, Ryan. Language Constructs for Designing Features, Springer, 2000 Chapitre d'ouvrage inria-00099264v1
Fair Objects John Paul Gibson,Dominique Méry H. Zedan & A. Cau. Object-oriented technology and computing systems re-engineering, Horwood Publishing Ltd, 2000, Computer Science & Electronic Engineering Chapitre d'ouvrage inria-00099324v1

Autre publication scientifique (2)

Teaching formal techniques with Event-B and Rodin ⋆ Dominique Méry 2025 Autre publication scientifique hal-05436671v1
EB2C : A Tool for Event-B to C Conversion Support Dominique Méry,Neeraj Kumar Singh 2010 Autre publication scientifique inria-00540006v1

Pré-publication, Document de travail (3)

From System Events to Software Operations for Refinement-based Modeling of Hybrid Systems * Zheng Cheng,Dominique Méry 2023 Pré-publication, Document de travail hal-04189025v2
A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions Zheng Cheng,Dominique Méry 2023 Pré-publication, Document de travail hal-04152829v1
Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract) Manamiary Bruno Andriamiarina,Dominique Méry 2011 Pré-publication, Document de travail inria-00606201v1

Rapport (17)

Generating Distributed Programs from Event-B Models Horatiu Cirstea,Alexis Grall,Dominique Méry [Research Report] LORIA UMR 7503 CNRS, INRIA, Université de LORRAINE. 2020, pp.36 Rapport (rapport de recherche) hal-02572971v1
A Refinement Strategy for Hybrid System Design with Safety Constraints Zheng Cheng,Dominique Méry [Research Report] Université de Lorraine; INRIA; CNRS. 2020 Rapport (rapport de recherche) hal-02895528v1
Analysis of Self-* and P2P Systems using Reﬁnement (Full Report) Manamiary Bruno Andriamiarina,Dominique Méry,Neeraj Kumar Singh [Research Report] 2014 Rapport (rapport de recherche) hal-01018162v1
Modelling an Aircraft Landing System in Event-B (Full Report) Dominique Méry,Neeraj Kumar Singh [Research Report] 2014 Rapport (rapport de recherche) hal-00971787v1
Spécification d'un Processus Technico-Physiologique de Perception de Fermeture et Verrouillage d'un capot moteur en situation de maintenance aéronautique Jean-Marc Dupont,Romain Lieber,Gérard Morel,Dominique Méry,Fabien Bouffaron 2012 Rapport hal-00769223v1
Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods Dominique Méry,Neeraj Kumar Singh [Technical Report] 2011 Rapport (rapport technique) inria-00584177v1
Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata Dominique Méry,Neeraj Kumar Singh [Technical Report] 2011 Rapport (rapport technique) inria-00600339v1
Stepwise Development Of Distributed Vertex Coloring Algorithms (Full Report) Manamiary Bruno Andriamiarina,Dominique Méry [Technical Report] LORIA - Université de Lorraine. 2011, pp.90 Rapport (rapport technique) inria-00606254v2
Technical Report on Formal Development of Two-Electrode Cardiac Pacing System Dominique Méry,Neeraj Kumar Singh [Research Report] 2010 Rapport (rapport de recherche) inria-00465061v2
AA4MM coordination model and event-B specification Julien Siebert,Joris Rehm,Vincent Chevrier,Laurent Ciarletta,Dominique Méry [Research Report] RR-7081, INRIA. 2009, pp.22 Rapport (rapport de recherche) inria-00435569v3
Pacemaker's Functional Behaviors in Event-B Dominique Méry,Neeraj Kumar Singh [Research Report] 2009 Rapport (rapport de recherche) inria-00419973v2
Développement incrémental prouvé de systèmes répartis : le cas Mondex Nazim Benaissa,Dominique Méry [Rapport de recherche] 2008, pp.13 Rapport (rapport de recherche) inria-00336655v1
Intégration de contraintes temps-réel au sein d'un processus de développement incrémental basé sur la preuve (Livrable 2) Dominique Cansell,Dominique Méry,Joris Rehm [Rapport de recherche] 2008 Rapport (rapport de recherche) inria-00593372v1
The invoice case study modelling in Event B Dominique Cansell,Dominique Méry [Research Report] 2005 Rapport (rapport de recherche) inria-00000857v1
Projet RNRT EQUAST ; SP2 Spécification incrémentale du système Cyril Proch,Dominique Cansell,Dominique Mery [Interne] A04-R-237 || proch04a, 2004 Rapport inria-00100222v1
Développement de fonctions définies récursivement en B : Application du B événementiel Dominique Cansell,Dominique Méry [Interne] A02-R-347 || cansell02b, 2002, 25 p Rapport inria-00101076v1
Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B. Dominique Cansell,Jacques Jaray,Dominique Méry [Contrat] A00-R-047 || cansell00a, 2000, 34 p Rapport (rapport contrat/projet) inria-00099343v1

Thèse (1)

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 Dominique Méry Autre. Université Henri Poincaré - Nancy 1, 1993. Français. ⟨NNT : 1993NAN10019⟩ Thèse tel-01753615v1

Cours (1)

Tutorial on the event-based B method Dominique Cansell,Dominique Méry IFIP FORTE 2006 Paris, 2006 Cours inria-00092846v1