| 2025 | FDL | Fast Option Ranking in Autonomous Systems for Criticality Evasion under Uncertainties. | Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty |
| 2025 | FMCAD | Quantifying Robustness of Medical Image Segmentation Networks Using TensorStars. | Meghan Stuart, Parasara Sridhar Duggirala |
| 2024 | MEMOCODE | Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm. | Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala |
| 2024 | VLSID | Certifiable and Efficient Autonomous Cyber-Physical Systems Design. | Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty |
| 2023 | ATVA | 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 |
| 2022 | RTCSA | 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 |
| 2021 | DATE | 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 |
| 2021 | IROS | Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. | Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala |
| 2020 | AAAI | Re-Thinking LiDAR-Stereo Fusion Frameworks (Student Abstract). | Qilin Jin, Parasara Sridhar Duggirala |
| 2020 | ATVA | NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. | Manish Goyal, Parasara Sridhar Duggirala |
| 2017 | CAV | Simulation-Equivalent Reachability of Large Linear Systems with Inputs. | Stanley Bak, Parasara Sridhar Duggirala |
| 2017 | TACAS | Rigorous Simulation-Based Analysis of Linear Hybrid Systems. | Stanley Bak, Parasara Sridhar Duggirala |
| 2016 | CAV | Parsimonious, Simulation Based Verification of Linear Systems. | Parasara Sridhar Duggirala, Mahesh Viswanathan |
| 2016 | CAV | Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. | Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala |
| 2015 | CAV | Meeting a Powertrain Verification Challenge. | Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan |
| 2015 | RTSS | Analyzing Real Time Linear Control Systems Using Software Verification. | Parasara Sridhar Duggirala, Mahesh Viswanathan |
| 2015 | TACAS | C2E2: A Verification Tool for Stateflow Models. | Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok |
| 2014 | FM | Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. | Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, Csar A. Muoz |
| 2013 | EMSOFT | Verification of annotated models from executions. | Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan |
| 2013 | EMSOFT | Safety verification for linear systems. | Parasara Sridhar Duggirala, Ashish Tiwari |
| 2013 | VMCAI | Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. | Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan |
| 2012 | RTSS | Static and Dynamic Analysis of Timed Distributed Traces. | Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra |