On the Theory of Stochastic Processors. - Parasara Sridhar Duggirala; Sayan Mitra; Rakesh Kumar 016; Dean Glazeski (QEST, 2010)

Abstraction Refinement for Stability. - Parasara Sridhar Duggirala; Sayan Mitra (ICCPS, 2011)

Lyapunov abstractions for inevitability of hybrid systems. - Parasara Sridhar Duggirala; Sayan Mitra (HSCC, 2012)

Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. - Khalil Ghorbal; Parasara Sridhar Duggirala; Vineet Kahlon; Franjo Ivancic; Aarti Gupta (RP, 2012)

Static and Dynamic Analysis of Timed Distributed Traces. - Parasara Sridhar Duggirala; Taylor T. Johnson; Adam Zimmerman; Sayan Mitra (RTSS, 2012)

Verification of annotated models from executions. - Parasara Sridhar Duggirala; Sayan Mitra; Mahesh Viswanathan 001 (EMSOFT, 2013)

Safety verification for linear systems. - Parasara Sridhar Duggirala; Ashish Tiwari 001 (EMSOFT, 2013)

A formal framework for interfacing mixed-timing systems. - Shirshendu Das; Parasara Sridhar Duggirala; Hemangee K. Kapoor (Integr., 2013)

Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. - Parasara Sridhar Duggirala; Le Wang; Sayan Mitra; Mahesh Viswanathan 001; César A. Muñoz (FM, 2014)

Meeting a Powertrain Verification Challenge. - Parasara Sridhar Duggirala; Chuchu Fan; Sayan Mitra; Mahesh Viswanathan 001 (CAV (1), 2015)

Progress on Powertrain Verification Challenge with C2E2. - Chuchu Fan; Parasara Sridhar Duggirala; Sayan Mitra; Mahesh Viswanathan 001 (ARCH@CPSWeek, 2015)

C2E2: a tool for verifying annotated hybrid systems. - Parasara Sridhar Duggirala; Matthew Potok; Sayan Mitra; Mahesh Viswanathan 001 (HSCC, 2015)

Analyzing Real Time Linear Control Systems Using Software Verification. - Parasara Sridhar Duggirala; Mahesh Viswanathan 001 (RTSS, 2015)

C2E2: A Verification Tool for Stateflow Models. - Parasara Sridhar Duggirala; Sayan Mitra; Mahesh Viswanathan 001; Matthew Potok (TACAS, 2015)

Hybrid automata-based CEGAR for rectangular hybrid systems. - Pavithra Prabhakar; Parasara Sridhar Duggirala; Sayan Mitra; Mahesh Viswanathan 001 (Formal Methods Syst. Des., 2015)

Dynamic analysis of Cyber-Physical Systems - Parasara Sridhar Duggirala (2015)

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. - Parasara Sridhar Duggirala; Chuchu Fan; Matthew Potok; Bolun Qi; Sayan Mitra; Mahesh Viswanathan 001; Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001; Andrew Sogokon; et al. (CCA, 2016)

Parsimonious, Simulation Based Verification of Linear Systems. - Parasara Sridhar Duggirala; Mahesh Viswanathan 001 (CAV (1), 2016)

Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. - Chuchu Fan; Bolun Qi; Sayan Mitra; Mahesh Viswanathan 001; Parasara Sridhar Duggirala (CAV (1), 2016)

Simulation-Equivalent Reachability of Large Linear Systems with Inputs. - Stanley Bak; Parasara Sridhar Duggirala (CAV (1), 2017)

Direct Verification of Linear Systems with over 10000 Dimensions. - Stanley Bak; Parasara Sridhar Duggirala (ARCH@CPSWeek, 2017)

HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. - Stanley Bak; Parasara Sridhar Duggirala (HSCC, 2017)

Rigorous Simulation-Based Analysis of Linear Hybrid Systems. - Stanley Bak; Parasara Sridhar Duggirala (TACAS (1), 2017)

On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems. - Manish Goyal 002; Parasara Sridhar Duggirala (ADHS, 2018)

When Can We Treat Trajectories as Points? - Parasara Sridhar Duggirala; Donald R. Sheehy (CCCG, 2018)

Incremental Minimization of Symbolic Automata. - Jonathan Homburg; Parasara Sridhar Duggirala (VSTTE, 2019)

Aggregation Strategies in Reachable Set Computation of Hybrid Systems. - Parasara Sridhar Duggirala; Stanley Bak (ACM Trans. Embed. Comput. Syst., 2019)

Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems. - Bineet Ghosh; Parasara Sridhar Duggirala (ACM Trans. Embed. Comput. Syst., 2019)

Re-Thinking LiDAR-Stereo Fusion Frameworks (Student Abstract). - Qilin Jin; Parasara Sridhar Duggirala (AAAI, 2020)

Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT. - Manish Goyal 002; David Bergman; Parasara Sridhar Duggirala (ACC, 2020)

Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials. - Edward Kim; Parasara Sridhar Duggirala (ARCH, 2020)

Formalizing traffic rules for uncontrolled intersections. - Abolfazl Karimi; Parasara Sridhar Duggirala (ICCPS, 2020)

NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. - Manish Goyal 002; Parasara Sridhar Duggirala (L4DC, 2020)

Extracting counterexamples induced by safety violation in linear hybrid systems. - Manish Goyal 002; Parasara Sridhar Duggirala (Autom., 2020)

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. - Stanley Bak; Sergiy Bogomolov; Parasara Sridhar Duggirala; Adam R. Gerlach; Kostiantyn Potomkin (ADHS, 2021)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Uziel Linares; David P. Sanders; Christian Schilling 001; et al. (ARCH@ADHS, 2021)

Perception Computing-Aware Controller Synthesis for Autonomous Systems. - Clara Hobbs; Debayan Roy; Parasara Sridhar Duggirala; F. Donelson Smith; Soheil Samii; James H. Anderson; Samarjit Chakraborty (DATE, 2021)

Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. - Edward Kim; Stanley Bak; Parasara Sridhar Duggirala (FORMATS, 2021)

Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. - Bineet Ghosh; Sandeep Chinchali; Parasara Sridhar Duggirala (IROS, 2021)

Safety and progress proofs for a reactive planner and controller for autonomous driving. - Abolfazl Karimi; Manish Goyal 002; Parasara Sridhar Duggirala (CoRR, 2021)

Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches. - Bineet Ghosh; Parasara Sridhar Duggirala (CoRR, 2021)

Reachability of Linear Uncertain Systems: Sampling Based Approaches. - Bineet Ghosh; Parasara Sridhar Duggirala (CoRR, 2021)

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger (ARCH@SAFECOMP, 2022)

Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections. - Abolfazl Karimi; Parasara Sridhar Duggirala (ICCPS, 2022)

Coverage-Guided Fuzz Testing for Cyber-Physical Systems. - Sanaz Sheikhi; Edward Kim; Parasara Sridhar Duggirala; Stanley Bak (ICCPS, 2022)

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. - Bineet Ghosh; Clara Hobbs; Shengjie Xu; Parasara Sridhar Duggirala; James H. Anderson; P. S. Thiagarajan; Samarjit Chakraborty (RTCSA, 2022)

Dynamic Selection of Perception Models for Robotic Control. - Bineet Ghosh; Masaad Khan; Adithya Ashok; Sandeep Chinchali; Parasara Sridhar Duggirala (CoRR, 2022)

NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation. - Manish Goyal 002; Miheer Dewaskar; Parasara Sridhar Duggirala (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties. - Clara Hobbs; Bineet Ghosh; Shengjie Xu; Parasara Sridhar Duggirala; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems. - Shengjie Xu; Bineet Ghosh; Clara Hobbs; Enrico Fraccaroli; Parasara Sridhar Duggirala; Samarjit Chakraborty (ATVA (1), 2023)

BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs. - Manish Goyal 002; David Bergman; Parasara Sridhar Duggirala (CoRR, 2023)

Special Session: Emerging Architecture Design, Control, and Security Challenges in Software Defined Vehicles. - Aya El-Fatyany; Xiaohang Wang 001; Parasara Sridhar Duggirala; Samarjit Chakraborty; Sudeep Pasricha; Amit Kumar Singh 002 (CODES+ISSS, 2024)

GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems. - Shengjie Xu; Clara Hobbs; Yukai Song; Bineet Ghosh; Tingan Zhu; Sharmin Aktar; Lei Yang 018; Yi Sheng; Weiwen Jiang; Jingtong Hu; Parasara Sridhar Duggirala; Samarjit Chakraborty (ICAA, 2024)

Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations. - Clara Hobbs; Shengjie Xu; Bineet Ghosh; Enrico Fraccaroli; Parasara Sridhar Duggirala; Samarjit Chakraborty (ICCPS, 2024)

Poster Abstract: Neural Architecture Sizing for Autonomous Systems. - Shengjie Xu; Clara Hobbs; Yukai Song; Bineet Ghosh; Sharmin Aktar; Lei Yang 018; Yi Sheng; Weiwen Jiang; Jingtong Hu; Parasara Sridhar Duggirala; Samarjit Chakraborty (ICCPS, 2024)

Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm. - Abolfazl Karimi; Manish Goyal 002; Parasara Sridhar Duggirala (MEMOCODE, 2024)

Certifiable and Efficient Autonomous Cyber-Physical Systems Design. - Shengjie Xu; Clara Hobbs; Bineet Ghosh; Parasara Sridhar Duggirala; Samarjit Chakraborty (VLSID, 2024)

Statistical verification of autonomous system controllers under timing uncertainties. - Bineet Ghosh; Clara Hobbs; Shengjie Xu; F. Donelson Smith; James H. Anderson; P. S. Thiagarajan; Benjamin Berg; Parasara Sridhar Duggirala; Samarjit Chakraborty (Real Time Syst., 2024)

From Road to Code: Neuro-Symbolic Program Synthesis for Autonomous Driving Scene Translation and Analysis. - Johnathan Chi-Ho Leung; Guansen Tong; Parasara Sridhar Duggirala; Praneeth Chakravarthula (NeuS, 2025)

LPrL: An Asynchronous Linear Time Hyper Logic. - Parasara Sridhar Duggirala; P. S. Thiagarajan (CoRR, 2025)