Thao Dang

	2009
32		Thao Dang, David Salinas: Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion. CAV 2009: 219-232
31		Thao Dang, Colas Le Guernic, Oded Maler: Computing Reachable States for Nonlinear Biological Models. CMSB 2009: 126-141
30		Thao Dang, Tarik Nahhal: Coverage-guided test generation for continuous and hybrid systems. Formal Methods in System Design 34(2): 183-213 (2009)
29		Christian Hoffmann, Thao Dang: Cheap Joint Probabilistic Data Association filters in an Interacting Multiple Model design. Robotics and Autonomous Systems 57(3): 268-278 (2009)
	2008
28		Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev: Sensitive state-space exploration. CDC 2008: 4049-4054
27		Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC 2008: 654-657
26		Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS 2008: 188-202
25		Thao Dang, Tarik Nahhal: Using Disparity to Enhance Test Generation for Hybrid Systems. TestCom/FATES 2008: 54-69
24		Alexander Bachmann, Thao Dang: Improving motion-based object detection by incorporating object-specific knowledge. IJIIDS 2(2): 258-276 (2008)
	2007
23		Tarik Nahhal, Thao Dang: Test Coverage for Continuous and Hybrid Systems. CAV 2007: 449-462
22		Tarik Nahhal, Thao Dang: Guided Randomized Simulation. HSCC 2007: 731-735
21		Eugene Asarin, Thao Dang, Antoine Girard: Hybridization methods for the analysis of nonlinear systems. Acta Inf. 43(7): 451-476 (2007)
	2006
20		Thao Dang, Christian Hoffmann: Tracking Camera Parameters of an Active Stereo Rig. DAGM-Symposium 2006: 627-636
19		Thao Dang, Philippe Gerner: Scheduling for multi-threaded real-time programs via path planning. EMSOFT 2006: 282-291
18		Thao Dang, Tarik Nahhal: Randomized Simulation of Hybrid Systems For Circuit Validation. FDL 2006: 9-15
17		Thao Dang: Approximate Reachability Computation for Polynomial Systems. HSCC 2006: 138-152
16		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		Rajeev Alur, Thao Dang, Franjo Ivancic: Counterexample-guided predicate abstraction of hybrid systems. Theor. Comput. Sci. 354(2): 250-271 (2006)
	2005
14		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		Thao Dang, Alexandre Donzé, Oded Maler: Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. FMCAD 2004: 21-36
12		Philippe Gerner, Thao Dang: Computing Schedules for Multithreaded Real-Time Programs Using Geometry. FORMATS/FTRTFT 2004: 325-342
11		Eugene Asarin, Thao Dang: Abstraction by Projection and Application to Multi-affine Systems. HSCC 2004: 32-47
	2003
10		Eugene Asarin, Thao Dang, Antoine Girard: Reachability Analysis of Nonlinear Systems Using Conservative Approximation . HSCC 2003: 20-35
9		Rajeev Alur, Thao Dang, Franjo Ivancic: Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. HSCC 2003: 4-19
8		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		Eugene Asarin, Thao Dang, Oded Maler: The d/dt Tool for Verification of Hybrid Systems. CAV 2002: 365-370
5		Rajeev Alur, Thao Dang, Franjo Ivancic: Reachability Analysis of Hybrid Systems via Predicate Abstraction. HSCC 2002: 35-48
	2001
4		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		Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler: On Hybrid Control of Under-Actuated Mechanical Systems. HSCC 2001: 77-88
	2000
2		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] [28]
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	Colas Le Guernic	[31]
13	Christian Hoffmann	[20] [29]
14	Yerang Hur	[4] [7]
15	Franjo Ivancic	[4] [5] [7] [8] [9] [15] [16] [26] [27]
16	Vijay Kumar	[4] [7]
17	Insup Lee	[4] [7]
18	Oded Maler	[1] [2] [3] [6] [13] [28] [31]
19	Pradyumna Mishra	[4] [7]
20	Tarik Nahhal	[18] [22] [23] [25] [30]
21	George J. Pappas	[4] [7]
22	David Salinas	[32]
23	Sriram Sankaranarayanan	[26] [27]
24	Noa Shalev	[28]
25	Oleg Sokolsky	[4] [7]

Colors in the list of coauthors