Seguir
Parasara Sridhar Duggirala
Parasara Sridhar Duggirala
Assistant Professor of Computer Science and Engineering, University of North Carolina at Chapel Hill
Dirección de correo verificada de cs.unc.edu - Página principal
Título
Citado por
Citado por
Año
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
2082015
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
1392017
Verification of annotated models from executions
PS Duggirala, S Mitra, M Viswanathan
2013 Proceedings of the International Conference on Embedded Software …, 2013
1292013
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
1052016
Simulation-equivalent reachability of large linear systems with inputs
S Bak, PS Duggirala
International Conference on Computer Aided Verification, 401-420, 2017
1012017
Parsimonious, simulation based verification of linear systems
PS Duggirala, M Viswanathan
International conference on computer aided verification, 477-494, 2016
792016
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
592015
Formalizing traffic rules for uncontrolled intersections
A Karimi, PS Duggirala
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020
372020
Meeting a powertrain verification challenge
PS Duggirala, C Fan, S Mitra, M Viswanathan
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
352015
Rigorous simulation-based analysis of linear hybrid systems
S Bak, PS Duggirala
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
302017
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
302014
Lyapunov abstractions for inevitability of hybrid systems
PS Duggirala, S Mitra
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
282012
Abstraction refinement for stability
PS Duggirala, S Mitra
2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, 22-31, 2011
282011
Analyzing real time linear control systems using software verification
PS Duggirala, M Viswanathan
2015 IEEE Real-Time Systems Symposium, 216-226, 2015
272015
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
262012
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
252021
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
242022
Safety verification for linear systems
PS Duggirala, A Tiwari
2013 Proceedings of the International Conference on Embedded Software …, 2013
192013
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
182019
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
142015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20