Pierre-Alain Reynier

I am assistant professor in computer science at the Aix-Marseille University.

I perform my teaching activities in the Computer Science department and my research at the LIF, in the modeling and verification (MoVe) group.


Contact:

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



Welcome!

News:

New paper accepted to CIAA'13: Trimming Visibly Pushdown Automata (with Mathieu Caralp and Jean-Marc Talbot).

New paper accepted to LICS'13: From two-way to one-way finite state transducers (with Emmanuel Filiot, Olivier Gauwin, Frederic Servais). Preliminary version.

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).

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.