Pierre-Alain Reynier

Professeur, Université d'Aix-Marseille, Département Informatique et Interactions

Chercheur au LIS

Responsable de l'équipe Modélisation et Vérification (MoVe) du LIS

Responsable du Parcours Informatique et Mathématiques Discrètes du Master Informatique.

Co-responsable (avec Nathalie Bertrand) du groupe de travail Vérification du GDR-IM du CNRS

Contact :

Laboratoire d’Informatique et Systèmes
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@lis-lab.fr (Nouveau !)

Bienvenue !

Actualités :

Je fais partie du comité de programme de la 34ème édition du congrès ACM/IEEE sur la logique en informatique (LICS 2019).

Nouvelle offre de formation de master 2018/2022 : Parcours Informatique et Mathématiques Discrètes

La 12ème édition de la conférence internationale sur les problèmes d'accessibilité (RP 2018) aura lieu à Marseille du 24 au 26 septembre 2018 !

La prochaine édition des journées annuelles du GT-Verif aura lieu à Grenoble, organisée par Radu Iosif au Verimag, du 28 au 30 mai 2018.

Je fais partie du comité de programme de la 43ème édition de la conférence internationale sur les fondements mathématiques de l'informatique (MFCS 2018).

Exposé à venir aux journées nationales du GDR Informatique Mathématique le 4 avril

Exposé récent le 22 février au département d'informatique de l'université d'Oxford sur la minimisation de registres dans les SST: slides

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.

La dernière édition du colloque sur la Modélisation des Systèmes Réactifs a eu lieu à Marseille en 2017. Vous pouvez consulter la page web.

Travaux récents :

Nouveau papier accepté à FM 2018 :

Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty, avec Giovanni Bacci, Patricia Bouyer-Decitre, Uli Fahrenberg, Kim Guldstrand Larsen et Nicolas Markey.

Soumission récente :

From Two-Way Transducers to Regular Functions Expressions, avec Nicolas Baudru.

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

Deux papiers acceptés à FoSSaCS'17:

Degree of sequentiality of weighted automata, with Laure Daviaud, Ismael Jecker and Didier Villevalois. Rapport
Optimal Reachability in Divergent Weighted Timed Games, with Damien Busatto-Gaston and Benjamin Monmege. Rapport

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.