Home > Topics > MOHYTOS > Publications

by kinds

Journal Articles

2023

  1. Verification of component-based systems with recursive architectures. Marius Bozga, Radu Iosif, Joseph Sifakis - Theor. Comput. Sci. - [bibtex]

2022

  1. Entailment is Undecidable for Symbolic Heap Separation Logic Formul\ae with Non-Established Inductive Rules. Mnacho Echenim, Radu Iosif, Nicolas Peltier - Inf. Process. Lett. - [bibtex]
  2. Reasoning about distributed reconfigurable systems. Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen - Proc. ACM Program. Lang. - [bibtex]

2021

  1. Programming dynamic reconfigurable systems. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis - Int. J. Softw. Tools Technol. Transf. - [bibtex]
  2. Checking deadlock-freedom of parametric component-based systems. Marius Bozga, Radu Iosif, Joseph Sifakis - J. Log. Algebraic Methods Program. - [bibtex]

2020

  1. The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates. Mnacho Echenim, Radu Iosif, Nicolas Peltier - ACM Trans. Comput. Log. - [bibtex]

2019

  1. Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. Victor Magron, Alexandre Rocca, Thao Dang - IEEE Transactions on Computers - [bibtex]
  2. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. Lukas Holik, Radu Iosif, A Rogalewicz, T Vojnar - Formal Methods in System Design - [bibtex]

2018

  1. Compositional strategy synthesis for stochastic games with multiple objectives. Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche - Inf. Comput. - [bibtex]
  2. Reachability computation for polynomial dynamical systems. Tommaso Dreossi, Thao Dang, Carla Piazza - Formal Methods in System Design - [bibtex]
  3. Performance evaluation of stochastic real-time systems with the SBIP framework. Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay - IJCCBS - [bibtex]
  4. Global and Local Deadlock Freedom in BIP. Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket - ACM Trans. Softw. Eng. Methodol. - [bibtex]

2017

  1. Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis. Mohammad Al Khatib, Antoine Girard, Thao Dang - Nonlinear Analysis: Hybrid Systems - [bibtex]

2015

  1. Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz - Logical Methods in Computer Science - [bibtex]

2012

  1. Reachability analysis for polynomial dynamical systems using the Bernstein expansion. Thao Dang, Romain Testylier - Reliable Computing Journal - [bibtex]

2011

  1. Computing reachable states for nonlinear biological models. Thao Dang, Colas Le Guernic, Oded Maler - Theoretical Computer Science - [bibtex]

2009

  1. Coverage-Guided Test Generation for Continuous and Hybrid Systems. Thao Dang, Tarik Nahhal - Formal Methods in System Design - [bibtex]

2007

  1. Hybridization methods for the analysis of nonlinear systems. Eugene Asarin, Thao Dang, Antoine Girard - Acta Inf. - [bibtex]

2006

  1. Counter-example Guided Predicate Abstraction of Hybrid Systems. Rajeev Alur, Thao Dang, Franjo Ivancic - Theoretical Computer Science (TCS) - [bibtex]
  2. Reachability Analysis of Hybrid Systems via Predicate Abstraction. Rajeev Alur, Thao Dang, Franjo Ivancic - ACM transactions on embedded computing systems (TECS) - [bibtex]

book

2012

  1. Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012. - HSCC - [bibtex]

Book Chapters (inbook)

2011

  1. Model-Based Testing for Embedded Systems. Thao Dang - [bibtex]

2009

  1. Model-based Design of Heterogeneous Systems. Stavros Tripakis, Thao Dang - [bibtex]

Book Chapters

2019

  1. Set-Based Analysis for Biological Modelling. Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca - Automated Reasoning for Systems Biology and Medicine, Computational Biology Series - [bibtex]

2018

  1. Timing Contracts for Multi-Core Embedded Control Systems. Mohammad Al Khatib, Antoine Girard, Thao Dang - Control Subject to Computational and Communication Constraints: Current Challenges - [bibtex]
  2. Template Complex Zonotope Based Stability Verification. Arvind S. Adimoolam, Thao Dang - Control Subject to Computational and Communication Constraints: Current Challenges - [bibtex]

Conference Articles

2022

  1. Correct by Design Coordination of Autonomous Driving Systems. Marius Bozga, Joseph Sifakis - ISoLA (3) - [bibtex]
  2. Model-checking of space systems designed with TASTE/SDL. Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin - MoDELS (Companion) - [bibtex]
  3. Decision Problems in a Logic for Reasoning About Reconfigurable Distributed Systems. Marius Bozga, Lucas Bueri, Radu Iosif - Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings - [bibtex]
  4. On an Invariance Problem for Parameterized Concurrent Systems. Marius Bozga, Lucas Bueri, Radu Iosif - 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland - [bibtex]

