Parasara Sridhar Duggirala
Orcid: 0000000288710298Affiliations:
 University of North Carolina at Chapel Hill, USA
 University of Connecticut, USA (former)
According to our database^{1},
Parasara Sridhar Duggirala
authored at least 55 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2024
Statistical verification of autonomous system controllers under timing uncertainties.
Real Time Syst., March, 2024
Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024
Proceedings of the 15th ACM/IEEE International Conference on CyberPhysical Systems, 2024
Proceedings of the 15th ACM/IEEE International Conference on CyberPhysical Systems, 2024
2023
BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs.
CoRR, 2023
Statistical Approach to Efficient and Deterministic Schedule Synthesis for CyberPhysical Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2023
2022
Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
NExG: Provable and Guided StateSpace Exploration of Neural Network Control Systems Using Sensitivity Approximation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
CoRR, 2022
Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.
Proceedings of the 28th IEEE International Conference on Embedded and RealTime Computing Systems and Applications, 2022
Proceedings of the 13th ACM/IEEE International Conference on CyberPhysical Systems, 2022
Automatic Generation of Testcases of Increasing Complexity for Autonomous Vehicles at Intersections.
Proceedings of the 13th ACM/IEEE International Conference on CyberPhysical Systems, 2022
ARCHCOMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022
2021
CoRR, 2021
Robustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches.
CoRR, 2021
Safety and progress proofs for a reactive planner and controller for autonomous driving.
CoRR, 2021
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
ARCHCOMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
2020
Autom., 2020
NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks.
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020
Proceedings of the 11th ACM/IEEE International Conference on CyberPhysical Systems, 2020
Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
Generating Longest Counterexample: On the Crossroads of Mixed Integer Linear Programming and SMT.
Proceedings of the 2020 American Control Conference, 2020
Proceedings of the ThirtyFourth AAAI Conference on Artificial Intelligence, 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
ACM Trans. Embed. Comput. Syst., 2019
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019
2018
Proceedings of the 30th Canadian Conference on Computational Geometry, 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
HyLAA: A Tool for Computing SimulationEquivalent Reachability for Linear Systems.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
Proceedings of the Computer Aided Verification  29th International Conference, 2017
2016
Proceedings of the Computer Aided Verification  28th International Conference, 2016
Proceedings of the Computer Aided Verification  28th International Conference, 2016
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016
2015
PhD thesis, 2015
Formal Methods Syst. Des., 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 2015 IEEE RealTime Systems Symposium, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015
Proceedings of the Computer Aided Verification  27th International Conference, 2015
2014
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol.
Proceedings of the FM 2014: Formal Methods, 2014
2013
Integr., 2013
Proceedings of the International Conference on Embedded Software, 2013
Proceedings of the International Conference on Embedded Software, 2013
2012
Proceedings of the 33rd IEEE RealTime Systems Symposium, 2012
Proceedings of the Reachability Problems  6th International Workshop, 2012
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
2011
Proceedings of the 2011 IEEE/ACM International Conference on CyberPhysical Systems, 2011
2010
Proceedings of the QEST 2010, 2010