| 2008 |
|---|
| 23 | EE | Sriram Sankaranarayanan,
Thao Dang,
Franjo Ivancic:
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.
TACAS 2008: 188-202 |
| 2007 |
|---|
| 22 | EE | Tarik Nahhal,
Thao Dang:
Test Coverage for Continuous and Hybrid Systems.
CAV 2007: 449-462 |
| 21 | EE | Tarik Nahhal,
Thao Dang:
Guided Randomized Simulation.
HSCC 2007: 731-735 |
| 20 | EE | Eugene Asarin,
Thao Dang,
Antoine Girard:
Hybridization methods for the analysis of nonlinear systems.
Acta Inf. 43(7): 451-476 (2007) |
| 2006 |
|---|
| 19 | EE | Thao Dang,
Christian Hoffmann:
Tracking Camera Parameters of an Active Stereo Rig.
DAGM-Symposium 2006: 627-636 |
| 18 | EE | Thao Dang,
Philippe Gerner:
Scheduling for multi-threaded real-time programs via path planning.
EMSOFT 2006: 282-291 |
| 17 | EE | Thao Dang:
Approximate Reachability Computation for Polynomial Systems.
HSCC 2006: 138-152 |
| 16 | EE | Rajeev Alur,
Thao Dang,
Franjo Ivancic:
Predicate abstraction for reachability analysis of hybrid systems.
ACM Trans. Embedded Comput. Syst. 5(1): 152-199 (2006) |
| 15 | EE | Rajeev Alur,
Thao Dang,
Franjo Ivancic:
Counterexample-guided predicate abstraction of hybrid systems.
Theor. Comput. Sci. 354(2): 250-271 (2006) |
| 2005 |
|---|
| 14 | EE | Thao Dang:
A Reachability-Based Technique for Idle Speed Control Synthesis.
International Journal of Software Engineering and Knowledge Engineering 15(2): 397-404 (2005) |
| 2004 |
|---|
| 13 | EE | Thao Dang,
Alexandre Donzé,
Oded Maler:
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.
FMCAD 2004: 21-36 |
| 12 | EE | Philippe Gerner,
Thao Dang:
Computing Schedules for Multithreaded Real-Time Programs Using Geometry.
FORMATS/FTRTFT 2004: 325-342 |
| 11 | EE | Eugene Asarin,
Thao Dang:
Abstraction by Projection and Application to Multi-affine Systems.
HSCC 2004: 32-47 |
| 2003 |
|---|
| 10 | EE | Eugene Asarin,
Thao Dang,
Antoine Girard:
Reachability Analysis of Nonlinear Systems Using Conservative Approximation .
HSCC 2003: 20-35 |
| 9 | EE | Rajeev Alur,
Thao Dang,
Franjo Ivancic:
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.
HSCC 2003: 4-19 |
| 8 | EE | Rajeev Alur,
Thao Dang,
Franjo Ivancic:
Counter-Example Guided Predicate Abstraction of Hybrid Systems.
TACAS 2003: 208-223 |
| 7 | | Rajeev Alur,
Thao Dang,
Joel M. Esposito,
Yerang Hur,
Franjo Ivancic,
Vijay Kumar,
Insup Lee,
Pradyumna Mishra,
George J. Pappas,
Oleg Sokolsky:
Hierarchical modeling and analysis of embedded systems.
Proceedings of the IEEE 91(1): 11-28 (2003) |
| 2002 |
|---|
| 6 | EE | Eugene Asarin,
Thao Dang,
Oded Maler:
The d/dt Tool for Verification of Hybrid Systems.
CAV 2002: 365-370 |
| 5 | EE | Rajeev Alur,
Thao Dang,
Franjo Ivancic:
Reachability Analysis of Hybrid Systems via Predicate Abstraction.
HSCC 2002: 35-48 |
| 2001 |
|---|
| 4 | EE | Rajeev Alur,
Thao Dang,
Joel M. Esposito,
Rafael B. Fierro,
Yerang Hur,
Franjo Ivancic,
Vijay Kumar,
Insup Lee,
Pradyumna Mishra,
George J. Pappas,
Oleg Sokolsky:
Hierarchical Hybrid Modeling of Embedded Systems.
EMSOFT 2001: 14-31 |
| 3 | EE | Eugene Asarin,
Sorav Bansal,
Bernard Espiau,
Thao Dang,
Oded Maler:
On Hybrid Control of Under-Actuated Mechanical Systems.
HSCC 2001: 77-88 |
| 2000 |
|---|
| 2 | EE | Eugene Asarin,
Thao Dang,
Oded Maler,
Olivier Bournez:
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.
HSCC 2000: 20-31 |
| 1998 |
|---|
| 1 | | Thao Dang,
Oded Maler:
Reachability Analysis via Face Lifting.
HSCC 1998: 96-109 |
