The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thao Dang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Thao Dang, Christian Hoffmann
    Tracking Camera Parameters of an Active Stereo Rig. [Citation Graph (0, 0)][DBLP]
    DAGM-Symposium, 2006, pp:627-636 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Eugene Asarin, Thao Dang
    Abstraction by Projection and Application to Multi-affine Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:32-47 [Conf]
  11. 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]
  12. 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]
  13. Thao Dang
    Approximate Reachability Computation for Polynomial Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:138-152 [Conf]
  14. Thao Dang, Oded Maler
    Reachability Analysis via Face Lifting. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:96-109 [Conf]
  15. Tarik Nahhal, Thao Dang
    Guided Randomized Simulation. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:731-735 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Tarik Nahhal, Thao Dang
    Test Coverage for Continuous and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:449-462 [Conf]

  23. Using Redundant Constraints for Refinement. [Citation Graph (, )][DBLP]


  24. Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion. [Citation Graph (, )][DBLP]


  25. Computing Reachable States for Nonlinear Biological Models. [Citation Graph (, )][DBLP]


  26. A Policy Iteration Technique for Time Elapse over Template Polyhedra. [Citation Graph (, )][DBLP]


  27. Accurate hybridization of nonlinear systems. [Citation Graph (, )][DBLP]


  28. Using Disparity to Enhance Test Generation for Hybrid Systems. [Citation Graph (, )][DBLP]


  29. Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. [Citation Graph (, )][DBLP]


  30. Randomized Simulation of Hybrid Systems For Circuit Validation. [Citation Graph (, )][DBLP]


  31. Sensitive state-space exploration. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002