Parasara Sridhar Duggirala

University of Illinois Urbana-Champaign, University of North Carolina at Chapel Hill, University of Connecticut

论文数

6

总引用数

47

H-Index

4

关于

暂无简介。

研究焦点

Computer science6 · 47 次引用
Distributed computing2 · 30 次引用
Algorithm2 · 30 次引用
Real-time computing2 · 27 次引用
Reachability1 · 25 次引用
Synchronization (alternating current)1 · 25 次引用
Finite-state machine1 · 25 次引用
State (computer science)1 · 25 次引用
Sequence (biology)1 · 25 次引用
Timestamp1 · 25 次引用
Artificial intelligence3 · 18 次引用
Control engineering2 · 13 次引用

主要成就

4
H 指数
6
论文
47
总引用数
8
篇均引用
🏆 最高被引论文
Static and Dynamic Analysis of Timed Distributed Traces
25 次引用 · 2012
📈 最高产年份: 2012 (1 论文)
🤝 主要合作者: 24
🏛 所属机构: University of Illinois Urbana-Champaign, University of North Carolina at Chapel Hill, University of Connecticut

代表论文

  1. 1
    Static and Dynamic Analysis of Timed Distributed Traces
    25 次引用 · 2012
  2. 2
    Statistical verification of autonomous system controllers under timing uncertainties
    7 次引用 · 2024
  3. 3
    Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
    6 次引用 · 2016
  4. 4
    Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency
    5 次引用 · 2021
  5. 5
    Safety-Driven DNN Sizing for Vehicular CPS
    2 次引用 · 2025
  6. 6
    Dynamic analysis of cyber-physical systems
    2 次引用 · 2015

主要合作者

BKB. K. Ghosh3 篇合著论文TTTaylor T. Johnson2 篇合著论文SCSamarjit Chakraborty2 篇合著论文SMSayan Mitra2 篇合著论文SCSandeep Chinchali1 篇合著论文DSDon Smith1 篇合著论文PSP. S. Thiagarajan1 篇合著论文BQBolun Qi1 篇合著论文SBStanley Bak1 篇合著论文AZAdam Zimmerman1 篇合著论文CHClara Hobbs1 篇合著论文MPMatthew Potok1 篇合著论文CSChristian Schilling1 篇合著论文ASAndrew Sogokon1 篇合著论文BVB.A.M. van den Berg1 篇合著论文CFChuchu Fan1 篇合著论文SBSergiy Bogomolov1 篇合著论文MVMahesh Viswanathan1 篇合著论文MLM. Li1 篇合著论文WXWeiming Xiang1 篇合著论文
尚未生成