Nicolas Baudru

Home page

Contact

Maître de conférences en Informatique à Aix-Marseille Université, j'effectue mes enseignements au département Informatique de Polytech Marseille (ex Ecole Supérieure d'Ingénieurs de Luminy (ESIL)), et ma recherche au sein de l'équipe Modélisation et Vérification (MoVe) du Laboratoire d'Informatique Fondamentale de Marseille (LIF).

Voici une vue aérienne de mon lieu de travail, à Luminy, aux pieds des calanques de Marseille :

[photo]

Pour me contacter par lettre, téléphone, mail, ou même en vrai !

[photo] Nicolas Baudru
Polytech Marseille-ESIL
Département Informatique
Parc scientifique et technologique de Luminy
163 avenue de Luminy
Case 925 - 13288 Marseille Cedex 09

Plan d'accès

Tél : +33 (0)4 91 82 85 59
[adresses]

Quelques liens :

Enseignements

Recherche

Thèmes de recherche

Mes recherches se situent dans le cadre de la construction et de la vérification de systèmes complexes tels que les systèmes distribués. Je m'intéresse principalement aux différents modèles de la concurrence tels que les automates asynchrones (ou automate de Zielonka), les automates communicants (CFMs) ou les réseaux de Petri.

Publications

Revues - Conférences - Rapports de recherche - Thèse

Revues internationales
  1. Compositional synthesis of asynchronous automata Nicolas Baudru Theor. Comput. Sci. 412(29): 3701-3716 (2011)
Conférences internationales
  1. Distributed Asynchronous Automata [pdf] Nicolas Baudru CONCUR'09
  2. Synthesis of Safe Message-Passing Systems [pdf] Nicolas Baudru and Rémi Morin FSTTCS'07
  3. The Synthesis Problem of Netcharts [pdf] Nicolas Baudru and Rémi Morin ATPN'06
  4. Unfolding Synthesis of Asynchronous Automata [pdf] Nicolas Baudru and Rémi Morin CSR'06
  5. The pros and cons of netcharts [pdf] Nicolas Baudru and Rémi Morin CONCUR'04
  6. Safe Implementability of Regular Message Sequence Chart Specifications [pdf] Nicolas Baudru and Rémi Morin SNPD'03
Rapports de recherche Thèse

Projets

Projet en cours : Anciens projets :

Copyright © "2012" Nicolas Baudru - Tous droits réservés | Accueil | Contact | Enseignement | Recherche.