Membre
Fiche Membre
Expertises équipes
Calcul intermittentOrdonnancement temps réelSûreté de fonctionnementSystèmes temporisés, paramétrés, hybridesGaëtan Staquet
Enseignant chercheur / Enseignante chercheuse
– Maître / maîtresse de conférences
Equipe : STR
Employeur : Centrale Nantes
Expertises :
Publications déposées sur HAL
Nombre de publications retournées : 3Conférences internationales avec comité de lecture et actes
- [1] V. Bruyère, B. Garhewal, G. Pérez, G. Staquet, F. Vaandrager. Active Learning of Mealy Machines with Timers, in QEST+FORMATS 2025 – Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Aarhus, Danemark, DOI
- [2] K. Dubrulle, V. Bruyère, G. Pérez, G. Staquet. Visibly Recursive Automata, in International Conference on Developments in Language Theory, Rouen, France, DOI
- [3] N. Bertrand, P. Bouyer, G. Staquet. Antichains for Concurrent Parameterized Games, in GandALF 2026 – Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification, Aalbord, Danemark, DOI
Pas de projets référencées pour l’instant
Pas de plateformes référencées pour l’instant
Pas de logiciels de référencés pour l’instant