Thao Dang - RankMe

115 papers A* 4A 2B 10C 6Misc 2Journal 30Unranked 54

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