Thao Dang

2009
28	EE	Thao Dang, Tarik Nahhal: Coverage-guided test generation for continuous and hybrid systems. Formal Methods in System Design 34(2): 183-213 (2009)
2008
27	EE	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC 2008: 654-657
26	EE	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS 2008: 188-202
25	EE	Thao Dang, Tarik Nahhal: Using Disparity to Enhance Test Generation for Hybrid Systems. TestCom/FATES 2008: 54-69
24	EE	Alexander Bachmann, Thao Dang: Improving motion-based object detection by incorporating object-specific knowledge. IJIIDS 2(2): 258-276 (2008)
2007
23	EE	Tarik Nahhal, Thao Dang: Test Coverage for Continuous and Hybrid Systems. CAV 2007: 449-462
22	EE	Tarik Nahhal, Thao Dang: Guided Randomized Simulation. HSCC 2007: 731-735
21	EE	Eugene Asarin, Thao Dang, Antoine Girard: Hybridization methods for the analysis of nonlinear systems. Acta Inf. 43(7): 451-476 (2007)
2006
20	EE	Thao Dang, Christian Hoffmann: Tracking Camera Parameters of an Active Stereo Rig. DAGM-Symposium 2006: 627-636
19	EE	Thao Dang, Philippe Gerner: Scheduling for multi-threaded real-time programs via path planning. EMSOFT 2006: 282-291
18	EE	Thao Dang, Tarik Nahhal: Randomized Simulation of Hybrid Systems For Circuit Validation. FDL 2006: 9-15
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

Coauthor Index

1	Rajeev Alur	[4] [5] [7] [8] [9] [15] [16]
2	Eugene Asarin	[2] [3] [6] [10] [11] [21]
3	Alexander Bachmann	[24]
4	Sorav Bansal	[3]
5	Olivier Bournez	[2]
6	Alexandre Donzé	[13]
7	Bernard Espiau	[3]
8	Joel M. Esposito	[4] [7]
9	Rafael B. Fierro	[4]
10	Philippe Gerner	[12] [19]
11	Antoine Girard	[10] [21]
12	Christian Hoffmann	[20]
13	Yerang Hur	[4] [7]
14	Franjo Ivancic	[4] [5] [7] [8] [9] [15] [16] [26] [27]
15	Vijay Kumar	[4] [7]
16	Insup Lee	[4] [7]
17	Oded Maler	[1] [2] [3] [6] [13]
18	Pradyumna Mishra	[4] [7]
19	Tarik Nahhal	[18] [22] [23] [25] [28]
20	George J. Pappas	[4] [7]
21	Sriram Sankaranarayanan	[26] [27]
22	Oleg Sokolsky	[4] [7]

Colors in the list of coauthors