Pierre-Alain Reynier

Contact :

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


Office : A208 (bibilothèque universitaire, 2ème étage)
Phone : +33 (0)4 86 09 06 73
Fax : +33 (0)4 86 09 ?? ??

E-mail : prénom.nom@lif.univ-mrs.fr



Bienvenue !

Actualités :

La prochaine édition du workshop international sur les problèmes d'accessibilité (RP 2018) aura lieu à Marseille.

Notre algorithme Monotone Pruning pour le calcul de l'ensemble minimal de couverture d'un réseau de Petri a été implémenté en C++ par Florent Jaillet. L'outil peut être trouvé ici.

Le colloque sur la Modélisation des Systèmes Réactifs (MSR) aura lieu à Marseille en 2017. Vous pouvez consulter la page web.

Travaux récents :

Nouveau papier accepté a RP'17 : Copyful Streaming String Transducers (avec Emmanuel Filiot). Papier.

Deux papiers acceptés à FoSSaCS'17:

Avec Emmanuel Filiot, nous avons publié un survey sur les transducteurs dans la Siglog Newsletter, July 2016.

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.