Reachability Analysis via Face Lifting. - Thao Dang 001; Oded Maler (HSCC, 1998)

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. - Eugene Asarin; Thao Dang 001; Oded Maler; Olivier Bournez (HSCC, 2000)

Effective synthesis of switching controllers for linear systems. - Eugene Asarin; Olivier Bournez; Thao Dang 001; Oded Maler; Amir Pnueli (Proc. IEEE, 2000)

d/dt: a verification tool for hybrid systems. - Eugene Asarin; Thao Dang 001; Oded Maler (CDC, 2001)

Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri. - Calin Belta; Jonathan Schug; Thao Dang 001; Vijay Kumar 001; George J. Pappas; Harvey Rubin; Paul Dunlap (CDC, 2001)

Hierarchical Hybrid Modeling of Embedded Systems. - Rajeev Alur; Thao Dang 001; Joel M. Esposito; Rafael Fierro; Yerang Hur; Franjo Ivancic; Vijay Kumar 001; Insup Lee 001; Pradyumna Mishra; George J. Pappas; Oleg Sokolsky (EMSOFT, 2001)

On Hybrid Control of Under-Actuated Mechanical Systems. - Eugene Asarin; Sorav Bansal; Bernard Espiau; Thao Dang 001; Oded Maler (HSCC, 2001)

The d/dt Tool for Verification of Hybrid Systems. - Eugene Asarin; Thao Dang 001; Oded Maler (CAV, 2002)

Reachability Analysis of Hybrid Systems via Predicate Abstraction. - Rajeev Alur; Thao Dang 001; Franjo Ivancic (HSCC, 2002)

Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. - Rajeev Alur; Thao Dang 001; Franjo Ivancic (HSCC, 2003)

Reachability Analysis of Nonlinear Systems Using Conservative Approximation . - Eugene Asarin; Thao Dang 001; Antoine Girard (HSCC, 2003)

Counter-Example Guided Predicate Abstraction of Hybrid Systems. - Rajeev Alur; Thao Dang 001; Franjo Ivancic (TACAS, 2003)

Hierarchical modeling and analysis of embedded systems. - Rajeev Alur; Thao Dang 001; Joel M. Esposito; Yerang Hur; Franjo Ivancic; Vijay Kumar 001; Insup Lee 001; Pradyumna Mishra; George J. Pappas; Oleg Sokolsky (Proc. IEEE, 2003)

Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. - Thao Dang 001; Alexandre Donzé; Oded Maler (FMCAD, 2004)

Computing Schedules for Multithreaded Real-Time Programs Using Geometry. - Philippe Gerner; Thao Dang 001 (FORMATS/FTRTFT, 2004)

Abstraction by Projection and Application to Multi-affine Systems. - Eugene Asarin; Thao Dang 001 (HSCC, 2004)

Fast Object Hypotheses Generation Using 3D Position and 3D Motion. - Thao Dang 001; Christian Hoffmann 004 (CVPR Workshops, 2005)

A Reachability-Based Technique for Idle Speed Control Synthesis. - Thao Dang 001 (Int. J. Softw. Eng. Knowl. Eng., 2005)

Tracking Camera Parameters of an Active Stereo Rig. - Thao Dang 001; Christian Hoffmann 004 (DAGM-Symposium, 2006)

Scheduling for multi-threaded real-time programs via path planning. - Thao Dang 001; Philippe Gerner (EMSOFT, 2006)

Randomized Simulation of Hybrid Systems For Circuit Validation. - Thao Dang 001; Tarik Nahhal (FDL, 2006)

Approximate Reachability Computation for Polynomial Systems. - Thao Dang 001 (HSCC, 2006)

Path Planning for Autonomous Driving Based on Stereoscopic and Monoscopic Vision Cues. - Thao Dang 001; Sören Kammel; Christian Duchow; Britta Hummel; Christoph Stiller (MFI, 2006)

Counterexample-guided predicate abstraction of hybrid systems. - Rajeev Alur; Thao Dang 001; Franjo Ivancic (Theor. Comput. Sci., 2006)

