- 4
- 3
- 1
- 1
- 1
- 1
- 1
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
- 12
- 2
- 1
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 1
- 1
- 3
- 5
- 2
SAP: A Secure Low-Latency Protocol for Mitigating High Computation Overhead in WI-FI NetworksIEEE Access, 2023, 11, pp.84620-84635. ⟨10.1109/ACCESS.2023.3302529⟩
Article dans une revue
hal-04183865v1
|
From Event-B Specifications to Programs for Distributed AlgorithmsWETICE 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 ComputationsAVOCS 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 Protocols5th 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 BSeventh 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 patternsSeventh International Andrei Ershov Memorial Conference "PERSPECTIVES OF SYSTEM INFORMATICS" - PSI 2009, Jun 2009, Novosibirsk, Russia
Communication dans un congrès
inria-00431253v1
|
|
|
Développement combiné et prouvé de systèmes transactionnels cryptologiquesApproches 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 ProblemsIntegration 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
|
|
Technical Report on Formal Development of Two-Electrode Cardiac Pacing System[Research Report] 2010
Rapport
inria-00465061v2
|
|
Pacemaker's Functional Behaviors in Event-B[Research Report] 2009
Rapport
inria-00419973v2
|
|
Intégration de contraintes temps-réel au sein d'un processus de développement incrémental basé sur la preuve (Livrable 2)[Rapport de recherche] 2008
Rapport
inria-00593372v1
|
|
Développement incrémental prouvé de systèmes répartis : le cas Mondex[Rapport de recherche] 2008, pp.13
Rapport
inria-00336655v1
|