Theses in progress


Co-Verification of Parametric Timed Automata and Event-B Models
GWEUGNA Gibris
Directeur(s) : PETRUCCI Laure, MALLET Frédéric
Date debut : 2025

Efficient lightweight verification of cyberphysical systems
TA QUANG Minh
Directeur(s) : ANDRE Etienne, PETRUCCI Laure
Date debut : 2025

Theses defended


Back to Top
lose weight with this simple natura n4bjq | unlock the secret what do you mix with apple cider v bszro | the secret benefits of keto acv gummies for | valerie bertinelli s weight loss secrets from stru mscws | how trisha yearwood lost 40 pounds in 2025 a celebri jsr7u | lainey wilson s 2025 weight loss journey secrets to h vshx8 | natural mounjaro recipe 2025 a beginner s guide to 4isaj | lainey wilson weight loss the inspiring transformati nsojw | the ultimate guide to lose weight without exerci wavuk | trisha yearwood s 4 weight loss secre fcyin | lose weight fast in 2025 the best diet and exercis v3clw | kevin james s 2025 transformation how he lost 50 po 97io2 | lisa marie presley weight loss the diet that he mjvrw | the most effective exercises to lose belly fa aew4n | lisa marie presley s ultimate 2025 weight loss pl uoi8y | lainey wilson s 2025 weight loss how she | lose 10 pounds faster the best weight loss gummie s4ocn |