Pierre-Alain Reynier

Je suis actuellement maître de conférences en informatique à l'Université d'Aix-Marseille.

J'effectue mon enseignement au sein du departement d'informatique et ma recherche au sein du LIF, où je fais partie de l'équipe MOVE.


Contact :

Laboratoire d’Informatique Fondamentale
Parc Scientifique de Luminy
163 avenue de Luminy - Case 901
F-13288 Marseille Cedex 9, France


Office : 612 (batiment TPR1, 6eme etage)
Phone : +33 (0)4 91 82 93 13
Fax : +33 (0)4 91 82 92 75

E-mail : pierre-alain.reynier[@]lif.univ-mrs.fr



Bienvenue !

Actualités :

Notre travail sur l'emondage des automates a pile visible a été accepté a la conference CIAA'13.

Notre travail sur la decidabilite des transducteurs one-way parmi les two-way a été accepté a la conference LICS'13. Version courante.

MOVEP 2012 a eu lieu a Marseille !

Notre travail sur la robustesse des reseaux de Petri temporels a été accepté au workshop RP'12.

Notre travail sur la construction d'un ensemble de predicats pour le controle avec un cout minimal a été accepté à la conférence ATVA'12.

Notre travail sur la caractérisation des automates a pile a multiplicités infinis a été accepté à la conférence DLT'12. Nous avons aussi mis a jour le rapport de recherche sur l'émondage des automates a pile (voir sur HAL).

Thèmes de recherche :

Méthodes Formelles, Vérification, Model-Checking, Automates (Temporisés), Réseaux de Petri (Temporisés), Concurrence, Robustesse, Logiques Temporelles.

Plus de détails sont disponibles via l'onglet Recherche.

Publications :

Elles sont disponibles via l'onglet Publications.