Follow
Thao Dang
Thao Dang
CNRS Research Director, Laboratory VERIMAG, Grenoble, France
Verified email at imag.fr - Homepage
Title
Cited by
Cited by
Year
SpaceEx: Scalable verification of hybrid systems
G Frehse, CL Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
International Conference on Computer Aided Verification, 379-395, 2011
10372011
Approximate reachability analysis of piecewise-linear dynamical systems
E Asarin, O Bournez, T Dang, O Maler
International workshop on hybrid systems: Computation and control, 20-31, 2000
4712000
Effective synthesis of switching controllers for linear systems
E Asarin, O Bournez, T Dang, O Maler, A Pnueli
Proceedings of the IEEE 88 (7), 1011-1025, 2000
3052000
Reachability analysis via face lifting
T Dang, O Maler
International Workshop on Hybrid Systems: Computation and Control, 96-109, 1998
2711998
Reachability analysis of hybrid systems via predicate abstraction
R Alur, T Dang, F Ivančić
International Workshop on Hybrid Systems: Computation and Control, 35-48, 2002
239*2002
Hierarchical modeling and analysis of embedded systems
R Alur, T Dang, J Esposito, Y Hur, F Ivancic, V Kumar, P Mishra, ...
Proceedings of the IEEE 91 (1), 11-28, 2003
2382003
The d/dt tool for verification of hybrid systems
E Asarin, T Dang, O Maler
International Conference on Computer Aided Verification, 365-370, 2002
2352002
Hybridization methods for the analysis of nonlinear systems
E Asarin, T Dang, A Girard
Acta Informatica 43 (7), 451-476, 2007
2282007
Reachability analysis of nonlinear systems using conservative approximation
E Asarin, T Dang, A Girard
International Workshop on Hybrid Systems: Computation and Control, 20-35, 2003
2062003
Model-based design for embedded systems
G Nicolescu, PJ Mosterman
Crc Press, 2018
1632018
Predicate abstraction for reachability analysis of hybrid systems
R Alur, T Dang, F Ivančić
ACM transactions on embedded computing systems (TECS) 5 (1), 152-199, 2006
1612006
Verification of analog and mixed-signal circuits using hybrid system techniques
T Dang, A Donzé, O Maler
International Conference on Formal Methods in Computer-Aided Design, 21-36, 2004
1582004
Hierarchical hybrid modeling of embedded systems
R Alur, T Dang, J Esposito, R Fierro, Y Hur, F Ivančić, V Kumar, I Lee, ...
International Workshop on Embedded Software, 14-31, 2001
1442001
Accurate hybridization of nonlinear systems
T Dang, O Maler, R Testylier
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
1392010
Recent progress in continuous and hybrid reachability analysis
E Asarin, T Dang, G Frehse, A Girard, C Le Guernic, O Maler
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 2006
1332006
Counter-example guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić
International Conference on Tools and Algorithms for the Construction and …, 2003
1282003
Progress on reachability analysis of hybrid systems using predicate abstraction
R Alur, T Dang, F Ivančić
International Workshop on Hybrid Systems: Computation and Control, 4-19, 2003
1082003
Counterexample-guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić
Theoretical Computer Science 354 (2), 250-271, 2006
1042006
Efficient guiding strategies for testing of temporal properties of hybrid systems
T Dreossi, T Dang, A Donzé, J Kapinski, X Jin, JV Deshmukh
NASA Formal Methods Symposium, 127-142, 2015
1002015
Verification and synthesis of hybrid systems
TXT Dang
Institut National Polytechnique de Grenoble-INPG, 2000
992000
The system can't perform the operation now. Try again later.
Articles 1–20