Thao Dang

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 40

Top Venues

Publications

Daniel Denardi Huff, Mirko Fiacchini, Thao Dang, Teodoro Alamo
Optimized Coadministration of Propofol and Remifentanil During the Induction Phase of Total Intravenous Anesthesia With Statistical Validation. IEEE Control. Syst. Lett. 8 (2024)
Bob Aubouin-Pairault, Mirko Fiacchini, Thao Dang
Data-based modeling of the Pharmacodynamics for the effect of Propofol and Remifentanil during General Anesthesia. Biomed. Signal Process. Control. 98 (2024)
Akshay Mambakam, José Ignacio Requeno Jarabo, Alexey Bakhirkin, Nicolas Basset, Thao Dang
Mining of extended signal temporal logic specifications with ParetoLib 2.0. Formal Methods Syst. Des. 62 (1) (2024)
Bob Aubouin-Pairault, Mirko Fiacchini, Thao Dang
Online identification of pharmacodynamic parameters for closed-loop anesthesia with model predictive control. Comput. Chem. Eng. 191 (2024)
Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CoRR (2024)
Bob Aubouin-Pairault, Mirko Fiacchini, Thao Dang
Automated Multi-Drugs Administration During Total Intravenous Anesthesia Using Multi-Model Predictive Control. CoRR (2023)
Bob Aubouin-Pairault, Mirko Fiacchini, Thao Dang
PAS: a Python Anesthesia Simulator for drug control. J. Open Source Softw. 8 (89) (2023)
Bob Aubouin-Pairault, Mirko Fiacchini, Thao Dang
Data-based Pharmacodynamic Modeling for BIS and Mean Arterial Pressure Prediction during General Anesthesia. ECC (2023)
Arvind Adimoolam, Indranil Saha, Thao Dang
Safe Self-Triggered Control Based on Precomputed Reachability Sequences. HSCC (2023)
Akshay Mambakam, Eugene Asarin, Nicolas Basset, Thao Dang
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions. HSCC (2023)
Kaouther Moussa, Bob Aubouin-Pairault, Mazen Alamir, Thao Dang
Data-Based Extended Moving Horizon Estimation for MISO Anesthesia Dynamics. IEEE Control. Syst. Lett. 7 (2023)
Thao Dang, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha
Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. CDC (2023)
Thao Dang
Formal Design of Cyber-Physical Systems with Learning-Enabled Components. OVERLAY@AI*IA (2023)
Arvind S. Adimoolam, Thao Dang
Safety Verification of Networked Control Systems by Complex Zonotopes. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia
Parameter synthesis of polynomial dynamical systems. Inf. Comput. 289 (Part) (2022)
Franz Mayr, Sergio Yovine, Federico Pan, Nicolas Basset, Thao Dang
Towards Efficient Active Learning of PDFA. CoRR (2022)
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
Sampling of shape expressions with ShapEx. MEMOCODE (2021)
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
Sampling of Shape Expressions. CoRR (2021)
Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi
Falsification of Cyber-Physical Systems with Constrained Signal Spaces. NFM (2020)
Nicolas Basset, Thao Dang, Akshay Mambakam, José-Ignacio Requeno Jarabo
Learning Specifications for Labelled Patterns. FORMATS (2020)
Thao Dang
Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler. HSB (2019)
Benoît Barbot, Nicolas Basset, Thao Dang
Generation of Signals Under Temporal Constraints for CPS Testing. NFM (2019)
Victor Magron, Alexandre Rocca, Thao Dang
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. IEEE Trans. Computers 68 (7) (2019)
Xavier Avon, Thao Dang
Stimulus Generator for Circuit Model Generation. MT@CPSWeek (2018)
Victor Magron, Alexandre Rocca, Thao Dang
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. CoRR (2018)
Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang
Occupation measure methods for modelling and analysis of biological hybrid systems. ADHS (2018)
Alexandre Rocca, Victor Magron, Thao Dang
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. ARITH (2017)
Thao Dang, Tommaso Dreossi
Temporal specification testing of hybrid systems. CASE (2017)
Thao Dang, Eric Fanchon, Marcelo Forets, Victor Magron, Alexandre Rocca
Occupation measure methods for modelling and analysis of biological hybrid automata. CoRR (2017)
Arvind S. Adimoolam, Thao Dang
Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems. FORMATS (2017)
Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin
Classification and Coverage-Based Falsification for Embedded Control Systems. CAV (1) (2017)
Tommaso Dreossi, Thao Dang, Carla Piazza
Reachability computation for polynomial dynamical systems. Formal Methods Syst. Des. 50 (1) (2017)
Arvind S. Adimoolam, Thao Dang
Template complex zonotopes for stability and invariant verification. ACC (2017)
Mohammad Al Khatib, Antoine Girard, Thao Dang
Scheduling of Embedded Controllers Under Timing Contracts. HSCC (2017)
Alexandre Rocca, Victor Magron, Thao Dang
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. CoRR (2016)
Thao Dang, Alie El-Din Mady, Menouer Boubekeur, Rajesh Kumar, Mark Moulin
Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems. CSDM (2016)
Tommaso Dreossi, Thao Dang, Carla Piazza
Parallelotope Bundles for Polynomial Reachability. HSCC (2016)
Mohammad Al Khatib, Antoine Girard, Thao Dang
Verification and Synthesis of Timing Contracts for Embedded Controllers. HSCC (2016)
Arvind S. Adimoolam, Thao Dang
Using complex zonotopes for stability verification. ACC (2016)
Alexandre Rocca, Thao Dang, Eric Fanchon, Jean Marc Moulis
Application of the Reachability Analysis for the Iron Homeostasis Study. HSB (2016)
Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. NFM (2015)
Mohammad Al Khatib, Antoine Girard, Thao Dang
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. ADHS (2015)
Thao Dang, Tommaso Dreossi, Carla Piazza
Parameter Synthesis Through Temporal Logic Specifications. FM (2015)
Julius Ziegler, Philipp Bender, Thao Dang, Christoph Stiller
Trajectory planning for Bertha - A local, continuous method. Intelligent Vehicles Symposium (2014)
Thao Dang, Tommaso Dreossi, Carla Piazza
Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. HSB (2014)
Alexandre Rocca, Thao Dang, Eric Fanchon
Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations. HSB (2014)
Tommaso Dreossi, Thao Dang
Parameter synthesis for polynomial biological models. HSCC (2014)
Thao Dang, Noa Shalev
Test Coverage Estimation Using Threshold Accepting. ATVA (2014)
Romain Testylier, Thao Dang
NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. ATVA (2013)
Thao Dang, Bertrand Jeannet, Romain Testylier
Verification of embedded control programs. ECC (2013)
Thao Dang, Tommaso Dreossi
Falsifying Oscillation Properties of Parametric Biological Models. HSB (2013)
Thao Dang, Romain Testylier
Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion. Reliab. Comput. 17 (2012)
Romain Testylier, Thao Dang
Analysis of parametric biological models with non-linear dynamics HSB (2012)
Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. ATVA (2012)
Thao Dang, Noa Shalev
State Estimation and Property-Guided Exploration for Hybrid Systems Testing. ICTSS (2012)
Thao Dang, Thomas Martin Gawlitza
Discretizing Affine Hybrid Automata with Uncertainty. ATVA (2011)
Thao Dang, Romain Testylier
Hybridization domain construction using curvature estimation. HSCC (2011)
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)
Thao Dang, Thomas Martin Gawlitza
Template-Based Unbounded Time Verification of Affine Hybrid Automata. APLAS (2011)
Thao Dang, Colas Le Guernic, Oded Maler
Computing reachable states for nonlinear biological models. Theor. Comput. Sci. 412 (21) (2011)
Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier
Using Redundant Constraints for Refinement. ATVA (2010)
Thao Dang, Oded Maler, Romain Testylier
Accurate hybridization of nonlinear systems. HSCC (2010)
Thao Dang, Christian Hoffmann, Christoph Stiller
Continuous Stereo Self-Calibration by Camera Parameter Tracking. IEEE Trans. Image Process. 18 (7) (2009)
Christian Hoffmann, Thao Dang
Cheap Joint Probabilistic Data Association filters in an Interacting Multiple Model design. Robotics Auton. Syst. 57 (3) (2009)
Thao Dang, Tarik Nahhal
Coverage-guided test generation for continuous and hybrid systems. Formal Methods Syst. Des. 34 (2) (2009)
Thao Dang, Colas Le Guernic, Oded Maler
Computing Reachable States for Nonlinear Biological Models. CMSB (2009)
Thao Dang, David Salinas
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion. CAV (2009)
Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic
A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC (2008)
Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev
Sensitive state-space exploration. CDC (2008)
Thao Dang, Tarik Nahhal
Using Disparity to Enhance Test Generation for Hybrid Systems. TestCom/FATES (2008)
Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS (2008)
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). Autom. 55 (6) (2007)
Eugene Asarin, Thao Dang, Antoine Girard
Hybridization methods for the analysis of nonlinear systems. Acta Informatica 43 (7) (2007)
Tarik Nahhal, Thao Dang
Guided Randomized Simulation. HSCC (2007)
Tarik Nahhal, Thao Dang
Test Coverage for Continuous and Hybrid Systems. CAV (2007)
Rajeev Alur, Thao Dang, Franjo Ivancic
Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embed. Comput. Syst. 5 (1) (2006)
Thao Dang
Approximate Reachability Computation for Polynomial Systems. HSCC (2006)
Thao Dang, Sören Kammel, Christian Duchow, Britta Hummel, Christoph Stiller
Path Planning for Autonomous Driving Based on Stereoscopic and Monoscopic Vision Cues. MFI (2006)
Thao Dang, Tarik Nahhal
Randomized Simulation of Hybrid Systems For Circuit Validation. FDL (2006)
Rajeev Alur, Thao Dang, Franjo Ivancic
Counterexample-guided predicate abstraction of hybrid systems. Theor. Comput. Sci. 354 (2) (2006)
Thao Dang, Christian Hoffmann
Tracking Camera Parameters of an Active Stereo Rig. DAGM-Symposium (2006)
Christian Hoffmann, Thao Dang
Cheap Joint Probabilistic Data Association Filters in an Interacting Multiple Model Design. MFI (2006)
Thao Dang, Philippe Gerner
Scheduling for multi-threaded real-time programs via path planning. EMSOFT (2006)
Thao Dang
A Reachability-Based Technique for Idle Speed Control Synthesis. Int. J. Softw. Eng. Knowl. Eng. 15 (2) (2005)
Thao Dang, Christian Hoffmann
Fast Object Hypotheses Generation Using 3D Position and 3D Motion. CVPR Workshops (2005)
Thao Dang, Alexandre Donzé, Oded Maler
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. FMCAD (2004)
Eugene Asarin, Thao Dang
Abstraction by Projection and Application to Multi-affine Systems. HSCC (2004)
Philippe Gerner, Thao Dang
Computing Schedules for Multithreaded Real-Time Programs Using Geometry. FORMATS/FTRTFT (2004)
Rajeev Alur, Thao Dang, Franjo Ivancic
Counter-Example Guided Predicate Abstraction of Hybrid Systems. TACAS (2003)
Rajeev Alur, Thao Dang, Franjo Ivancic
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. HSCC (2003)
Eugene Asarin, Thao Dang, Antoine Girard
Reachability Analysis of Nonlinear Systems Using Conservative Approximation . HSCC (2003)
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. Proc. IEEE 91 (1) (2003)
Eugene Asarin, Thao Dang, Oded Maler
The d/dt Tool for Verification of Hybrid Systems. CAV (2002)
Rajeev Alur, Thao Dang, Franjo Ivancic
Reachability Analysis of Hybrid Systems via Predicate Abstraction. HSCC (2002)
Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT (2001)
Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, George J. Pappas, Harvey Rubin, Paul Dunlap
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri. CDC (2001)
Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler
On Hybrid Control of Under-Actuated Mechanical Systems. HSCC (2001)
Eugene Asarin, Thao Dang, Oded Maler
d/dt: a verification tool for hybrid systems. CDC (2001)
Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli
Effective synthesis of switching controllers for linear systems. Proc. IEEE 88 (7) (2000)
Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. HSCC (2000)

Thao Dang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thao Dang