Equipe SAFER

Présentation Membres Publications Séminaires Thèses Logiciels

Thèse en cours

Co-Verification of Parametric Timed Automata and Event-B Models

GWEUGNA Gibris

Directeur(s): Laure PETRUCCI, Frédéric MALLET
Date de début: 2025-10-01

Efficient lightweight verification of cyberphysical systems

TA QUANG Minh

Directeur(s): Etienne ANDRE, Laure PETRUCCI
Date de début: 2025-09-01

SYNthesis in PArametric TImed games with Concurrency and data

FIEVET Baptiste

Directeur(s): Laure PETRUCCI, Jaco VAN DE POL
Date de début: 2022-10-01