Thao Dang
Thao Dang
CNRS Research Director, Laboratory VERIMAG, Grenoble, France
Dirección de correo verificada de imag.fr - Página principal
TítuloCitado porAño
SpaceEx: Scalable verification of hybrid systems
G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ...
Computer Aided Verification, 379-395, 2011
7892011
Approximate reachability analysis of piecewise-linear dynamical systems
E Asarin, O Bournez, T Dang, O Maler
Hybrid Systems: Computation and Control, 20-31, 2000
4172000
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
2912000
Reachability analysis via face lifting
T Dang, O Maler
Hybrid Systems: Computation and Control, 96-109, 1998
2581998
Reachability analysis of hybrid systems via predicate abstraction
R Alur, T Dang, F Ivančić
Hybrid Systems: Computation and Control, 35-48, 2002
227*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
2172003
The d/dt tool for verification of hybrid systems
E Asarin, T Dang, O Maler
Computer Aided Verification, 365-370, 2002
2012002
Hybridization methods for the analysis of nonlinear systems
E Asarin, T Dang, A Girard
Acta Informatica 43 (7), 451-476, 2007
1882007
Reachability analysis of nonlinear systems using conservative approximation
E Asarin, T Dang, A Girard
Hybrid Systems: Computation and Control, 20-35, 2003
1822003
Model-Based Design for Embedded Systems
S Tripakis, T Dang
CRC Press, Chapter Modeling, Verification and Testing using Timed and Hybrid …, 2009
147*2009
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
1462006
Hierarchical hybrid modeling of embedded systems
R Alur, T Dang, J Esposito, R Fierro, Y Hur, F Ivančić, V Kumar, I Lee, ...
Embedded Software, 14-31, 2001
1402001
Verification of analog and mixed-signal circuits using hybrid system techniques
T Dang, A Donzé, O Maler
Formal Methods in Computer-Aided Design, 21-36, 2004
1342004
Counter-example guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić
Tools and Algorithms for the Construction and Analysis of Systems, 208-223, 2003
1112003
Accurate hybridization of nonlinear systems
T Dang, O Maler, R Testylier
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
1032010
Recent progress in continuous and hybrid reachability analysis
E Asarin, T Dang, G Frehse, A Girard, C Le Guernic, O Maler
Computer Aided Control System Design, 2006 IEEE International Conference on …, 2006
1022006
Progress on reachability analysis of hybrid systems using predicate abstraction
R Alur, T Dang, F Ivančić
Hybrid Systems: Computation and Control, 4-19, 2003
1002003
Counterexample-guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić
Theoretical Computer Science 354 (2), 250-271, 2006
992006
Verification and synthesis of hybrid systems
T Dang
Verification and Synthesis of Hybrid Systems, 2000
942000
Coverage-guided test generation for continuous and hybrid systems
T Dang, T Nahhal
Formal Methods in System Design 34 (2), 183-213, 2009
822009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20