Accéder directement au contenu

Dominique Méry

12
Documents

Présentation

- Full Professor in Computing Science - Head of the team [MOSEL](http://mosel.loria.fr) of the [LORIA](http://www.loria.fr) laboratory - Professor at [Telecom Nancy](https://telecomnancy.univ-lorraine.fr/) - 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](http://members.loria.fr/Mery)

Publications

2508

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

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

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

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

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

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