C2E2: A verification tool for stateflow models PS Duggirala, S Mitra, M Viswanathan, M Potok Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 203 | 2015 |
Hylaa: A tool for computing simulation-equivalent reachability for linear systems S Bak, PS Duggirala Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 128 | 2017 |
Verification of annotated models from executions PS Duggirala, S Mitra, M Viswanathan 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 127 | 2013 |
Automatic reachability analysis for nonlinear hybrid models with C2E2 C Fan, B Qi, S Mitra, M Viswanathan, PS Duggirala International Conference on Computer Aided Verification, 531-538, 2016 | 101 | 2016 |
Simulation-equivalent reachability of large linear systems with inputs S Bak, PS Duggirala International Conference on Computer Aided Verification, 401-420, 2017 | 98 | 2017 |
Parsimonious, simulation based verification of linear systems PS Duggirala, M Viswanathan International conference on computer aided verification, 477-494, 2016 | 76 | 2016 |
Hybrid automata-based cegar for rectangular hybrid systems P Prabhakar, PS Duggirala, S Mitra, M Viswanathan Formal Methods in System Design 46, 105-134, 2015 | 57 | 2015 |
Formalizing traffic rules for uncontrolled intersections A Karimi, PS Duggirala 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020 | 37 | 2020 |
Meeting a powertrain verification challenge PS Duggirala, C Fan, S Mitra, M Viswanathan Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 34 | 2015 |
Temporal precedence checking for switched models and its application to a parallel landing protocol PS Duggirala, L Wang, S Mitra, M Viswanathan, C Munoz FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 29 | 2014 |
Rigorous simulation-based analysis of linear hybrid systems S Bak, PS Duggirala Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 28 | 2017 |
Lyapunov abstractions for inevitability of hybrid systems PS Duggirala, S Mitra Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 28 | 2012 |
Abstraction refinement for stability PS Duggirala, S Mitra 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, 22-31, 2011 | 28 | 2011 |
Analyzing real time linear control systems using software verification PS Duggirala, M Viswanathan 2015 IEEE Real-Time Systems Symposium, 216-226, 2015 | 26 | 2015 |
Static and dynamic analysis of timed distributed traces PS Duggirala, TT Johnson, A Zimmerman, S Mitra 2012 IEEE 33rd Real-Time Systems Symposium, 173-182, 2012 | 26 | 2012 |
Reachability of black-box nonlinear systems after koopman operator linearization S Bak, S Bogomolov, PS Duggirala, AR Gerlach, K Potomkin IFAC-PapersOnLine 54 (5), 253-258, 2021 | 21 | 2021 |
Safety verification for linear systems PS Duggirala, A Tiwari 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 19 | 2013 |
Safety analysis of embedded controllers under implementation platform timing uncertainties C Hobbs, B Ghosh, S Xu, PS Duggirala, S Chakraborty IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 18 | 2022 |
Robust reachable set: Accounting for uncertainties in linear dynamical systems B Ghosh, PS Duggirala ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-22, 2019 | 16 | 2019 |
C2E2: a tool for verifying annotated hybrid systems PS Duggirala, M Potok, S Mitra, M Viswanathan Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 14 | 2015 |