Parasara Sridhar Duggirala

71 papers A* 1A 5B 5C 4Misc 4Journal 20Unranked 30

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Resource-Conscious RL Algorithms for Deep Brain Stimulation. CoRR Arkaprava Gupta, Nicholas Carter, William Zellers, Prateek Ganguli, Benedikt Dietrich, Vibhor Krishna, Parasara Sridhar Duggirala, Samarjit Chakraborty
2025	J	`jnl`	A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems. ACM Trans. Embed. Comput. Syst. Debarpita Banerjee, Parasara Sridhar Duggirala, Bineet Ghosh, Sumana Ghosh
2025	C	`conf`	Fast Option Ranking in Autonomous Systems for Criticality Evasion under Uncertainties. FDL Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty
2025	—	`conf`	From Road to Code: Neuro-Symbolic Program Synthesis for Autonomous Driving Scene Translation and Analysis. NeuS Johnathan Chi-Ho Leung, Guansen Tong, Parasara Sridhar Duggirala, Praneeth Chakravarthula
2025	B	`conf`	Quantifying Robustness of Medical Image Segmentation Networks Using TensorStars. FMCAD Meghan Stuart, Parasara Sridhar Duggirala
2024	Misc	`conf`	Certifiable and Efficient Autonomous Cyber-Physical Systems Design. VLSID Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty
2024	—	`conf`	GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems. ICAA Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Tingan Zhu, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty
2024	—	`conf`	Poster Abstract: Neural Architecture Sizing for Autonomous Systems. ICCPS Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty
2024	—	`conf`	Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations. ICCPS Clara Hobbs, Shengjie Xu, Bineet Ghosh, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
2024	C	`conf`	Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm. MEMOCODE Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala
2024	Misc	`conf`	Special Session: Emerging Architecture Design, Control, and Security Challenges in Software Defined Vehicles. CODES+ISSS Aya El-Fatyany, Xiaohang Wang, Parasara Sridhar Duggirala, Samarjit Chakraborty, Sudeep Pasricha, Amit Kumar Singh
2024	J	`jnl`	Statistical verification of autonomous system controllers under timing uncertainties. Real Time Syst. Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty
2023	J	`jnl`	BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs. CoRR Manish Goyal, David Bergman, Parasara Sridhar Duggirala
2023	—	`conf`	Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems. ATVA (1) Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
2022	—	`conf`	ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
2022	—	`conf`	Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections. ICCPS Abolfazl Karimi, Parasara Sridhar Duggirala
2022	—	`conf`	Coverage-Guided Fuzz Testing for Cyber-Physical Systems. ICCPS Sanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak
2022	J	`jnl`	Dynamic Selection of Perception Models for Robotic Control. CoRR Bineet Ghosh, Masaad Khan, Adithya Ashok, Sandeep Chinchali, Parasara Sridhar Duggirala
2022	J	`jnl`	NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation. CoRR Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala
2022	J	`jnl`	NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala
2022	J	`jnl`	Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty
2022	B	`conf`	Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. RTCSA Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty
2021	—	`conf`	ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 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, Mark Wetzlinger
2021	—	`conf`	Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. FORMATS Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
2021	J	`jnl`	Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. CoRR Edward Kim, Stanley Bak, Parasara Sridhar Duggirala
2021	A	`conf`	Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. IROS Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala
2021	J	`jnl`	Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. CoRR Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala
2021	A	`conf`	Perception Computing-Aware Controller Synthesis for Autonomous Systems. DATE Clara Hobbs, Debayan Roy, Parasara Sridhar Duggirala, F. Donelson Smith, Soheil Samii, James H. Anderson, Samarjit Chakraborty
2021	—	`conf`	Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ADHS Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
2021	J	`jnl`	Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. CoRR Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin
2021	J	`jnl`	Reachability of Linear Uncertain Systems: Sampling Based Approaches. CoRR Bineet Ghosh, Parasara Sridhar Duggirala
2021	J	`jnl`	Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches. CoRR Bineet Ghosh, Parasara Sridhar Duggirala
2021	J	`jnl`	Safety and progress proofs for a reactive planner and controller for autonomous driving. CoRR Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala
2020	J	`jnl`	Extracting counterexamples induced by safety violation in linear hybrid systems. Autom. Manish Goyal, Parasara Sridhar Duggirala
2020	—	`conf`	Formalizing traffic rules for uncontrolled intersections. ICCPS Abolfazl Karimi, Parasara Sridhar Duggirala
2020	C	`conf`	Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT. ACC Manish Goyal, David Bergman, Parasara Sridhar Duggirala
2020	—	`conf`	Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials. ARCH Edward Kim, Parasara Sridhar Duggirala
2020	B	`conf`	NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. ATVA Manish Goyal, Parasara Sridhar Duggirala
2020	—	`conf`	NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. L4DC Manish Goyal, Parasara Sridhar Duggirala
2020	J	`jnl`	NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. CoRR Manish Goyal, Parasara Sridhar Duggirala
2020	A*	`conf`	Re-Thinking LiDAR-Stereo Fusion Frameworks (Student Abstract). AAAI Qilin Jin, Parasara Sridhar Duggirala
2020	—	`ed.`	Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers VSTTE Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
2019	J	`jnl`	Aggregation Strategies in Reachable Set Computation of Hybrid Systems. ACM Trans. Embed. Comput. Syst. Parasara Sridhar Duggirala, Stanley Bak
2019	—	`conf`	Incremental Minimization of Symbolic Automata. VSTTE Jonathan Homburg, Parasara Sridhar Duggirala
2019	J	`jnl`	Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems. ACM Trans. Embed. Comput. Syst. Bineet Ghosh, Parasara Sridhar Duggirala
2018	—	`conf`	On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems. ADHS Manish Goyal, Parasara Sridhar Duggirala
2018	—	`conf`	When Can We Treat Trajectories as Points? CCCG Parasara Sridhar Duggirala, Donald R. Sheehy
2017	—	`conf`	Direct Verification of Linear Systems with over 10000 Dimensions. ARCH@CPSWeek Stanley Bak, Parasara Sridhar Duggirala
2017	—	`conf`	HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. HSCC Stanley Bak, Parasara Sridhar Duggirala
2017	—	`conf`	Rigorous Simulation-Based Analysis of Linear Hybrid Systems. TACAS (1) Stanley Bak, Parasara Sridhar Duggirala
2017	—	`conf`	Simulation-Equivalent Reachability of Large Linear Systems with Inputs. CAV (1) Stanley Bak, Parasara Sridhar Duggirala
2016	—	`conf`	Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala
2016	—	`conf`	Parsimonious, Simulation Based Verification of Linear Systems. CAV (1) Parasara Sridhar Duggirala, Mahesh Viswanathan
2016	C	`conf`	Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
2015	A	`conf`	Analyzing Real Time Linear Control Systems Using Software Verification. RTSS Parasara Sridhar Duggirala, Mahesh Viswanathan
2015	A	`conf`	C2E2: A Verification Tool for Stateflow Models. TACAS Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok
2015	—	`conf`	C2E2: a tool for verifying annotated hybrid systems. HSCC Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan
2015	—	`—`	Dynamic analysis of Cyber-Physical Systems Parasara Sridhar Duggirala
2015	J	`jnl`	Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2015	—	`conf`	Meeting a Powertrain Verification Challenge. CAV (1) Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan
2015	—	`conf`	Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2014	B	`conf`	Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. FM Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz
2013	J	`jnl`	A formal framework for interfacing mixed-timing systems. Integr. Shirshendu Das, Parasara Sridhar Duggirala, Hemangee K. Kapoor
2013	B	`conf`	Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. VMCAI Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2013	Misc	`conf`	Safety verification for linear systems. EMSOFT Parasara Sridhar Duggirala, Ashish Tiwari
2013	Misc	`conf`	Verification of annotated models from executions. EMSOFT Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2012	—	`conf`	Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. RP Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta
2012	—	`conf`	Lyapunov abstractions for inevitability of hybrid systems. HSCC Parasara Sridhar Duggirala, Sayan Mitra
2012	A	`conf`	Static and Dynamic Analysis of Timed Distributed Traces. RTSS Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra
2011	—	`conf`	Abstraction Refinement for Stability. ICCPS Parasara Sridhar Duggirala, Sayan Mitra
2010	—	`conf`	On the Theory of Stochastic Processors. QEST Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar, Dean Glazeski