Co-Verification of Parametric Timed Automata and Event-B Models
GWEUGNA Gibris
Directeur(s)
Laure PETRUCCI,
Frédéric MALLET
Date de début2025-10-01
Efficient lightweight verification of cyberphysical systems
TA QUANG Minh
Directeur(s)
Etienne ANDRE,
Laure PETRUCCI
Date de début2025-09-01
SYNthesis in PArametric TImed games with Concurrency and data
FIEVET Baptiste
Directeur(s)
Laure PETRUCCI,
Jaco VAN DE POL
Date de début2022-10-01