Predicate abstraction for reachability analysis of hybrid systems. - Rajeev Alur; Thao Dang 001; Franjo Ivancic (ACM Trans. Embed. Comput. Syst., 2006)

Test Coverage for Continuous and Hybrid Systems. - Tarik Nahhal; Thao Dang 001 (CAV, 2007)

Guided Randomized Simulation. - Tarik Nahhal; Thao Dang 001 (HSCC, 2007)

Hybridization methods for the analysis of nonlinear systems. - Eugene Asarin; Thao Dang 001; Antoine Girard (Acta Informatica, 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). - Christoph Stiller; Sören Kammel; Thao Dang 001; Christian Duchow; Britta Hummel (Autom., 2007)

Sensitive state-space exploration. - Thao Dang 001; Alexandre Donzé; Oded Maler; Noa Shalev (CDC, 2008)

A Policy Iteration Technique for Time Elapse over Template Polyhedra. - Sriram Sankaranarayanan 001; Thao Dang 001; Franjo Ivancic (HSCC, 2008)

Using Disparity to Enhance Test Generation for Hybrid Systems. - Thao Dang 001; Tarik Nahhal (TestCom/FATES, 2008)

Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. - Sriram Sankaranarayanan 001; Thao Dang 001; Franjo Ivancic (TACAS, 2008)

Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion. - Thao Dang 001; David Salinas (CAV, 2009)

Coverage-guided test generation for continuous and hybrid systems. - Thao Dang 001; Tarik Nahhal (Formal Methods Syst. Des., 2009)

Cheap Joint Probabilistic Data Association filters in an Interacting Multiple Model design. - Christian Hoffmann 004; Thao Dang 001 (Robotics Auton. Syst., 2009)

Continuous Stereo Self-Calibration by Camera Parameter Tracking. - Thao Dang 001; Christian Hoffmann 004; Christoph Stiller (IEEE Trans. Image Process., 2009)

Using Redundant Constraints for Refinement. - Eugene Asarin; Thao Dang 001; Oded Maler; Romain Testylier (ATVA, 2010)

Accurate hybridization of nonlinear systems. - Thao Dang 001; Oded Maler; Romain Testylier (HSCC, 2010)

Model-Based Testing of Hybrid Systems. - Thao Dang 001 (Model-Based Testing for Embedded Systems, 2011)

Template-Based Unbounded Time Verification of Affine Hybrid Automata. - Thao Dang 001; Thomas Martin Gawlitza (APLAS, 2011)

Discretizing Affine Hybrid Automata with Uncertainty. - Thao Dang 001; Thomas Martin Gawlitza (ATVA, 2011)

SpaceEx: Scalable Verification of Hybrid Systems. - Goran Frehse; Colas Le Guernic; Alexandre Donzé; Scott Cotton; Rajarshi Ray 001; Olivier Lebeltel; Rodolfo Ripado; Antoine Girard; Thao Dang 001; Oded Maler (CAV, 2011)

Hybridization domain construction using curvature estimation. - Thao Dang 001; Romain Testylier (HSCC, 2011)

Computing reachable states for nonlinear biological models. - Thao Dang 001; Colas Le Guernic; Oded Maler (Theor. Comput. Sci., 2011)

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. - Mohamed Amin Ben Sassi; Romain Testylier; Thao Dang 001; Antoine Girard (ATVA, 2012)

State Estimation and Property-Guided Exploration for Hybrid Systems Testing. - Thao Dang 001; Noa Shalev (ICTSS, 2012)

Analysis of parametric biological models with non-linear dynamics - Romain Testylier; Thao Dang 001 (HSB, 2012)

Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion. - Thao Dang 001; Romain Testylier (Reliab. Comput., 2012)

Tools for the Analysis of Hybrid Models. - Thao Dang 001; Goran Frehse; Antoine Girard; Colas Le Guernic (Communicating Embedded Systems, 2013)

NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. - Romain Testylier; Thao Dang 001 (ATVA, 2013)

Verification of embedded control programs. - Thao Dang 001; Bertrand Jeannet; Romain Testylier (ECC, 2013)

Falsifying Oscillation Properties of Parametric Biological Models. - Thao Dang 001; Tommaso Dreossi (HSB, 2013)