2021

  1. Monitoring Distributed Component-Based Systems. Ylies Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga - FACS - [bibtex]
  2. A temporal configuration logic for dynamic reconfigurable systems. Antoine El-Hokayem, Marius Bozga, Joseph Sifakis - SAC - [bibtex]

2020

  1. Proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020), Vienna, Austria, August 2020, editors Thao Dang and Stefan Ratschan. - [bibtex]
  2. Falsification of Cyber-Physical Systems with Constrained Signal Spaces. Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James P. Kapinski, Tomoya Yamaguchi - NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings - [bibtex]
  3. On the Reachable Set of Uncertain Closed Loop Discrete-Time Linear Systems. Nacim Meslem, Thao Dang - IFAC World Congress 2020, Berlin - [bibtex]
  4. Learning Specifications for Labelled Patterns. Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo - Formal Modeling and Analysis of Timed Systems - [bibtex]
  5. Structural Invariants for the Verification of Systems with Parameterized Architectures. Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel - Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, , Proceedings, Part I - [bibtex]
  6. Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard. Mnacho Echenim, Radu Iosif, Nicolas Peltier - LPAR 2020 - [bibtex]

2019

  1. ParetoLib: A Python Library for Parameter Synthesis. Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo - Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019 - [bibtex]
  2. Reachability Analysis and Hybrid Systems Biology - In Memoriam Oded Maler. Thao Dang - Hybrid Systems Biology - 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers - [bibtex]
  3. Generation of Signals Under Temporal Constraints for CPS Testing. Benoît Barbot, Nicolas Basset, Thao Dang - Nasa Formal Methods NFM 2019 - [bibtex]
  4. The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains. Mnacho Echenim, Radu Iosif, Nicolas Peltier - Foundations of Software Science and Computation Structures (FOSSACS) - 22nd International Conference - [bibtex]
  5. SL-COMP: Competition of Solvers for Separation Logic. Mihaela Sighireanu, Juan Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengal, Chong Gao, Zhilin Wu - Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019 - [bibtex]
  6. Alternating Automata Modulo First Order Theories. Radu Iosif, Xiao Xu - Computer Aided Verification - 31st International Conference - [bibtex]
  7. Prenex Separation Logic with One Selector Field. Mnacho Echenim, Radu Iosif, Nicolas Peltier - Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference - [bibtex]
  8. Checking Deadlock-Freedom of Parametric Component-Based Systems. Marius Bozga, Radu Iosif, Joseph Sifakis - Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference - [bibtex]

2018

  1. S-BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem - Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings - [bibtex]
  2. Beyond Admissibility: Dominance Between Chains of Strategies. Nicolas Basset, Ismael Jecker, Arno Pauly, Jean-Francois Raskin, Marie van den Bogaard - 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK - [bibtex]
  3. Distance on Timed Words and Applications. Eugene Asarin, Nicolas Basset, Aldric Degorre - Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings - [bibtex]
  4. Occupation measure methods for modelling and analysis of biological hybrid systems. Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang - 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018 - [bibtex]
  5. Stimulus Generator for Circuit Model Generation. Xavier Avon, Thao Dang - 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018 - [bibtex]
  6. Abstraction Refinement for Emptiness Checking of Alternating Data Automata. Radu Iosif, Xiao Xu - Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018 - [bibtex]
  7. Program Verification with Separation Logic. Radu Iosif - Model Checking Software - 25th International Symposium, SPIN 2018 - [bibtex]
  8. A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. Radu Iosif, Cristina Serban - LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning - [bibtex]
  9. Abstraction Refinement for Emptiness Checking of Alternating Data Automata. Radu Iosif, Xiao Xu - Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software - [bibtex]
  10. Program Verification with Separation Logic. Radu Iosif - Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - [bibtex]
  11. A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. Radu Iosif, Cristina Serban - LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 - [bibtex]
  12. An Entailment Checker for Separation Logic with Inductive Definitions. Radu Iosif, Cristina Serban - 18th International Workshop on Automated Verification of Critical Systems, AVOCS'18 - [bibtex]
  13. Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis - Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III - [bibtex]
  14. Programming Dynamic Reconfigurable Systems. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis - Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings - [bibtex]

