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, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
11652011
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
5022000
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
3152000
Reachability analysis via face lifting
T Dang, O Maler
International Workshop on Hybrid Systems: Computation and Control, 96-109, 1998
2821998
Reachability analysis of hybrid systems via predicate abstraction
R Alur, T Dang, F Ivančić
Hybrid Systems: Computation and Control: 5th International Workshop, HSCC …, 2002
247*2002
Hybridization methods for the analysis of nonlinear systems
E Asarin, T Dang, A Girard
Acta Informatica 43, 451-476, 2007
2452007
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
2412003
The d/dt tool for verification of hybrid systems
E Asarin, T Dang, O Maler
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
2412002
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
2252003
Model-based design for embedded systems
G Nicolescu, PJ Mosterman
Crc Press, 2018
1792018
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
1682004
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
1622006
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
1552001
Accurate hybridization of nonlinear systems
T Dang, O Maler, R Testylier
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
1492010
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
1462006
Counter-example guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić1
International Conference on Tools and Algorithms for the Construction and …, 2003
1322003
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: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
1242015
Counterexample-guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić
Theoretical Computer Science 354 (2), 250-271, 2006
1082006
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
1052003
Coverage-guided test generation for continuous and hybrid systems
T Dang, T Nahhal
Formal Methods in System Design 34, 183-213, 2009
1002009
The system can't perform the operation now. Try again later.
Articles 1–20