Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Dominique Méry »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Dominique Mery < Dominique Méry < Dominique Picard  Facettes :

List of bibliographic references indexed by Dominique Méry

Number of relevant bibliographic references: 239.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000052 (2016-03-09) Yamine Ait Ameur [France] ; Dominique Méry [France]Making explicit domain knowledge in formal system development
000180 (2015-12-18) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France]Incremental Proof-Based Development for Resilient Distributed Systems
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000312 (2015-09-26) Dominique Méry [France] ; Sawant Rushikesh [France] ; Anton Tarasyuk [France]Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study
000418 (2015-08-02) Dominique Méry [France] ; Neeraj Kumar Singh [France]Analyzing Requirements Using Environment Modelling
000485 (2015-06-22) Catherine Dubois [France] ; Paolo Masci [Royaume-Uni] ; Dominique Méry [France]Second International Workshop on Formal Integrated Development Environment
000861 (2014-12) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Formal Evaluation of Landing Gear System
000910 (2014-10-08) Yamine Aït Ameur [France] ; J. Paul Gibson [France] ; Dominique Méry [France]On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
000928 (2014-09-24) Dominique Méry [France]Playing with State-Based Models for Designing Better Algorithms
000934 (2014-09-17) Gabriel Ciobanu ; Dominique Méry [France]Theoretical Aspects of Computing – ICTAC 2014
000A25 (2014-07-22) Neeraj Kumar Singh [Canada] ; Dominique Méry [France]Event B (english version)
000A90 (2014-06-22) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]The Semantics of Refinement Chart
000B19 (2014-06-02) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Analysis of Self-* and P2P Systems using Refinement
000B23 (2014-06-02) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modeling an Aircraft Landing System in Event-B
000C14 (2014-04-06) Catherine Dubois [France] ; Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France]Proceedings 1st Workshop on Formal Integrated Development Environment
000C21 (2014-04-03) Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Modelling an Aircraft Landing System in Event-B (Full Report)
000D15 (2014-01) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France]Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)
000E57 (2014) Dominique Méry [France] ; Bernhard Sch Tz [Allemagne] ; Alan Wassyng [Canada]The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
000E82 (2014) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Analysis of Self-* and P2P Systems using Refinement (Full Report)
001103 (2013-07-13) Dominique Méry [France] ; Monahan Rosemary [Irlande (pays)]Transforming EVENT B Models into Verified C# Implementations
001157 (2013-06-17) Mohammed Tounsi [France] ; Mohammed Mosbah [France] ; Dominique Méry [France]From Event-B Specifications to Programs for Distributed Algorithms

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Dominique Méry" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Dominique Méry" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Dominique Méry
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022