| SpaceEx: Scalable verification of hybrid systems G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ... Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 1113 | 2011 |
| Approximate reachability analysis of piecewise-linear dynamical systems E Asarin, O Bournez, T Dang, O Maler Hybrid Systems: Computation and Control: Third International Workshop, HSCC …, 2002 | 490 | 2002 |
| Effective synthesis of switching controllers for linear systems E Asarin, O Bournez, T Dang, O Maler, A Pnueli Proceedings of the IEEE 88 (7), 1011-1025, 2000 | 309 | 2000 |
| Reachability analysis via face lifting T Dang, O Maler Hybrid Systems: Computation and Control: First International Workshop, HSCC …, 1998 | 283 | 1998 |
| Hierarchical modeling and analysis of embedded systems R Alur, T Dang, J Esposito, Y Hur, F Ivancic, V Kumar, P Mishra, ... Proceedings of the IEEE 91 (1), 11-28, 2003 | 245 | 2003 |
| Reachability analysis of hybrid systems via predicate abstraction R Alur, T Dang, F Ivančić Hybrid Systems: Computation and Control: 5th International Workshop, HSCC …, 2002 | 244* | 2002 |
| The d/dt tool for verification of hybrid systems E Asarin, T Dang, O Maler Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 240 | 2002 |
| Hybridization methods for the analysis of nonlinear systems E Asarin, T Dang, A Girard Acta Informatica 43 (7), 451, 2007 | 238 | 2007 |
| Reachability analysis of nonlinear systems using conservative approximation E Asarin, T Dang, A Girard Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003 | 215 | 2003 |
| Model-based design for embedded systems G Nicolescu, PJ Mosterman Crc Press, 2018 | 173 | 2018 |
| Verification of analog and mixed-signal circuits using hybrid system techniques T Dang, A Donzé, O Maler Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD …, 2004 | 166 | 2004 |
| Predicate abstraction for reachability analysis of hybrid systems R Alur, T Dang, F Ivančić ACM transactions on embedded computing systems (TECS) 5 (1), 152-199, 2006 | 160 | 2006 |
| Hierarchical hybrid modeling of embedded systems R Alur, T Dang, J Esposito, R Fierro, Y Hur, F Ivančić, V Kumar, I Lee, ... Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA …, 2001 | 147 | 2001 |
| Accurate hybridization of nonlinear systems T Dang, O Maler, R Testylier Proceedings of the 13th ACM international conference on Hybrid systems …, 2010 | 144 | 2010 |
| Recent progress in continuous and hybrid reachability analysis E Asarin, T Dang, G Frehse, A Girard, C Le Guernic, O Maler 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 2006 | 142 | 2006 |
| Counter-example guided predicate abstraction of hybrid systems R Alur, T Dang, F Ivančić1 Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003 | 128 | 2003 |
| Efficient guiding strategies for testing of temporal properties of hybrid systems T Dreossi, T Dang, A Donzé, J Kapinski, X Jin, JV Deshmukh NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | 110 | 2015 |
| Progress on reachability analysis of hybrid systems using predicate abstraction R Alur, T Dang, F Ivančić Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003 | 109 | 2003 |
| Counterexample-guided predicate abstraction of hybrid systems R Alur, T Dang, F Ivančić Theoretical Computer Science 354 (2), 250-271, 2006 | 107 | 2006 |
| Verification and synthesis of hybrid systems TXT Dang Institut National Polytechnique de Grenoble-INPG, 2000 | 102 | 2000 |