Test Coverage Estimation Using Threshold Accepting. - Thao Dang 001; Noa Shalev (ATVA, 2014)

Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. - Thao Dang 001; Tommaso Dreossi; Carla Piazza (HSB, 2014)

Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations. - Alexandre Rocca; Thao Dang 001; Eric Fanchon (HSB, 2014)

Parameter synthesis for polynomial biological models. - Tommaso Dreossi; Thao Dang 001 (HSCC, 2014)

Trajectory planning for Bertha - A local, continuous method. - Julius Ziegler; Philipp Bender; Thao Dang 001; Christoph Stiller (Intelligent Vehicles Symposium, 2014)

Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. - Mohammad Al Khatib; Antoine Girard; Thao Dang 001 (ADHS, 2015)

Parameter Synthesis Through Temporal Logic Specifications. - Thao Dang 001; Tommaso Dreossi; Carla Piazza (FM, 2015)

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. - Tommaso Dreossi; Thao Dang 001; Alexandre Donzé; James Kapinski; Xiaoqing Jin; Jyotirmoy V. Deshmukh (NFM, 2015)

Using complex zonotopes for stability verification. - Arvind S. Adimoolam; Thao Dang 001 (ACC, 2016)

Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems. - Thao Dang 001; Alie El-Din Mady; Menouer Boubekeur; Rajesh Kumar; Mark Moulin (CSDM, 2016)

Application of the Reachability Analysis for the Iron Homeostasis Study. - Alexandre Rocca; Thao Dang 001; Eric Fanchon; Jean Marc Moulis (HSB, 2016)

Parallelotope Bundles for Polynomial Reachability. - Tommaso Dreossi; Thao Dang 001; Carla Piazza (HSCC, 2016)

Verification and Synthesis of Timing Contracts for Embedded Controllers. - Mohammad Al Khatib; Antoine Girard; Thao Dang 001 (HSCC, 2016)

Template complex zonotopes for stability and invariant verification. - Arvind S. Adimoolam; Thao Dang 001 (ACC, 2017)

Temporal specification testing of hybrid systems. - Thao Dang 001; Tommaso Dreossi (CASE, 2017)

Classification and Coverage-Based Falsification for Embedded Control Systems. - Arvind S. Adimoolam; Thao Dang 001; Alexandre Donzé; James Kapinski; Xiaoqing Jin (CAV (1), 2017)

Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems. - Arvind S. Adimoolam; Thao Dang 001 (FORMATS, 2017)

Scheduling of Embedded Controllers Under Timing Contracts. - Mohammad Al Khatib; Antoine Girard; Thao Dang 001 (HSCC, 2017)

Occupation measure methods for modelling and analysis of biological hybrid automata. - Thao Dang 001; Eric Fanchon; Marcelo Forets; Victor Magron; Alexandre Rocca (CoRR, 2017)

Reachability computation for polynomial dynamical systems. - Tommaso Dreossi; Thao Dang 001; Carla Piazza (Formal Methods Syst. Des., 2017)

Occupation measure methods for modelling and analysis of biological hybrid systems. - Alexandre Rocca; Marcelo Forets; Victor Magron; Eric Fanchon; Thao Dang 001 (ADHS, 2018)

Stimulus Generator for Circuit Model Generation. - Xavier Avon; Thao Dang 001 (MT@CPSWeek, 2018)

Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler. - Thao Dang 001 (HSB, 2019)

Generation of Signals Under Temporal Constraints for CPS Testing. - Benoît Barbot; Nicolas Basset; Thao Dang 001 (NFM, 2019)

Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. - Victor Magron; Alexandre Rocca; Thao Dang 001 (IEEE Trans. Computers, 2019)

Set-Based Analysis for Biological Modeling. - Thao Dang 001; Tommaso Dreossi; Eric Fanchon; Oded Maler; Carla Piazza; Alexandre Rocca (Automated Reasoning for Systems Biology and Medicine, 2019)

Learning Specifications for Labelled Patterns. - Nicolas Basset; Thao Dang 001; Akshay Mambakam; José Ignacio Requeno Jarabo (FORMATS, 2020)

