Eugene Asarin

Eugene Asarin

professeur d'informatique, IRIF, Université de Paris
Verified email at irif.fr
Cited by 6030
timed systems hybrid systems verification entropy
Igor Walukiewicz

Igor Walukiewicz

CNRS, LaBRI, Bordeaux University
Verified email at labri.fr
Cited by 5730
Verification Automata theory Concurrency Timed Systems Higher-order program verification
Jakob Haahr Taankvist

Jakob Haahr Taankvist

PhD student, Aalborg University, Department of Computer Science
Verified email at cs.aau.dk
Cited by 574
Formal Methods Timed Systems Machine Learning Model Checking Statistical Model Checking
Belgacem BEN HEDIA

Belgacem BEN HEDIA

CEA-LIST
Verified email at cea.fr
Cited by 136
Real-time & embedded system Code synthesis Model-compilation Formal V&V Timed systems
Hoang Gia Nguyen

Hoang Gia Nguyen

Université Paris 13
Verified email at lipn.univ-paris13.fr
Cited by 94
Model Checking Verification Distributed Computing Distributed and Concurrent Systems Timed systems
Heinrich Ody

Heinrich Ody

PhD Student, University of Oldenburg
Verified email at uni-oldenburg.de
Cited by 38
Temporal Logic Timed Systems Synthesis