Thème de recherche:résolution de contraintes symboliques, vérification de calculs de processus, vérification de calculs de processus, vérification de protocoles cryptographiques, logique pour documents semi-structurés.

Publications via DBLP (Trier University).

Contact

Denis Lugiez
LIF - CMI,
39, rue Joliot-Curie
F-13453 Marseille Cedex 13, France.

How to get here.
Comment venir au CMI.

E-Mail: lugiez[at]lif.univ-mrs.fr
Tel.: +33 (0)4 91 11 36 23;
Fax: +33 (0)4 91 11 36 02;
Tel. (secrétariat): +33 (0)4 91 11 35 21

Projets

En cours:

projet ANR Codex
Réunion du 19 mars

Passés:

projet COPS, COmposition des Politiques et des Services (projet de l'Action de Recherche Amont "Sécurité, système embarqués et intelligence ambiante", 2005).
projet Tralala, Langages pour la manipulation de documents XML : fondement et pratique (ACI Masse de données, 2004).

Publications Récentes

Collaborative Peer to Peer Editing: Avoiding conflict is better than Solving Conflicts. Stephane Martin and Denis Lugiez. Research Report of Applied Computing 2009.
Forward Analysis of Dynamic Network of Pushdown Systems is Easier without Order. Denis Lugiez. Research Report of Reachability Problems 2009.
Symbolic Protocol Analysis for Monoidal Equational Theories. Stephanie Delaune, Pascal Lafourcade, Denis Lugiez and Ralf Treinen. Information and Computation Volume 206 Issue2- 4, pages 312-351, 2008.
Intruder Deduction for the Equational Theory of Abelian Groups with Distributive Encryption. Pascal Lafourcade, Denis Lugiez and Ralf Treinen. Information and Computation Volume 205 Issue 4, pages 581-623, 2007.
XML schema, tree logic and sheaves automata. Silvano Dal Zilio and Denis Lugiez. Applicable Algebra in Engineering, Communication and Computing 17(5):337-377, Oct. 2006.
[doi:10.1007/s00200-006-0016-7]
A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata . Denis Lugiez, Peter Niebert and Sarah Zennou. Theoretical Computer Science Volume 345, Issue 1, 21 November 2005, Pages 27-59
[doi:10.1016/j.tcs.2005.07.023]

Sujets de Stage

Stage de licence (6-8 semaines): Implémentation d'un algorithme d'Edition collaborative.
Stage de master (3-4 mois): Bisimulation faible des BPP.

Enseignement

Master d'Informatique

Informations générales et Inscriptions année 2010-2011. CEF Informations options BDA , FSI .
Anné 2010-2012. Informations .
Cours Fiabilité Logicielle 1 du Master Professionnel Informatique Avancée et Applications (I2A) proposé par l'UFR MIM de l'université de Provence au CMI.

recherche opérationnelle

Licence d'Informatique

CV

Thèse en Calcul Formel Algebra "Algorithmes de Factorisation de Polynomes". (Institut National PolyTechnique de Grenoble)
Maitre de Conférences à l' Université Henri Poincaré Nancy. Team Eureca and Protheo
Professeur à l'Université de Provence

Liens

WE d'equipe
The MOdelling and VErification group. - MOVE (LIF-CNRS)
The TATA Book. An interactive book on tree automata.
Journées PARISTIC 2006
Spécif Société des personnels enseignants et chercheurs en informatique de France.