| emsoft | participants

Parasara Sridhar Duggirala

Program Committees:
2020 and 2021
.

EMSOFT 2022: 22nd International Conference on Embedded Software

NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation

Manish Goyal, Miheer Dewaskar, and Parasara Sridhar Duggirala

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties

Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, and Samarjit Chakraborty

EMSOFT 2019: 19th International Conference on Embedded Software

Aggregation Strategies in Reachable Set Computation of Hybrid Systems

Parasara Sridhar Duggirala and Stanley Bak

Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems

Bineet Ghosh and Parasara Sridhar Duggirala

EMSOFT 2013: 13th International Conference on Embedded Software

Verification of Annotated Models From Executions

Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan

Safety Verification for Linear Systems

Parasara Sridhar Duggirala and Ashish Tiwari