2017

  1. Improved Learning for Stochastic Timed Models by State-Merging Algorithms. Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem - NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - [bibtex]
  2. Classification and Coverage-Based Falsification for Embedded Control Systems. Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James P. Kapinski, Xiaoqing Jin - Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I - [bibtex]
  3. Self-Triggered Control for Sampled-data Systems using Reachability Analysis. Mohammad Al Khatib, Antoine Girard, Thao Dang - IFAC 2017 - 20th World Congress of the International Federation of Automatic Control - [bibtex]
  4. Template complex zonotopes for stability and invariant verification. Arvind S. Adimoolam, Thao Dang - 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017 - [bibtex]
  5. Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. Alexandre Rocca, Victor Magron, Thao Dang - 24th IEEE Symposium on Computer Arithmetic, ARITH 2017, London, United Kingdom, July 24-26, 2017 - [bibtex]
  6. Temporal specification testing of hybrid systems. Thao Dang, Tommaso Dreossi - 13th IEEE Conference on Automation Science and Engineering, CASE 2017, Xi'an, China, August 20-23, 2017 - [bibtex]
  7. Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems. Arvind S. Adimoolam, Thao Dang - Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings - [bibtex]
  8. Scheduling of Embedded Controllers Under Timing Contracts. Mohammad Al Khatib, Antoine Girard, Thao Dang - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017 - [bibtex]
  9. Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic. Andrew Reynolds, Radu Iosif, Cristina Serban - Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings - [bibtex]

2016

  1. Using complex zonotopes for stability verification. Arvind S. Adimoolam, Thao Dang - 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016 - [bibtex]
  2. Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems. Thao Dang, Alie El -, Menouer Boubekeur, Rajesh Kumar, Mark Moulin - Complex Systems Design & Management, Proceedings of the Seventh International Conference on Complex Systems Design & Management, CSD&M 2016, Paris, France, December 13-14, 2016 - [bibtex]
  3. Application of the Reachability Analysis for the Iron Homeostasis Study. Alexandre Rocca, Thao Dang, Eric Fanchon, Jean Marc Moulis - Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings - [bibtex]
  4. Parallelotope Bundles for Polynomial Reachability. Tommaso Dreossi, Thao Dang, Carla Piazza - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 - [bibtex]
  5. Verification and Synthesis of Timing Contracts for Embedded Controllers. Mohammad Al Khatib, Antoine Girard, Thao Dang - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 - [bibtex]
  6. A Decision Procedure for Separation Logic in SMT. Andrew Reynolds, Radu Iosif, Cristina Serban, Tim King - Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - [bibtex]
  7. Compositional Parameter Synthesis. Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess - FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - [bibtex]
  8. A Compositional Approach to the Verification of Hybrid Systems. Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga - Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - [bibtex]
  9. RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. Souha Ben-Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz - Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9636 - [bibtex]

2015

  1. Compositional Verification of Parameterised Timed Systems. Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz - NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - [bibtex]
  2. Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. Tommaso Dreossi, Thao Dang, Alexandre Donzé, James P. Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh - NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - [bibtex]
  3. Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. Mohammad Al Khatib, Antoine Girard, Thao Dang - 5th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2015, Atlanta, GA, USA, October 14-16, 2015 - [bibtex]
  4. Parameter Synthesis Through Temporal Logic Specifications. Thao Dang, Tommaso Dreossi, Carla Piazza - FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - [bibtex]

2014

  1. Test Coverage Estimation Using Threshold Accepting. Thao Dang, Noa Shalev - Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings - [bibtex]
  2. Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. Thao Dang, Tommaso Dreossi, Carla Piazza - 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 - [bibtex]
  3. Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations. Alexandre Rocca, Thao Dang, Eric Fanchon - 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 - [bibtex]
  4. Parameter synthesis for polynomial biological models. Tommaso Dreossi, Thao Dang - 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014 - [bibtex]

2013

  1. Verification of embedded control programs. Thao Dang, Bertrand Jeannet, Romain Testylier - Proceedings of European Conrol Conference ECC - [bibtex]
  2. NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. Romain Testylier, Thao Dang - Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings - [bibtex]
  3. Falsifying Oscillation Properties of Parametric Biological Models. Thao Dang, Tommaso Dreossi - Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013 - [bibtex]

2012

  1. Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard - Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings - [bibtex]
  2. State Estimation and Property-Guided Exploration for Hybrid Systems Testing. Thao Dang, Noa Shalev - ICTSS - [bibtex]
  3. Analysis of parametric biological models with non-linear dynamics. Romain Testylier, Thao Dang - HSB - [bibtex]

2011

  1. Hybridization Domain Construction using Curvature Estimation. Thao Dang, Romain Testylier - Proceedings HSCC 2011 - [bibtex]
  2. Template-Based Unbounded Time Verification of Affine Hybrid Automata. Thao Dang, Thomas Gawlitza - Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings - [bibtex]
  3. Discretizing Affine Hybrid Automata with Uncertainty. Thao Dang, Thomas Gawlitza - Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings - [bibtex]
  4. 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 - Proc. 23rd International Conference on Computer Aided Verification (CAV) - [bibtex]

