| 2023 | IROS | Exploiting Spatio-Temporal Human-Object Relations Using Graph Neural Networks for Human Action Recognition and 3D Motion Forecasting. | Dimitrios Lagamtzis, Fabian Schmidt, Jan R. Seyler, Thao Dang, Steffen Schober |
| 2022 | ICAART | CoAx: Collaborative Action Dataset for Human Motion Forecasting in an Industrial Workspace. | Dimitrios Lagamtzis, Fabian Schmidt, Jan R. Seyler, Thao Dang |
| 2022 | VEHITS | Identifying Scenarios in Field Data to Enable Validation of Highly Automated Driving Systems. | Christian Reichenbcher, Maximilian Rasch, Zafer Kayatas, Florian Wirthmller, Jochen Hipp, Thao Dang, Oliver Bringmann |
| 2021 | MEMOCODE | Sampling of shape expressions with ShapEx. | Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic |
| 2017 | ARITH | Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. | Alexandre Rocca, Victor Magron, Thao Dang |
| 2017 | CAV | Classification and Coverage-Based Falsification for Embedded Control Systems. | Arvind S. Adimoolam, Thao Dang, Alexandre Donz, James Kapinski, Xiaoqing Jin |
| 2015 | FM | Parameter Synthesis Through Temporal Logic Specifications. | Thao Dang, Tommaso Dreossi, Carla Piazza |
| 2014 | ATVA | Test Coverage Estimation Using Threshold Accepting. | Thao Dang, Noa Shalev |
| 2013 | ATVA | NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. | Romain Testylier, Thao Dang |
| 2012 | ATVA | Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. | Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard |
| 2012 | IROS | Stochastic situation assessment in advanced driver assistance system for complex multi-objects traffic situations. | Adam Berthelot, Andreas Tamke, Thao Dang, Gabi Breuel |
| 2011 | APLAS | Template-Based Unbounded Time Verification of Affine Hybrid Automata. | Thao Dang, Thomas Martin Gawlitza |
| 2011 | ATVA | Discretizing Affine Hybrid Automata with Uncertainty. | Thao Dang, Thomas Martin Gawlitza |
| 2011 | CAV | SpaceEx: Scalable Verification of Hybrid Systems. | Goran Frehse, Colas Le Guernic, Alexandre Donz, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler |
| 2010 | ATVA | Using Redundant Constraints for Refinement. | Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier |
| 2009 | CAV | Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion. | Thao Dang, David Salinas |
| 2008 | TACAS | Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. | Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic |
| 2007 | CAV | Test Coverage for Continuous and Hybrid Systems. | Tarik Nahhal, Thao Dang |
| 2006 | EMSOFT | Scheduling for multi-threaded real-time programs via path planning. | Thao Dang, Philippe Gerner |
| 2006 | FDL | Randomized Simulation of Hybrid Systems For Circuit Validation. | Thao Dang, Tarik Nahhal |
| 2005 | CVPR | Fast Object Hypotheses Generation Using 3D Position and 3D Motion. | Thao Dang, Christian Hoffmann |
| 2004 | FMCAD | Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. | Thao Dang, Alexandre Donz, Oded Maler |
| 2003 | TACAS | Counter-Example Guided Predicate Abstraction of Hybrid Systems. | Rajeev Alur, Thao Dang, Franjo Ivancic |
| 2002 | CAV | The d/dt Tool for Verification of Hybrid Systems. | Eugene Asarin, Thao Dang, Oded Maler |
| 2001 | EMSOFT | Hierarchical Hybrid Modeling of Embedded Systems. | Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky |