LEHAUT Mathieu

دكـتور
وحـدة : MoVe
تاريـخ المـغادرة : 30/06/2021
https://lip6.fr/Mathieu.Lehaut

رئاسـة البـحث : Béatrice BÉRARD

تأطـير مـشـترك : SZNAJDER Nathalie, Benedikt Bollig (LSV, ENS Paris Saclay)

Synthesis for Parameterized Systems

In this thesis, we study the synthesis problem for distributed systems where the number of participants is not known in advance and in which all participants interact with an uncontrollable environment.
The synthesis problem is about automatically generating a program for such a system that would be correct by construction of a given specification if such a program exists.
We also study the closely related control problem, whose goal is generating a controller for a partially defined system such that all behaviors generated are correct with respect to the specification.

مناقـشـة مـذكـرة : 17/12/2020

أعـضاء لجنة المناقـشة :

TOUILI Tayssir (Laboratoire d'Informatique de Paris Nord) [Rapportrice]
FILIOT Emmanuel (Université Libre de Bruxelles) [Rapporteur]
MINE Antoine (LIP6)
BERTRAND Nathalie (Centre Inria Rennes-Bretagne Atlantique)
CARAYOL Arnaud (Laboratoire d'Informatique Gaspard Monge)
BERARD Béatrice (LIP6)
BOLLIG Benedikt (Laboratoire Spécification et Vérification)
SZNAJDER Tali (LIP6)

تاريـخ المـغادرة : 30/06/2021

إصدارات 2018-2023

  • 2023
  • 2020
    • M. Lehaut : “Synthèse pour les systèmes paramétrés”, أطروحة, مناقـشـة مـذكـرة 17/12/2020, رئاسـة البـحث Bérard, Béatrice, تأطـير مـشـترك : Sznajder, Nathalie, Benedikt, Bollig (LSV, Ens, Paris Saclay) (2020)
    • N. Sznajder, B. Bérard, B. Bollig, M. Lehaut : “Parameterized Synthesis for Fragments of First-Order Logic over Data Words”, Proceedings of the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'20), vol. 12077, Lecture Notes in Computer Science, Dublin, Ireland, pp. 97-118, (Springer) (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
خـريـطـة المـوقـع