Parasara Sridhar Duggirala
Parasara Sridhar Duggirala
Assistant Professor of Computer Science and Engineering, University of North Carolina at Chapel Hill
Verified email at cs.unc.edu - Homepage
Title
Cited by
Cited by
Year
C2E2: A verification tool for stateflow models
PS Duggirala, S Mitra, M Viswanathan, M Potok
International Conference on Tools and Algorithms for the Construction and …, 2015
1332015
Verification of annotated models from executions
PS Duggirala, S Mitra, M Viswanathan
2013 Proceedings of the International Conference on Embedded Software …, 2013
972013
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
692017
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
532016
Hybrid automata-based cegar for rectangular hybrid systems
P Prabhakar, PS Duggirala, S Mitra, M Viswanathan
Formal Methods in System Design 46 (2), 105-134, 2015
472015
Simulation-equivalent reachability of large linear systems with inputs
S Bak, PS Duggirala
International Conference on Computer Aided Verification, 401-420, 2017
352017
Parsimonious, simulation based verification of linear systems
PS Duggirala, M Viswanathan
International Conference on Computer Aided Verification, 477-494, 2016
352016
Meeting a powertrain verification challenge
PS Duggirala, C Fan, S Mitra, M Viswanathan
International Conference on Computer Aided Verification, 536-543, 2015
272015
Lyapunov abstractions for inevitability of hybrid systems
PS Duggirala, S Mitra
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
262012
Temporal precedence checking for switched models and its application to a parallel landing protocol
PS Duggirala, L Wang, S Mitra, M Viswanathan, C Muñoz
International Symposium on Formal Methods, 215-229, 2014
242014
Rigorous simulation-based analysis of linear hybrid systems
S Bak, PS Duggirala
International Conference on Tools and Algorithms for the Construction and …, 2017
232017
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
232012
Abstraction refinement for stability
PS Duggirala, S Mitra
2011 IEEE/ACM Second International Conference on Cyber-Physical Systems, 22-31, 2011
232011
Analyzing real time linear control systems using software verification
PS Duggirala, M Viswanathan
2015 IEEE Real-Time Systems Symposium, 216-226, 2015
182015
Safety verification for linear systems
PS Duggirala, A Tiwari
2013 Proceedings of the International Conference on Embedded Software …, 2013
152013
Progress on powertrain verification challenge with C2E2
C Fan, PS Duggirala, S Mitra, M Viswanathan
NY Times, 2014
102014
On the theory of stochastic processors
PS Duggirala, S Mitra, R Kumar, D Glazeski
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
92010
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2e2, hyst, and tulip
PS Duggirala, C Fan, M Potok, B Qi, S Mitra, M Viswanathan, S Bak, ...
2016 IEEE Conference on Control Applications (CCA), 1024-1029, 2016
82016
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
82015
Efficient probabilistic model checking of systems with ranged probabilities
K Ghorbal, PS Duggirala, V Kahlon, F Ivančić, A Gupta
International Workshop on Reachability Problems, 107-120, 2012
62012
The system can't perform the operation now. Try again later.
Articles 1–20