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
7512011
Approximate reachability analysis of piecewise-linear dynamical systems
E Asarin, O Bournez, T Dang, O Maler
Hybrid Systems: Computation and Control, 20-31, 2000
4132000
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
2872000
Reachability analysis via face lifting
T Dang, O Maler
Hybrid Systems: Computation and Control, 96-109, 1998
2591998
Reachability analysis of hybrid systems via predicate abstraction
R Alur, T Dang, F Ivančić
Hybrid Systems: Computation and Control, 35-48, 2002
220*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
1962002
Hybridization methods for the analysis of nonlinear systems
E Asarin, T Dang, A Girard
Acta Informatica 43 (7), 451-476, 2007
1832007
Reachability analysis of nonlinear systems using conservative approximation
E Asarin, T Dang, A Girard
Hybrid Systems: Computation and Control, 20-35, 2003
1792003
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
1452006
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
Model-Based Design for Embedded Systems
S Tripakis, T Dang
CRC Press, Chapter Modeling, Verification and Testing using Timed and Hybrid …, 2009
135*2009
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
1332004
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
1102003
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
Accurate hybridization of nonlinear systems
T Dang, O Maler, R Testylier
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
992010
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
952003
Counterexample-guided predicate abstraction of hybrid systems
R Alur, T Dang, F Ivančić
Theoretical Computer Science 354 (2), 250-271, 2006
932006
Verification and synthesis of hybrid systems
T Dang
Verification and Synthesis of Hybrid Systems, 2000
922000
Coverage-guided test generation for continuous and hybrid systems
T Dang, T Nahhal
Formal Methods in System Design 34 (2), 183-213, 2009
782009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20