2010

  1. Accurate hybridization of nonlinear systems. Thao Dang, Oded Maler, Romain Testylier - Proceedings of HSCC 2010 - [bibtex]
  2. Using Redundant Constraints for Refinement. Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier - Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings - [bibtex]

2009

  1. Image computation for polynomial dynamical systems using the Bernstein expansion. Thao Dang, David Salinas - Computer Aided Verification CAV'09 - [bibtex]
  2. Computing Reachable States for Nonlinear Biological Models. Thao Dang, Colas Le Guernic, Oded Maler - Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings - [bibtex]

2008

  1. Sensitive State Space Exploration. Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev - IEEE Conference on Decision and Control (CDC) - [bibtex]
  2. Outils pour l'analyse des modèles hybrides. Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic - Approches formelles des systèmes embarqué communicants - [bibtex]
  3. Using Disparity to Enhance Test Generation for Hybrid Systems. Thao Dang, Tarik Nahhal - TestCom/FATES 2008 - [bibtex]
  4. A Policy Iteration Technique for Time Elapse over Template Polyhedra. Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic - Hybrid Systems: Computation and Control HSCC'08 - [bibtex]
  5. Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic - TACAS'08 - [bibtex]
  6. Compositional Verification for Component-Based Systems and Application. Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen - Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings - [bibtex]

2007

  1. Test Coverage for Continuous and Hybrid Systems. Tarik Nahhal, Thao Dang - CAV - [bibtex]
  2. Guided Randomized Simulation. Tarik Nahhal, Thao Dang - HSCC - [bibtex]

2006

  1. Recent Progress in Continuous and Hybrid Reachability Analysis. Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, Oded Maler - CACSD 2006 - [bibtex]
  2. Approximate Reachability Computation for Polynomial Systems. Thao Dang - HSCC 2006 - [bibtex]
  3. Scheduling for multi-threaded real-time programs via path planning. Thao Dang, Philippe Gerner - Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006 - [bibtex]
  4. Randomized simulation of hybrid systems for circuit validation. Thao Dang, Tarik Nahhal - Proceedings of FDL06 - Forum on specification and Design Languages - [bibtex]
  5. Simulation of Hybrid Systems For Circuit Validation. Thao Dang, Tarik Nahhal - FDL 2006 - [bibtex]

2004

  1. Abstraction by projection and application to multi-affine systems. Eugene Asarin, Thao Dang - Hybrid Systems: Control and Computation HSCC'04 - [bibtex]
  2. Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. Thao Dang, Alexandre Donzé, Oded Maler - FMCAD - [bibtex]

2003

  1. Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction. Rajeev Alur, Thao Dang, Franjo Ivancic - Hybrid Systems: Control and Computation HSCC'03 - [bibtex]
  2. Counter-example Guided Predicate Abstraction of Hybrid Systems. Rajeev Alur, Thao Dang, Franjo Ivancic - Tools and Algorithms for the Construction and Analysis of Systems TACAS'03 - [bibtex]

2002

  1. Reachability Analysis Via Predicate Abstraction. Rajeev Alur, Thao Dang, Franjo Ivancic - Hybrid Systems: Computation and Control HSCC'02 - [bibtex]
  2. The d/dt Tool for Verification of Hybrid Systems. Eugene Asarin, Thao Dang, Oded Maler - Computer Aided Verification CAV'02 - [bibtex]

2001

  1. d/dt: A Verification Tool for Hybrid Systems. Eugene Asarin, Thao Dang, Oded Maler - CDC'01 - Conference on Decision and Control - [bibtex]
  2. On Hybrid Control of Under-actuated Mechanical Systems. Eugene Asarin, Sorav Bansal, Thao Dang, Bernard Espiau, Oded Maler - Hybrid Systems: Computation and Control HSCC'01 - [bibtex]
  3. d/dt: a Tool for Reachability Analysis of Continuous and Hybrid systems. Eugene Asarin, Thao Dang, Oded Maler - 5th IFAC Symposium Nonlinear Control Systems NOLCOS - [bibtex]
  4. Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio Fisheri. Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, George Pappas, Harvey Rubin, Paul Dunlap - CDC'01 - Conference on Decision and Control - [bibtex]

1998

  1. Reachability Analysis via Face Lifting. Thao Dang, Oded Maler - Hybrid Systems: Computation and Control HSCC'98 - [bibtex]

PhD Thesis and HDR

2000

  1. V'erification et synth`ese des syst`emes hybrides. Thao Dang - [bibtex]

New publications

Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4140082