Thao Dang

According to our database1, Thao Dang
  • authored at least 84 papers between 1998 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Reachability computation for polynomial dynamical systems.
Formal Methods in System Design, 2017

Occupation measure methods for modelling and analysis of biological hybrid automata.
CoRR, 2017

Scheduling of Embedded Controllers Under Timing Contracts.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Classification and Coverage-Based Falsification for Embedded Control Systems.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations.
Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017

Template complex zonotopes for stability and invariant verification.
Proceedings of the 2017 American Control Conference, 2017

2016
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations.
CoRR, 2016

Verification and Synthesis of Timing Contracts for Embedded Controllers.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Parallelotope Bundles for Polynomial Reachability.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Application of the Reachability Analysis for the Iron Homeostasis Study.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems.
Proceedings of the Complex Systems Design & Management, 2016

Using complex zonotopes for stability verification.
Proceedings of the 2016 American Control Conference, 2016

2015
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Parameter Synthesis Through Temporal Logic Specifications.
Proceedings of the FM 2015: Formal Methods, 2015

2014
Making Bertha Drive - An Autonomous Journey on a Historic Route.
IEEE Intell. Transport. Syst. Mag., 2014

Trajectory planning for Bertha - A local, continuous method.
Proceedings of the 2014 IEEE Intelligent Vehicles Symposium Proceedings, 2014

Assessing map-based maneuver hypotheses using probabilistic methods and evidence theory.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Parameter synthesis for polynomial biological models.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations.
Proceedings of the Hybrid Systems Biology, 2014

Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models.
Proceedings of the Hybrid Systems Biology, 2014

Test Coverage Estimation Using Threshold Accepting.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Falsifying Oscillation Properties of Parametric Biological Models.
Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

Map-based long term motion prediction for vehicles in traffic environments.
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion.
Reliable Computing, 2012

Object-Oriented Bayesian Networks for Detection of Lane Change Maneuvers.
IEEE Intell. Transport. Syst. Mag., 2012

Analysis of parametric biological models with non-linear dynamics
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

State Estimation and Property-Guided Exploration for Hybrid Systems Testing.
Proceedings of the Testing Software and Systems, 2012

A novel approach for the probabilistic computation of Time-To-Collision.
Proceedings of the 2012 IEEE Intelligent Vehicles Symposium, 2012

Stochastic situation assessment in advanced driver assistance system for complex multi-objects traffic situations.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Active Pedestrian Safety by Automatic Braking and Evasive Steering.
IEEE Trans. Intelligent Transportation Systems, 2011

Computing reachable states for nonlinear biological models.
Theor. Comput. Sci., 2011

A flexible method for criticality assessment in driver assistance systems.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011

Object-oriented Bayesian networks for detection of lane change maneuvers.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011

Handling uncertainties in criticality assessment.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011

Hybridization domain construction using curvature estimation.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

SpaceEx: Scalable Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Discretizing Affine Hybrid Automata with Uncertainty.
Proceedings of the Automated Technology for Verification and Analysis, 2011

Template-Based Unbounded Time Verification of Affine Hybrid Automata.
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010
3D reconstruction of specular surfaces using a calibrated projector-camera setup.
Mach. Vis. Appl., 2010

Maneuver recognition using probabilistic finite-state machines and fuzzy logic.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010

Accurate hybridization of nonlinear systems.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Using Redundant Constraints for Refinement.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Continuous Stereo Self-Calibration by Camera Parameter Tracking.
IEEE Trans. Image Processing, 2009

Cheap Joint Probabilistic Data Association filters in an Interacting Multiple Model design.
Robotics and Autonomous Systems, 2009

Coverage-guided test generation for continuous and hybrid systems.
Formal Methods in System Design, 2009

Computing Reachable States for Nonlinear Biological Models.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Improving motion-based object detection by incorporating object-specific knowledge.
IJIIDS, 2008

Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Using Disparity to Enhance Test Generation for Hybrid Systems.
Proceedings of the Testing of Software and Communicating Systems, 2008

A Policy Iteration Technique for Time Elapse over Template Polyhedra.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Sensitive state-space exploration.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Kontinuierliche Selbstkalibrierung von Stereokameras.
PhD thesis, 2007

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, 2007

Hybridization methods for the analysis of nonlinear systems.
Acta Inf., 2007

Guided Randomized Simulation.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Test Coverage for Continuous and Hybrid Systems.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Predicate abstraction for reachability analysis of hybrid systems.
ACM Trans. Embedded Comput. Syst., 2006

Counterexample-guided predicate abstraction of hybrid systems.
Theor. Comput. Sci., 2006

A Fusion Approach for Image-Based Measurement of Speed Over Ground.
Proceedings of the 2006 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2006

Path Planning for Autonomous Driving Based on Stereoscopic and Monoscopic Vision Cues.
Proceedings of the 2006 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2006

Cheap Joint Probabilistic Data Association Filters in an Interacting Multiple Model Design.
Proceedings of the 2006 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2006

Approximate Reachability Computation for Polynomial Systems.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Randomized Simulation of Hybrid Systems For Circuit Validation.
Proceedings of the Forum on specification and Design Languages, 2006

Scheduling for multi-threaded real-time programs via path planning.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Tracking Camera Parameters of an Active Stereo Rig.
Proceedings of the Pattern Recognition, 2006

2005
A Reachability-Based Technique for Idle Speed Control Synthesis.
International Journal of Software Engineering and Knowledge Engineering, 2005

Fast Object Hypotheses Generation Using 3D Position and 3D Motion.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2005

2004
Abstraction by Projection and Application to Multi-affine Systems.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Computing Schedules for Multithreaded Real-Time Programs Using Geometry.
Proceedings of the Formal Techniques, 2004

Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003
Hierarchical modeling and analysis of embedded systems.
Proceedings of the IEEE, 2003

Counter-Example Guided Predicate Abstraction of Hybrid Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Reachability Analysis of Nonlinear Systems Using Conservative Approximation .
Proceedings of the Hybrid Systems: Computation and Control, 2003

Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.
Proceedings of the Hybrid Systems: Computation and Control, 2003

2002
Reachability Analysis of Hybrid Systems via Predicate Abstraction.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

The d/dt Tool for Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
On Hybrid Control of Under-Actuated Mechanical Systems.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hierarchical Hybrid Modeling of Embedded Systems.
Proceedings of the Embedded Software, First International Workshop, 2001

2000
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1998
Reachability Analysis via Face Lifting.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998


  Loading...