![[français]](http://www.lif.univ-mrs.fr/IMG/ico-fr.png)
I am assistant professor in computer science at the
Aix-Marseille University
(previously
Université de Provence).
I perform my teaching activities in the
UFR MIM and my research at the
LIF,
in the modeling and verification (MoVe) group.
Contact:
Laboratoire d’Informatique Fondamentale
CMI, 39, av Joliot-Curie
F-13453 Marseille cedex 13, France
Office : R 334
Phone : +33 (0)4 13 55 13 07
Fax : +33 (0)4 13 55 13 02
E-mail : pierre-alain.reynier[@]lif.univ-mrs.fr
Welcome!
News:
MOVEP 2012 will be held in Marseilles! (see the website)
Our work on the streaming evaluation of visibly pushdown transducers with limited memory (see on HAL) has been accepted at the conference FSTTCS'11.
Our work presenting a hierarchical approach for the controller synthesis for hybrid systems (see the Publications) has been accepted at the conference ATVA'11.
Our work presenting a new algorithm for the computation of the minimal coverability set of Petri nets (see on HAL) has been accepted at the conference Petri Nets'11.
Our work on the quantitative analysis of timed automata (see on HAL) has been accepted at the conference FoSSaCS'11.
Research Topics:
Formal Methods, Verification, Model-Checking, (Timed) Automata, (Timed) Petri Nets, Concurrency, Robustness, Temporal Logics.
More details are available via the Research link.
Publications:
They are available via the Publications link.
Teaching:
Informations (in french) are available via the Teaching link.