Falsification of Cyber-Physical Systems with Constrained Signal Spaces. - Benoît Barbot; Nicolas Basset; Thao Dang 001; Alexandre Donzé; James Kapinski; Tomoya Yamaguchi 001 (NFM, 2020)

Explaining Safety Violations in Real-Time Systems. - Thomas Mari; Thao Dang 001; Gregor Gössler (FORMATS, 2021)

Sampling of shape expressions with ShapEx. - Nicolas Basset; Thao Dang 001; Felix Gigler; Cristinel Mateis; Dejan Nickovic (MEMOCODE, 2021)

Sampling of Shape Expressions. - Nicolas Basset; Thao Dang 001; Felix Gigler; Cristinel Mateis; Dejan Nickovic (CoRR, 2021)

Towards Efficient Active Learning of PDFA. - Franz Mayr; Sergio Yovine; Federico Pan; Nicolas Basset; Thao Dang 001 (CoRR, 2022)

Parameter synthesis of polynomial dynamical systems. - Alberto Casagrande; Thao Dang 001; Luca Dorigo; Tommaso Dreossi; Carla Piazza; Eleonora Pippia (Inf. Comput., 2022)

Safety Verification of Networked Control Systems by Complex Zonotopes. - Arvind S. Adimoolam; Thao Dang 001 (Leibniz Trans. Embed. Syst., 2022)

Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. - Thao Dang 001; Alexandre Donzé; Inzemamul Haque; Nikolaos Kekatos; Indranil Saha (CDC, 2023)

Data-based Pharmacodynamic Modeling for BIS and Mean Arterial Pressure Prediction during General Anesthesia. - Bob Aubouin-Pairault; Mirko Fiacchini; Thao Dang 001 (ECC, 2023)

Safe Self-Triggered Control Based on Precomputed Reachability Sequences. - Arvind Adimoolam; Indranil Saha; Thao Dang 001 (HSCC, 2023)

Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. - Akshay Mambakam; Eugene Asarin; Nicolas Basset; Thao Dang 001 (HSCC, 2023)

Formal Design of Cyber-Physical Systems with Learning-Enabled Components. - Thao Dang 001 (OVERLAY@AI*IA, 2023)

Automated Multi-Drugs Administration During Total Intravenous Anesthesia Using Multi-Model Predictive Control. - Bob Aubouin-Pairault; Mirko Fiacchini; Thao Dang 001 (CoRR, 2023)

Data-Based Extended Moving Horizon Estimation for MISO Anesthesia Dynamics. - Kaouther Moussa; Bob Aubouin-Pairault; Mazen Alamir; Thao Dang 001 (IEEE Control. Syst. Lett., 2023)

PAS: a Python Anesthesia Simulator for drug control. - Bob Aubouin-Pairault; Mirko Fiacchini; Thao Dang 001 (J. Open Source Softw., 2023)

Hybrid System Identification through Optimization and Active Learning. - Hadi Dayekh; Nicolas Basset; Thao Dang 001 (ADHS, 2024)

Active Learning of Switched Nonlinear Dynamical Systems. - Hadi Dayekh; Nicolas Basset; Thao Dang 001 (CDC, 2024)

Data-based modeling of the Pharmacodynamics for the effect of Propofol and Remifentanil during General Anesthesia. - Bob Aubouin-Pairault; Mirko Fiacchini; Thao Dang 001 (Biomed. Signal Process. Control., 2024)

Online identification of pharmacodynamic parameters for closed-loop anesthesia with model predictive control. - Bob Aubouin-Pairault; Mirko Fiacchini; Thao Dang 001 (Comput. Chem. Eng., 2024)

Optimized Coadministration of Propofol and Remifentanil During the Induction Phase of Total Intravenous Anesthesia With Statistical Validation. - Daniel Denardi Huff; Mirko Fiacchini; Thao Dang 001; Teodoro Alamo (IEEE Control. Syst. Lett., 2024)

Mining of extended signal temporal logic specifications with ParetoLib 2.0. - Akshay Mambakam; José Ignacio Requeno Jarabo; Alexey Bakhirkin; Nicolas Basset; Thao Dang 001 (Formal Methods Syst. Des., 2024)