| Classification and coverage-based falsification for embedded control systems A Adimoolam, T Dang, A Donzé, J Kapinski, X Jin Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 45 | 2017 |
| Using complex zonotopes for stability verification AS Adimoolam, T Dang 2016 American Control Conference (ACC), 4269-4274, 2016 | 7 | 2016 |
| Edit distance modulo bisimulation: a quantitative measure to study evolution of user models H Zade, SA Adimoolam, S Gollapudi, AK Dey, V Choppella Proceedings of the SIGCHI Conference on Human Factors in Computing Systems …, 2014 | 6 | 2014 |
| A calculus of complex zonotopes for invariance and stability verification of hybrid systems SA Adimoolam Université Grenoble Alpes, 2018 | 3 | 2018 |
| Augmented complex zonotopes for computing invariants of affine hybrid systems A Adimoolam, T Dang Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017 | 3 | 2017 |
| Template complex zonotopes: a new set representation for verification of hybrid systems AS Adimoolam, T Dang 2016 International Workshop on Symbolic and Numerical Methods for …, 2016 | 2 | 2016 |
| Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis A Adimoolam, I Saha 25th ACM International Conference on Hybrid Systems: Computation and Control …, 2022 | 1 | 2022 |
| Safety Verification of Networked Control Systems by Complex Zonotopes SA Adimoolam, T Dang, A Adimoolam Leibniz Transactions on Embedded Systems, 2021 | 1 | 2021 |
| Template complex zonotope based stability verification A Adimoolam, T Dang Control Subject to Computational and Communication Constraints: Current …, 2018 | 1 | 2018 |
| Template complex zonotopes for stability and invariant verification A Adimoolam, T Dang 2017 American Control Conference (ACC), 2544-2549, 2017 | 1 | 2017 |
| Safe Self-Triggered Control Based on Precomputed Reachability Sequences A Adimoolam, I Saha, T Dang Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | | 2023 |
