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, ...
International Conference on Computer Aided Verification, 379-395, 2011
8452011
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
4342000
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
2922000
Reachability analysis via face lifting
T Dang, O Maler
International Workshop on Hybrid Systems: Computation and Control, 96-109, 1998
2651998
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
230*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
2182003
The d/dt tool for verification of hybrid systems
E Asarin, T Dang, O Maler
International Conference on Computer Aided Verification, 365-370, 2002
2052002
Hybridization methods for the analysis of nonlinear systems
E Asarin, T Dang, A Girard
Acta Informatica 43 (7), 451-476, 2007
1992007
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
1862003
Model-based design for embedded systems
G Nicolescu, PJ Mosterman
Crc Press, 2018
157*2018
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
1512006
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
1402001
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
1392004
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
1142003
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
1112006
Accurate hybridization of nonlinear systems
T Dang, O Maler, R Testylier
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
1072010
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
1022003
Counterexample-guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić
Theoretical Computer Science 354 (2), 250-271, 2006
1012006
Verification and synthesis of hybrid systems
T Dang
PhD Thesis, Institut National Polytechnique de Genoble, VERIMAG, 2000
952000
Coverage-guided test generation for continuous and hybrid systems
T Dang, T Nahhal
Formal Methods in System Design 34 (2), 183-213, 2009
852009
The system can't perform the operation now. Try again later.
Articles 1–20