I am assistant professor in computer science at the
I perform my teaching activities in the Computer Science department and my research at the LIF, in the modeling and verification (MoVe) group.
Laboratoire d’Informatique Fondamentale
Parc Scientifique de Luminy
163 avenue de Luminy - Case 901
F-13288 Marseille Cedex 9, France
Office : 612 (building TPR1, 6th floor)
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
New paper accepted to CIAA'13: Trimming Visibly Pushdown Automata (with Mathieu Caralp and Jean-Marc Talbot).
MOVEP 2012 was held in Marseilles! Slides and pictures are online!
Our work on the robustness analysis of Time Petri nets has been accepted at the workshop RP'12.
Our work on the construction of a set of predicates with minimal cost for control has been accepted at the conference ATVA'12.
Our work on the characterization of infinite Visibly Pushdown Automata with multiplicities has been accepted at the conference DLT'12. See also our research report on a trimming procedure for VPA (on HAL).
Formal Methods, Verification, Model-Checking, (Timed) Automata, (Timed) Petri Nets, Concurrency, Robustness, Temporal Logics.
More details are available via the Research link.
They are available via the Publications link.
Informations (in french) are available via the Teaching link.