LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Actualité » Doctorants

LEHAUT Mathieu

Doctorant (ATER, )
Équipe : MoVe
Date d'arrivée : 01/09/2017
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 220
    4 place Jussieu
    75252 PARIS CEDEX 05
Tel: 01 44 27 31 92, Mathieu.Lehaut (at) nulllip6.fr
Direction de recherche : Béatrice BÉRARD
Co-encadrement : SZNAJDER Nathalie, Benedikt Bollig (LSV, ENS Paris Saclay)

Synthèse pour les systèmes paramétrés

Le problème est de synthétiser un programme satisfaisant une spécification, dans le cadre de systèmes répartis avec un nombre inconnu de processus participants. Un tel programme sera donc correct par construction.

Publications 2018-2020

  • 2020
  • 2018
    • B. Bollig, M. Lehaut, N. Sznajder : “Round-Bounded Control of Parameterized Systems”, 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), vol. 11138, Proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, California, United States, pp. 370-386, (Springer) (2018)
 Mentions légales
Carte du site |