Parasara Sridhar Duggirala

Statistics

Publications

Citations

493

H-Index

Active since

2011

Affiliations

University of Illinois Urbana-Champaign(Current)

University of North Carolina at Chapel Hill

Stony Brook University

University of Connecticut

Parasara Sridhar Duggirala is an author at University of Illinois Urbana-Champaign specializing in computer science, systems engineering, and computing.

ORCID

Publications per year

2011–2022

Publications

HyLAA

Stanley Bak, Parasara Sridhar Duggirala · 2017 · 100 citations

Computing, Computer Science, Systems Engineering +17

Verification of annotated models from executions

Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan · 2013 · 72 citations

Engineering, Computer Science, Systems Engineering +17

Verification of annotated models from executions

Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan · IDEALS (University of Illinois Urbana-Champaign) · 2013 · 62 citations · Full text

Engineering, Computer Science, Systems Engineering +17

Formalizing traffic rules for uncontrolled intersections

Abolfazl Karimi, Parasara Sridhar Duggirala · 2020 · 34 citations

Computing, Autonomous Systems, Computer Science +15

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties

Clara Hobbs, B. K. Ghosh, Shengjie Xu et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2022 · 29 citations

Engineering, Autonomous Systems, Computer Science +14

1–5 of 16