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