Eugene Asarin

Eugene Asarin

professeur d'informatique, IRIF, Université de Paris
כתובת אימייל מאומתת בדומיין irif.fr
צוטט על ידי 6142
timed systems hybrid systems verification entropy
Igor Walukiewicz

Igor Walukiewicz

CNRS, LaBRI, Bordeaux University
כתובת אימייל מאומתת בדומיין labri.fr
צוטט על ידי 5893
Verification Automata theory Concurrency Timed Systems Higher-order program verification
Jakob Haahr Taankvist

Jakob Haahr Taankvist

PhD student, Aalborg University, Department of Computer Science
כתובת אימייל מאומתת בדומיין cs.aau.dk
צוטט על ידי 650
Formal Methods Timed Systems Machine Learning Model Checking Statistical Model Checking
Belgacem BEN HEDIA

Belgacem BEN HEDIA

CEA-LIST
כתובת אימייל מאומתת בדומיין cea.fr
צוטט על ידי 145
Real-time & embedded system Code synthesis Model-compilation Formal V&V Timed systems
Hoang Gia Nguyen

Hoang Gia Nguyen

Université Paris 13
כתובת אימייל מאומתת בדומיין lipn.univ-paris13.fr
צוטט על ידי 104
Model Checking Verification Distributed Computing Distributed and Concurrent Systems Timed systems
Heinrich Ody

Heinrich Ody

PhD Student, University of Oldenburg
כתובת אימייל מאומתת בדומיין uni-oldenburg.de
צוטט על ידי 39
Temporal Logic Timed Systems Synthesis