Search - Archive ouverte HAL Access content directly

Filter your results

185 Results

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
Conference papers inria-00100064v1

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
Conference papers inria-00101089v1

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⟩
Journal articles inria-00093164v1
Image document

Tutorial on the event-based B method

Dominique Cansell , Dominique Méry
IFIP FORTE 2006 Paris, 2006
Lectures inria-00092846v1

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
Journal articles inria-00099531v1

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
Conference papers 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
Conference papers inria-00098406v1
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
Conference papers 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
Conference papers inria-00098882v1

Foundations of the B method

Dominique Cansell , Dominique Méry
Computing and Informatics, 2003, 22, 31 p
Journal articles inria-00099794v1
Image document

Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods

Dominique Méry , Neeraj Kumar Singh
[Technical Report] 2011
Reports inria-00584177v1

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
Conference papers inria-00637768v1
Image document

EB2C : A Tool for Event-B to C Conversion Support

Dominique Méry , Neeraj Kumar Singh
2010
Other publications inria-00540006v1

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⟩
Journal articles inria-00594883v1

Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Alexander Raschke , Dominique Méry
ABZ 2021 - 8th International Conference on Rigorous State Based Methods, Jun 2021, Ulm, Germany. 12709, Springer International Publishing, 2021, Lecture Notes in Computer Science, 978-3-030-77543-8. ⟨10.1007/978-3-030-77543-8⟩
Proceedings hal-03529208v1

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
Conference papers hal-01097645v1

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
Conference papers hal-01245991v1
Image document

Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract)

Manamiary Bruno Andriamiarina , Dominique Méry
2011
Preprints, Working Papers, ... inria-00606201v1

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
Conference papers hal-00813033v1

Rigorous State-Based Methods - 7th International Conference, {ABZ} 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Alexander Raschke , Dominique Méry , Frank Houdek
Alexander Raschke; Dominique Méry; Frank Houdek. ABZ 2020, May 2020, ULM, Germany. Lecture Notes in Computer Science (12071), Springer, 2020, Rigorous State-Based Methods - 7th International Conference, {ABZ} 2020, Ulm, Germany, May 27-29, 2020, Proceedings, 978-3-030-48076-9
Proceedings hal-02999312v1

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⟩
Conference papers hal-02400379v1
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⟩
Conference papers hal-03857803v2
Image document

On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems

Yamine Aït-Ameur , J. 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⟩
Conference papers hal-01097624v1

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⟩
Conference papers istex inria-00168307v1

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⟩
Journal articles istex inria-00426385v1
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
Journal articles hal-00805851v1

Projet RNRT EQUAST ; SP2 Spécification incrémentale du système

Cyril Proch , Dominique Cansell , Dominique Mery
[Interne] A04-R-237 || proch04a, 2004
Reports inria-00100222v1
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
Conference papers inria-00107780v1
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
Conference papers inria-00108114v1
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
Conference papers hal-00120944v1