Search the dblp DataBase
Thao Dang :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Eugene Asarin , Thao Dang , Oded Maler The d/dt Tool for Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] CAV, 2002, pp:365-370 [Conf ] Thao Dang , Christian Hoffmann Tracking Camera Parameters of an Active Stereo Rig. [Citation Graph (0, 0)][DBLP ] DAGM-Symposium, 2006, pp:627-636 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2001, pp:14-31 [Conf ] Thao Dang , Philippe Gerner Scheduling for multi-threaded real-time programs via path planning. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2006, pp:282-291 [Conf ] Thao Dang , Alexandre Donzé , Oded Maler Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. [Citation Graph (0, 0)][DBLP ] FMCAD, 2004, pp:21-36 [Conf ] Philippe Gerner , Thao Dang Computing Schedules for Multithreaded Real-Time Programs Using Geometry. [Citation Graph (0, 0)][DBLP ] FORMATS/FTRTFT, 2004, pp:325-342 [Conf ] Rajeev Alur , Thao Dang , Franjo Ivancic Reachability Analysis of Hybrid Systems via Predicate Abstraction. [Citation Graph (0, 0)][DBLP ] HSCC, 2002, pp:35-48 [Conf ] Rajeev Alur , Thao Dang , Franjo Ivancic Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. [Citation Graph (0, 0)][DBLP ] HSCC, 2003, pp:4-19 [Conf ] Eugene Asarin , Sorav Bansal , Bernard Espiau , Thao Dang , Oded Maler On Hybrid Control of Under-Actuated Mechanical Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2001, pp:77-88 [Conf ] Eugene Asarin , Thao Dang Abstraction by Projection and Application to Multi-affine Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2004, pp:32-47 [Conf ] Eugene Asarin , Thao Dang , Antoine Girard Reachability Analysis of Nonlinear Systems Using Conservative Approximation . [Citation Graph (0, 0)][DBLP ] HSCC, 2003, pp:20-35 [Conf ] Eugene Asarin , Thao Dang , Oded Maler , Olivier Bournez Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2000, pp:20-31 [Conf ] Thao Dang Approximate Reachability Computation for Polynomial Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 2006, pp:138-152 [Conf ] Thao Dang , Oded Maler Reachability Analysis via Face Lifting. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:96-109 [Conf ] Tarik Nahhal , Thao Dang Guided Randomized Simulation. [Citation Graph (0, 0)][DBLP ] HSCC, 2007, pp:731-735 [Conf ] Rajeev Alur , Thao Dang , Franjo Ivancic Counter-Example Guided Predicate Abstraction of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] TACAS, 2003, pp:208-223 [Conf ] Eugene Asarin , Thao Dang , Antoine Girard Hybridization methods for the analysis of nonlinear systems. [Citation Graph (0, 0)][DBLP ] Acta Inf., 2007, v:43, n:7, pp:451-476 [Journal ] Thao Dang A Reachability-Based Technique for Idle Speed Control Synthesis. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:2, pp:397-404 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Proceedings of the IEEE, 2003, v:91, n:1, pp:11-28 [Journal ] Rajeev Alur , Thao Dang , Franjo Ivancic Counterexample-guided predicate abstraction of hybrid systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:354, n:2, pp:250-271 [Journal ] Rajeev Alur , Thao Dang , Franjo Ivancic Predicate abstraction for reachability analysis of hybrid systems. [Citation Graph (0, 0)][DBLP ] ACM Trans. Embedded Comput. Syst., 2006, v:5, n:1, pp:152-199 [Journal ] Tarik Nahhal , Thao Dang Test Coverage for Continuous and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:449-462 [Conf ] Using Redundant Constraints for Refinement. [Citation Graph (, )][DBLP ] Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion. [Citation Graph (, )][DBLP ] Computing Reachable States for Nonlinear Biological Models. [Citation Graph (, )][DBLP ] A Policy Iteration Technique for Time Elapse over Template Polyhedra. [Citation Graph (, )][DBLP ] Accurate hybridization of nonlinear systems. [Citation Graph (, )][DBLP ] Using Disparity to Enhance Test Generation for Hybrid Systems. [Citation Graph (, )][DBLP ] Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. [Citation Graph (, )][DBLP ] Randomized Simulation of Hybrid Systems For Circuit Validation. [Citation Graph (, )][DBLP ] Sensitive state-space exploration. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.303secs