Thao Dang

	2012
49		Thao Dang, Ian M. Mitchell: Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012 ACM 2012
	2011
48		Thao Dang, Thomas Martin Gawlitza: Template-Based Unbounded Time Verification of Affine Hybrid Automata. APLAS 2011: 34-49
47		Thao Dang, Thomas Martin Gawlitza: Discretizing Affine Hybrid Automata with Uncertainty. ATVA 2011: 473-481
46		Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler: SpaceEx: Scalable Verification of Hybrid Systems. CAV 2011: 379-395
45		Thao Dang, Romain Testylier: Hybridization domain construction using curvature estimation. HSCC 2011: 123-132
44		Adam Berthelot, Andreas Tamke, Thao Dang, Gabi Breuel: Handling uncertainties in criticality assessment. Intelligent Vehicles Symposium 2011: 571-576
43		Dietmar Kasper, Galia Weidl, Thao Dang, Gabi Breuel, Andreas Tamke, Wolfgang Rosenstiel: Object-oriented Bayesian networks for detection of lane change maneuvers. Intelligent Vehicles Symposium 2011: 673-678
42		Andreas Tamke, Thao Dang, Gabi Breuel: A flexible method for criticality assessment in driver assistance systems. Intelligent Vehicles Symposium 2011: 697-702
41		Christoph Gustav Keller, Thao Dang, Hans Fritz, Armin Joos, Clemens Rabe, Dariu M. Gavrila: Active Pedestrian Safety by Automatic Braking and Evasive Steering. IEEE Transactions on Intelligent Transportation Systems 12(4): 1292-1304 (2011)
40		Thao Dang, Colas Le Guernic, Oded Maler: Computing reachable states for nonlinear biological models. Theor. Comput. Sci. 412(21): 2095-2107 (2011)
	2010
39		Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier: Using Redundant Constraints for Refinement. ATVA 2010: 37-51
38		Thao Dang, Oded Maler, Romain Testylier: Accurate hybridization of nonlinear systems. HSCC 2010: 11-20
37		Till Hülnhagen, Ingo Dengler, Andreas Tamke, Thao Dang, Gabi Breuel: Maneuver recognition using probabilistic finite-state machines and fuzzy logic. Intelligent Vehicles Symposium 2010: 65-70
36		Jan W. Horbach, Thao Dang: 3D reconstruction of specular surfaces using a calibrated projector-camera setup. Mach. Vis. Appl. 21(3): 331-340 (2010)
	2009
35		Thao Dang, David Salinas: Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion. CAV 2009: 219-232
34		Thao Dang, Colas Le Guernic, Oded Maler: Computing Reachable States for Nonlinear Biological Models. CMSB 2009: 126-141
33		Thao Dang, Tarik Nahhal: Coverage-guided test generation for continuous and hybrid systems. Formal Methods in System Design 34(2): 183-213 (2009)
32		Thao Dang, Christian Hoffmann, Christoph Stiller: Continuous Stereo Self-Calibration by Camera Parameter Tracking. IEEE Transactions on Image Processing 18(7): 1536-1550 (2009)
31		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
30		Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev: Sensitive state-space exploration. CDC 2008: 4049-4054
29		Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC 2008: 654-657
28		Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS 2008: 188-202
27		Thao Dang, Tarik Nahhal: Using Disparity to Enhance Test Generation for Hybrid Systems. TestCom/FATES 2008: 54-69
26		Alexander Bachmann, Thao Dang: Improving motion-based object detection by incorporating object-specific knowledge. IJIIDS 2(2): 258-276 (2008)
	2007
25		Tarik Nahhal, Thao Dang: Test Coverage for Continuous and Hybrid Systems. CAV 2007: 449-462
24		Tarik Nahhal, Thao Dang: Guided Randomized Simulation. HSCC 2007: 731-735
23		Eugene Asarin, Thao Dang, Antoine Girard: Hybridization methods for the analysis of nonlinear systems. Acta Inf. 43(7): 451-476 (2007)
22		Christoph Stiller, Sören Kammel, Thao Dang, Christian Duchow, Britta Hummel: GPS- und Kamera-basierte Fahrzeugführung durchs Gelände - ION im Grand Challenge (GPS- and Camera-based Off-Road Vehicle Control - ION in the Grand Challenge). Automatisierungstechnik 55(6): 290-297 (2007)
21		Thao Dang: Kontinuierliche Selbstkalibrierung von Stereokameras. Karlsruhe Institute of Technology 2007: 1-142
	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] [23] [39]
3	Alexander Bachmann	[26]
4	Sorav Bansal	[3]
5	Adam Berthelot	[44]
6	Olivier Bournez	[2]
7	Gabi Breuel	[37] [42] [43] [44]
8	Scott Cotton	[46]
9	Ingo Dengler	[37]
10	Alexandre Donzé	[13] [30] [46]
11	Christian Duchow	[22]
12	Bernard Espiau	[3]
13	Joel M. Esposito	[4] [7]
14	Rafael B. Fierro	[4]
15	Goran Frehse	[46]
16	Hans Fritz	[41]
17	Dariu Gavrila (Dariu M. Gavrila)	[41]
18	Thomas Gawlitza (Thomas Martin Gawlitza)	[47] [48]
19	Philippe Gerner	[12] [19]
20	Antoine Girard	[10] [23] [46]
21	Colas Le Guernic	[34] [40] [46]
22	Christian Hoffmann	[20] [31] [32]
23	Jan W. Horbach	[36]
24	Till Hülnhagen	[37]
25	Britta Hummel	[22]
26	Yerang Hur	[4] [7]
27	Franjo Ivancic	[4] [5] [7] [8] [9] [15] [16] [28] [29]
28	Armin Joos	[41]
29	Sören Kammel	[22]
30	Dietmar Kasper	[43]
31	Christoph Gustav Keller	[41]
32	Vijay Kumar	[4] [7]
33	Olivier Lebeltel	[46]
34	Insup Lee	[4] [7]
35	Oded Maler	[1] [2] [3] [6] [13] [30] [34] [38] [39] [40] [46]
36	Pradyumna Mishra	[4] [7]
37	Ian M. Mitchell (Ian Mitchell)	[49]
38	Tarik Nahhal	[18] [24] [25] [27] [33]
39	George J. Pappas	[4] [7]
40	Clemens Rabe	[41]
41	Rajarshi Ray	[46]
42	Rodolfo Ripado	[46]
43	Wolfgang Rosenstiel	[43]
44	David Salinas	[35]
45	Sriram Sankaranarayanan	[28] [29]
46	Noa Shalev	[30]
47	Oleg Sokolsky	[4] [7]
48	Christoph Stiller	[22] [32]
49	Andreas Tamke	[37] [42] [43] [44]
50	Romain Testylier	[38] [39] [45]
51	Galia Weidl	[43]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page