default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDParasara Sridhar Duggirala
Person information
- affiliation: University of North Carolina at Chapel Hill, USA
- affiliation (former): University of Connecticut, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j8]Bineet Ghosh
, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty:
Statistical verification of autonomous system controllers under timing uncertainties. Real Time Syst. 60(1): 108-149 (2024)- [c43]Clara Hobbs, Shengjie Xu, Bineet Ghosh, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty:
Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations. ICCPS 2024: 99-110 - [c42]Shengjie Xu, Clara Hobbs, Yukai Song, Bineet Ghosh, Sharmin Aktar, Lei Yang, Yi Sheng, Weiwen Jiang, Jingtong Hu, Parasara Sridhar Duggirala, Samarjit Chakraborty:
Poster Abstract: Neural Architecture Sizing for Autonomous Systems. ICCPS 2024: 289-290 - [c41]Shengjie Xu, Clara Hobbs, Bineet Ghosh, Parasara Sridhar Duggirala, Samarjit Chakraborty:
Certifiable and Efficient Autonomous Cyber-Physical Systems Design. VLSID 2024: 259-263 - 2023
- [c40]Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty:
Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems. ATVA (1) 2023: 312-333 - [i10]Manish Goyal, David Bergman, Parasara Sridhar Duggirala:
BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs. CoRR abs/2311.15343 (2023) - 2022
- [j7]Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty:
Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4016-4027 (2022) - [j6]Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala:
NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4265-4276 (2022) - [c39]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:
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP 2022: 86-112 - [c38]Abolfazl Karimi, Parasara Sridhar Duggirala:
Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections. ICCPS 2022: 1-11 - [c37]Sanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak:
Coverage-Guided Fuzz Testing for Cyber-Physical Systems. ICCPS 2022: 24-33 - [c36]Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty:
Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. RTCSA 2022: 11-20 - [i9]Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala:
NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation. CoRR abs/2207.03884 (2022) - [i8]Bineet Ghosh, Masaad Khan, Adithya Ashok, Sandeep Chinchali, Parasara Sridhar Duggirala:
Dynamic Selection of Perception Models for Robotic Control. CoRR abs/2207.06390 (2022) - 2021
- [c35]Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin:
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. ADHS 2021: 253-258 - [c34]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:
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2021: 32-54 - [c33]Clara Hobbs, Debayan Roy, Parasara Sridhar Duggirala, F. Donelson Smith, Soheil Samii, James H. Anderson, Samarjit Chakraborty:
Perception Computing-Aware Controller Synthesis for Autonomous Systems. DATE 2021: 457-462 - [c32]Edward Kim, Stanley Bak, Parasara Sridhar Duggirala:
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. FORMATS 2021: 50-66 - [c31]Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala:
Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. IROS 2021: 5364-5371 - [i7]Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin:
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. CoRR abs/2105.00886 (2021) - [i6]Edward Kim, Stanley Bak, Parasara Sridhar Duggirala:
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems. CoRR abs/2105.11796 (2021) - [i5]Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala:
Safety and progress proofs for a reactive planner and controller for autonomous driving. CoRR abs/2107.05815 (2021) - [i4]Bineet Ghosh, Sandeep Chinchali, Parasara Sridhar Duggirala:
Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency. CoRR abs/2108.01235 (2021) - [i3]Bineet Ghosh, Parasara Sridhar Duggirala:
Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches. CoRR abs/2109.07632 (2021) - [i2]Bineet Ghosh, Parasara Sridhar Duggirala:
Reachability of Linear Uncertain Systems: Sampling Based Approaches. CoRR abs/2109.07638 (2021) - 2020
- [j5]Manish Goyal, Parasara Sridhar Duggirala:
Extracting counterexamples induced by safety violation in linear hybrid systems. Autom. 117: 109005 (2020) - [c30]Qilin Jin, Parasara Sridhar Duggirala:
Re-Thinking LiDAR-Stereo Fusion Frameworks (Student Abstract). AAAI 2020: 13827-13828 - [c29]Manish Goyal, David Bergman, Parasara Sridhar Duggirala:
Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT. ACC 2020: 1823-1829 - [c28]Edward Kim, Parasara Sridhar Duggirala:
Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials. ARCH 2020: 184-196 - [c27]Manish Goyal, Parasara Sridhar Duggirala:
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. ATVA 2020: 75-91 - [c26]Abolfazl Karimi, Parasara Sridhar Duggirala:
Formalizing traffic rules for uncontrolled intersections. ICCPS 2020: 41-50 - [c25]Manish Goyal, Parasara Sridhar Duggirala:
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. L4DC 2020: 697 - [e1]Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel:
Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12549, Springer 2020, ISBN 978-3-030-63617-3 [contents] - [i1]Manish Goyal, Parasara Sridhar Duggirala:
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks. CoRR abs/2007.05685 (2020)
2010 – 2019
- 2019
- [j4]Bineet Ghosh, Parasara Sridhar Duggirala:
Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 97:1-97:22 (2019) - [j3]Parasara Sridhar Duggirala, Stanley Bak:
Aggregation Strategies in Reachable Set Computation of Hybrid Systems. ACM Trans. Embed. Comput. Syst. 18(5s): 99:1-99:21 (2019) - [c24]Jonathan Homburg, Parasara Sridhar Duggirala:
Incremental Minimization of Symbolic Automata. VSTTE 2019: 54-67 - 2018
- [c23]Manish Goyal, Parasara Sridhar Duggirala:
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems. ADHS 2018: 139-144 - [c22]Parasara Sridhar Duggirala, Donald R. Sheehy:
When Can We Treat Trajectories as Points? CCCG 2018: 340-345 - 2017
- [c21]Stanley Bak, Parasara Sridhar Duggirala:
Simulation-Equivalent Reachability of Large Linear Systems with Inputs. CAV (1) 2017: 401-420 - [c20]Stanley Bak, Parasara Sridhar Duggirala:
Direct Verification of Linear Systems with over 10000 Dimensions. ARCH@CPSWeek 2017: 114-123 - [c19]Stanley Bak, Parasara Sridhar Duggirala:
HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems. HSCC 2017: 173-178 - [c18]Stanley Bak, Parasara Sridhar Duggirala:
Rigorous Simulation-Based Analysis of Linear Hybrid Systems. TACAS (1) 2017: 555-572 - 2016
- [c17]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:
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA 2016: 1024-1029 - [c16]Parasara Sridhar Duggirala, Mahesh Viswanathan:
Parsimonious, Simulation Based Verification of Linear Systems. CAV (1) 2016: 477-494 - [c15]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala:
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) 2016: 531-538 - 2015
- [b1]Parasara Sridhar Duggirala:
Dynamic analysis of Cyber-Physical Systems. University of Illinois Urbana-Champaign, USA, 2015 - [j2]Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. 46(2): 105-134 (2015) - [c14]Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan:
Meeting a Powertrain Verification Challenge. CAV (1) 2015: 536-543 - [c13]Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek 2015: 207-212 - [c12]Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan:
C2E2: a tool for verifying annotated hybrid systems. HSCC 2015: 307-308 - [c11]Parasara Sridhar Duggirala, Mahesh Viswanathan:
Analyzing Real Time Linear Control Systems Using Software Verification. RTSS 2015: 216-226 - [c10]Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok:
C2E2: A Verification Tool for Stateflow Models. TACAS 2015: 68-82 - 2014
- [c9]Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz:
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. FM 2014: 215-229 - 2013
- [j1]Shirshendu Das, Parasara Sridhar Duggirala, Hemangee K. Kapoor:
A formal framework for interfacing mixed-timing systems. Integr. 46(3): 255-264 (2013) - [c8]Parasara Sridhar Duggirala, Ashish Tiwari:
Safety verification for linear systems. EMSOFT 2013: 7:1-7:10 - [c7]Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Verification of annotated models from executions. EMSOFT 2013: 26:1-26:10 - [c6]Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. VMCAI 2013: 48-67 - 2012
- [c5]Parasara Sridhar Duggirala, Sayan Mitra:
Lyapunov abstractions for inevitability of hybrid systems. HSCC 2012: 115-124 - [c4]Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta:
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. RP 2012: 107-120 - [c3]Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra:
Static and Dynamic Analysis of Timed Distributed Traces. RTSS 2012: 173-182 - 2011
- [c2]Parasara Sridhar Duggirala, Sayan Mitra:
Abstraction Refinement for Stability. ICCPS 2011: 22-31 - 2010
- [c1]Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar, Dean Glazeski:
On the Theory of Stochastic Processors. QEST 2010: 292-301
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
