Thao Dang

Best Publications

• SpaceEx: scalable verification of hybrid systems

  Goran Frehse;Colas Le Guernic;Alexandre Donzé;Scott Cotton

  1133
  Citations

• Making Bertha Drive?An Autonomous Journey on a Historic Route

  Julius Ziegler;Philipp Bender;Markus Schreiber;Henning Lategahn

  1024
  Citations

• Trajectory planning for Bertha — A local, continuous method

  Julius Ziegler;Philipp Bender;Thao Dang;Christoph Stiller

  519
  Citations

• Effective synthesis of switching controllers for linear systems

  E. Asarin;O. Bournez;T. Dang;O. Maler

  310
  Citations

• Reachability Analysis via Face Lifting

  Thao Dang;Oded Maler

  285
  Citations

• Object-Oriented Bayesian Networks for Detection of Lane Change Maneuvers

  Dietmar Kasper;Galia Weidl;Thao Dang;Gabi Breuel

  274
  Citations

• Active Pedestrian Safety by Automatic Braking and Evasive Steering

  C. G. Keller;Thao Dang;H. Fritz;A. Joos

  273
  Citations

• Hierarchical modeling and analysis of embedded systems

  R. Alur;Thao Dang;J. Esposito;Yerang Hur

  244
  Citations

• The d/dt Tool for Verification of Hybrid Systems

  Eugene Asarin;Thao Dang;Oded Maler

  240
  Citations

• Hybridization methods for the analysis of nonlinear systems

  Eugene Asarin;Thao Dang;Antoine Girard

  238
  Citations

• Reachability analysis of nonlinear systems using conservative approximation

  Eugene Asarin;Thao Dang;Antoine Girard

  223
  Citations

• Progress on reachability analysis of hybrid systems using predicate abstraction

  Rajeev Alur;Thao Dang;Franjo Ivančic

  216
  Citations

• Verification of analog and mixed-signal circuits using hybrid system techniques

  Thao Dang;Alexandre Donzé;Oded Maler

  179
  Citations

• Predicate abstraction for reachability analysis of hybrid systems

  Rajeev Alur;Thao Dang;Franjo Ivančić

  160
  Citations

• Reachability Analysis of Hybrid Systems via Predicate Abstraction

  Rajeev Alur;Thao Dang;Franjo Ivancic

  156
  Citations

• Counterexample-guided predicate abstraction of hybrid systems

  Rajeev Alur;Thao Dang;Franjo Ivančić

  154
  Citations

• Continuous Stereo Self-Calibration by Camera Parameter Tracking

  Thao Dang;C. Hoffmann;C. Stiller

  154
  Citations

• Hierarchical Hybrid Modeling of Embedded Systems

  Rajeev Alur;Thao Dang;Joel M. Esposito;Rafael B. Fierro

  149
  Citations

• Accurate hybridization of nonlinear systems

  Thao Dang;Oded Maler;Romain Testylier

  145
  Citations

• Hybrid Systems: Computation and Control

  Rajeev Alur;George J. Pappas

  55
  Citations