フォロー
Parasara Sridhar Duggirala
Parasara Sridhar Duggirala
Assistant Professor of Computer Science and Engineering, University of North Carolina at Chapel Hill
確認したメール アドレス: cs.unc.edu - ホームページ
タイトル
引用先
引用先
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
2002015
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
1272017
Verification of annotated models from executions
PS Duggirala, S Mitra, M Viswanathan
2013 Proceedings of the International Conference on Embedded Software …, 2013
1242013
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
982016
Simulation-equivalent reachability of large linear systems with inputs
S Bak, PS Duggirala
International Conference on Computer Aided Verification, 401-420, 2017
902017
Parsimonious, simulation based verification of linear systems
PS Duggirala, M Viswanathan
International Conference on Computer Aided Verification, 477-494, 2016
702016
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
562015
Meeting a powertrain verification challenge
PS Duggirala, C Fan, S Mitra, M Viswanathan
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
332015
Formalizing traffic rules for uncontrolled intersections
A Karimi, PS Duggirala
2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020
312020
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
292014
Rigorous simulation-based analysis of linear hybrid systems
S Bak, PS Duggirala
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
282017
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
272011
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
Analyzing real time linear control systems using software verification
PS Duggirala, M Viswanathan
2015 IEEE Real-Time Systems Symposium, 216-226, 2015
252015
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
202021
Safety verification for linear systems
PS Duggirala, A Tiwari
2013 Proceedings of the International Conference on Embedded Software …, 2013
182013
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
152019
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
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
132022
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20