Dominique Méry

180
Documents

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

53
31
21
18
17
16
14
13
12
11
11
10
10
9
9
8
8
6
5
5
5
5
5
5
5
4
4
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
53
26
24
23
17
7
7
3
2
2
2
2
2
2
2
1
1
1
1
1
1
18
12
11
8
5
1
1
2
6
4
9
5
1
3
5
5
2
12
8
8
14
8
9
5
8
6
8
5
6
4
3
10
11
11
1
70
57
44
40
38
21
10
5
1
1
1

Publications

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-04620616 v1

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 Mosbah et al.
IEEE Access, 2023, 11, pp.84620-84635. ⟨10.1109/ACCESS.2023.3302529⟩
Article dans une revue hal-04183865 v1

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 Navarre et al.
Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Article dans une revue hal-03617603 v1

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éry et al.
Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Article dans une revue hal-03904803 v1

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-03904790 v1

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-03904791 v1

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-03904787 v1

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, ⟨10.1093/iwcomp/iwab016⟩
Article dans une revue hal-03224780 v1

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-01245819 v1

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 hal-01316026 v1

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-01245832 v1

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-01495802 v1

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-00924525 v1

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-01097629 v1
Image document

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éry et 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-00805851 v1

Formal Specification of Medical Systems by Proof-Based Refinement

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-00637756 v1

Proving Distributed Algorithms by Combining Refinement 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-00644187 v1

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-00637761 v1

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-00540007 v1

System-on-chip design by proof-based refinement

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-00426385 v1

Refinement-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-00426383 v1

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-00426384 v1

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-00594892 v1

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-00184827 v1

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-00594883 v1

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-00147824 v1

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-00093164 v1

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-00001252 v1
Image document

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-00000196 v1

Foundations of the B method

Dominique Cansell , Dominique Méry
Computing and Informatics, 2003, 22, 31 p
Article dans une revue inria-00099794 v1

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-00099531 v1

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-00099265 v1

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-00098448 v1

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-04804849 v1

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-04804884 v1
Image document

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éry et 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-04095980 v1
Image document

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-03857803 v2
Image document

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-03199808 v1

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-03298750 v1
Image document

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-03487118 v2
Image document

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

Neeraj Kumar Singh , Yamine Aït-Ameur , Dominique Méry , David Navarre , Philippe Palanque et 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-02942767 v1

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-02997277 v1

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-02999148 v1

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-02400379 v1

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-01933971 v1
Image document

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-01798224 v1
Image document

Virtual environment design as automated "physiological" 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-03198564 v1

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-01495807 v1

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-01631017 v1
Image document

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-01658423 v1

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-01369425 v1
Image document

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-03198362 v1

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-01245991 v1

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-00985010 v1

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-01097645 v1
Image document

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-01097624 v1

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-00995176 v1

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-01097625 v1

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-01018125 v1

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 hal-00862077 v1

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-00813033 v1

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-00819256 v1

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-00862050 v1

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-00862056 v1

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-00743810 v1
Image document

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-00734131 v1
Image document

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-00763092 v1

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-00747305 v1

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-00579252 v1

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-00638486 v1

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-00637768 v1

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-00638478 v1

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-00638467 v1

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-00638473 v1

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-00637765 v1

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-00542919 v1
Image document

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-00540005 v1

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-00547302 v1

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-00540008 v1

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-00361933 v1
Image document

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-00426405 v1

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-00431253 v1

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-00431264 v1
Image document

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-00287231 v2

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-00155143 v1
Image document

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-00149163 v1
Image document

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-00184833 v1

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-00168307 v1
Image document

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-00089497 v1

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-00120743 v1
Image document

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-00001262 v1
Image document

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-00000564 v1

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-00000565 v1

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-00000788 v1

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-00001245 v1
Image document

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-00000767 v1
Image document

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-00107780 v1

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-00100064 v1

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-00100068 v1

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-00100065 v1

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-00099541 v1

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-00099835 v1

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-00099793 v1

Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement

Dominique Cansell , Camel Tanougast , Yves Berviller , Dominique Méry , Cyril Proch et al.
Forum on specification and Design Languages - FDL'03, 2003, Frankfurt, Germany, France. 12 p
Communication dans un congrès inria-00099834 v1
Image document

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-00120944 v1

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-00100888 v1

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-00100945 v1

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-00100598 v1

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-00101089 v1

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-00100931 v1

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-00099125 v1

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-00099263 v1

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-00099157 v1

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-00099267 v1

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-00099262 v1

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-00099261 v1

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-00098953 v1

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-00098998 v1
Image document

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-00108114 v1

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-00098882 v1
Image document

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-00098760 v1

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-00108066 v1
Image document

Validation of formal specifications

Dominique Méry , Yassine Mokhtari
AAAI'99, Fall Symposium, Nov 1999, none, 5 p
Communication dans un congrès inria-00108115 v1

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-00098874 v1

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-00098918 v1

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-00098541 v1

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-00098620 v1

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-00098540 v1

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-00098406 v1

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-00098617 v1

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-00098409 v1

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-00098542 v1

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-00098616 v1

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-02910199 v1

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-01246691 v1

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-00987531 v1

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-00743808 v1

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-00539785 v1

Special Issue FMPPTA'98

Dominique Méry
World Scientific, 1999, Parallel Processing Letters
Ouvrages inria-00108068 v1

Edition Spéciale RenPar'10

Dominique Méry , Guy-René Perrin
Hermès, 1999, TSI
Ouvrages inria-00108067 v1

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-00098618 v1

RenPar'10

Guy-René Perrin , Dominique Méry
ULP, 264 p, 1998
Ouvrages inria-00098635 v1

Empowering the Event-B Method Using External Theories

Yamine Aït-Ameur , Ismail Mendil , Guillaume Dupont , Dominique Méry , Marc Pantel et 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-03904799 v1

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-03199748 v1

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-03199742 v1

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-03250787 v1

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-01246669 v1

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-01216779 v1

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-00926335 v1

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-00762821 v1

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-00762822 v1
Image document

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-00744242 v1

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-00579550 v1

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-00174023 v1

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-00096696 v1

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-00099264 v1

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-00099324 v1
Image document

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-02572971 v1
Image document

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-02895528 v1
Image document

Modelling an Aircraft Landing System in Event-B (Full Report)

Dominique Méry , Neeraj Kumar Singh
[Research Report] 2014
Rapport (rapport de recherche) hal-00971787 v1
Image document

Analysis of Self-* and P2P Systems using Refinement (Full Report)

Manamiary Bruno Andriamiarina , Dominique Méry , Neeraj Kumar Singh
[Research Report] 2014
Rapport (rapport de recherche) hal-01018162 v1

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-00769223 v1
Image document

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-00600339 v1
Image document

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-00606254 v2
Image document

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-00584177 v1
Image document

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-00465061 v2
Image document

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-00435569 v3
Image document

Pacemaker's Functional Behaviors in Event-B

Dominique Méry , Neeraj Kumar Singh
[Research Report] 2009
Rapport (rapport de recherche) inria-00419973 v2
Image document

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-00336655 v1
Image document

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-00593372 v1
Image document

The invoice case study modelling in Event B

Dominique Cansell , Dominique Méry
[Research Report] 2005
Rapport (rapport de recherche) inria-00000857 v1

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-00100222 v1

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-00101076 v1

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-00099343 v1