|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 11 keywords
|
|
|
|
|
Results
Found 49 publication records. Showing 49 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thao Dang, Ian M. Mitchell (eds.) |
Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012  |
HSCC  |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Colas Le Guernic, Oded Maler |
Computing reachable states for nonlinear biological models. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Thomas Martin Gawlitza |
Discretizing Affine Hybrid Automata with Uncertainty. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Thomas Martin Gawlitza |
Template-Based Unbounded Time Verification of Affine Hybrid Automata. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Romain Testylier |
Hybridization domain construction using curvature estimation. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Berthelot, Andreas Tamke, Thao Dang, Gabi Breuel |
Handling uncertainties in criticality assessment. |
Intelligent Vehicles Symposium |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Tamke, Thao Dang, Gabi Breuel |
A flexible method for criticality assessment in driver assistance systems. |
Intelligent Vehicles Symposium |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan W. Horbach, Thao Dang |
3D reconstruction of specular surfaces using a calibrated projector-camera setup. |
Mach. Vis. Appl. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier |
Using Redundant Constraints for Refinement. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Oded Maler, Romain Testylier |
Accurate hybridization of nonlinear systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
reachability computation, numerical analysis, non-linear systems |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Hoffmann, Thao Dang |
Cheap Joint Probabilistic Data Association filters in an Interacting Multiple Model design. |
Robotics and Autonomous Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Christian Hoffmann, Christoph Stiller |
Continuous Stereo Self-Calibration by Camera Parameter Tracking. |
IEEE Transactions on Image Processing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Tarik Nahhal |
Coverage-guided test generation for continuous and hybrid systems. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
Test generation, Hybrid systems, Model-based testing, Conformance testing, Test coverage |
| 1 | Thao Dang, Colas Le Guernic, Oded Maler |
Computing Reachable States for Nonlinear Biological Models. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, David Salinas |
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Bachmann, Thao Dang |
Improving motion-based object detection by incorporating object-specific knowledge. |
IJIIDS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic |
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev |
Sensitive state-space exploration. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Tarik Nahhal |
Using Disparity to Enhance Test Generation for Hybrid Systems. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic |
A Policy Iteration Technique for Time Elapse over Template Polyhedra. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang |
Kontinuierliche Selbstkalibrierung von Stereokameras. |
|
2007 |
RDF |
|
| 1 | Eugene Asarin, Thao Dang, Antoine Girard |
Hybridization methods for the analysis of nonlinear systems. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarik Nahhal, Thao Dang |
Test Coverage for Continuous and Hybrid Systems. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarik Nahhal, Thao Dang |
Guided Randomized Simulation. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Thao Dang, Franjo Ivancic |
Predicate abstraction for reachability analysis of hybrid systems. |
ACM Trans. Embedded Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
hybrid systems, Reachability analysis, predicate abstraction |
| 1 | Rajeev Alur, Thao Dang, Franjo Ivancic |
Counterexample-guided predicate abstraction of hybrid systems. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Philippe Gerner |
Scheduling for multi-threaded real-time programs via path planning. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
PV programs, multi-threaded real-time programs, scheduling, path planning |
| 1 | Thao Dang, Christian Hoffmann |
Tracking Camera Parameters of an Active Stereo Rig. |
DAGM-Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Tarik Nahhal |
Randomized Simulation of Hybrid Systems For Circuit Validation. |
FDL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thao Dang |
Approximate Reachability Computation for Polynomial Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang |
A Reachability-Based Technique for Idle Speed Control Synthesis. |
International Journal of Software Engineering and Knowledge Engineering |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Alexandre Donzé, Oded Maler |
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Gerner, Thao Dang |
Computing Schedules for Multithreaded Real-Time Programs Using Geometry. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang |
Abstraction by Projection and Application to Multi-affine Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Alur, Thao Dang, Franjo Ivancic |
Counter-Example Guided Predicate Abstraction of Hybrid Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Antoine Girard |
Reachability Analysis of Nonlinear Systems Using Conservative Approximation . |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Thao Dang, Franjo Ivancic |
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Oded Maler |
The d/dt Tool for Verification of Hybrid Systems. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Thao Dang, Franjo Ivancic |
Reachability Analysis of Hybrid Systems via Predicate Abstraction. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler |
On Hybrid Control of Under-Actuated Mechanical Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez |
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Oded Maler |
Reachability Analysis via Face Lifting. |
HSCC |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #49 of 49 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")