Parasara Sridhar Duggirala (పరాశర శ్రీధర్ దుగ్గిరాల)

     @article{goyal2022nexg,
       title={NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation},
       author={Goyal, Manish and Dewaskar, Miheer and Duggirala, Parasara Sridhar},
       journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
       volume={41},
       number={11},
       pages={4265--4276},
       year={2022},
       publisher={IEEE}
     }
    

@article{hobbs2023safety,
  title={Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties},
  author={Clara Hobbs and Bineet Ghosh and Shengjie Xu and Parasara Sridhar Duggirala and Samarjit Chakraborty},
  journal={IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume={41},
  number={11},
  year={2022},
  publisher={IEEE}
 }

@article{goyal2020extracting,
  title={Extracting counterexamples induced by safety violation in linear hybrid systems},
  author={Goyal, Manish and Duggirala, Parasara Sridhar},
  journal={Automatica},
  volume={117},
  pages={109005},
  year={2020},
  publisher={Elsevier}
 }

 @article{ghosh2019robust,
  title={Robust reachable set: Accounting for uncertainties in linear dynamical systems},
  author={Ghosh, Bineet and Duggirala, Parasara Sridhar},
  journal={ACM Transactions on Embedded Computing Systems (TECS)},
  volume={18},
  number={5s},
  pages={97},
  year={2019},
  publisher={ACM}
 }

@article{duggirala2019aggregation,
  title={Aggregation strategies in reachable set computation of hybrid systems},
  author={Duggirala, Parasara Sridhar and Bak, Stanley},
  journal={ACM Transactions on Embedded Computing Systems (TECS)},
  volume={18},
  number={5s},
  pages={1--21},
  year={2019},
  publisher={ACM New York, NY, USA}
 }

@article{PrabhakarDM015,
  author    = {Pavithra Prabhakar and
               Parasara Sridhar Duggirala and
               Sayan Mitra and
               Mahesh Viswanathan},
  title     = {Hybrid automata-based {CEGAR} for rectangular hybrid systems},
  journal   = {Formal Methods Syst. Des.},
  volume    = {46},
  number    = {2},
  pages     = {105--134},
  year      = {2015}
 }

@inproceedings{xu2023statistical,
       title={Statistical approach to efficient and deterministic schedule synthesis for cyber-physical systems},
       author={Xu, Shengjie and Ghosh, Bineet and Hobbs, Clara and Fraccaroli, Enrico and Duggirala, Parasara Sridhar and Chakraborty, Samarjit},
       booktitle={International Symposium on Automated Technology for Verification and Analysis},
       pages={312--333},
       year={2023},
       organization={Springer}
       }

@inproceedings{ghosh2022statistical,
       title={Statistical hypothesis testing of controller implementations under timing uncertainties},
       author={Ghosh, Bineet and Hobbs, Clara and Xu, Shengjie and Duggirala, Parasara Sridhar and Anderson, James H and Thiagarajan, PS and Chakraborty, Samarjit},
       booktitle={2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)},
       pages={11--20},
       year={2022},
       organization={IEEE}
       }

@inproceedings{karimi2022automatic,
         title={Automatic generation of test-cases of increasing complexity for autonomous vehicles at intersections},
         author={Karimi, Abolfazl and Duggirala, Parasara Sridhar},
         booktitle={2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS)},
         pages={01--11},
         year={2022},
         organization={IEEE}
          }

@inproceedings{sheikhi2022coverage,
  title={Coverage-Guided Fuzz Testing for Cyber-Physical Systems},
  author={Sanaz Sheikhi and Edward Kim and Parasara Sridhar Duggirala and Stanley Bak},
  booktitle={13th {ACM/IEEE} International Conference on Cyber-Physical Systems, {ICCPS}},
  year={2022}
 }

@inproceedings{ghosh2021interpretable,
    title={Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency},
    author={Ghosh, Bineet and Chinchali, Sandeep and Duggirala, Parasara Sridhar},
    booktitle={{IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS}},
    year={2021}
    }

@inproceedings{kim2021automatic,
      title={Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems},
      author={Kim, Edward and Bak, Stanley and Duggirala, Parasara Sridhar},
      booktitle={Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24--26, 2021, Proceedings 19},
      pages={50--66},
     year={2021},
     organization={Springer}
    }

@inproceedings{geretti2021arch,
     title={ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics},
     author={Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Pieter Collins and Parasara Sridhar Duggirala and Marcelo Forets and Edward Kim and Uziel Linares and David P. Sanders and Christian Schilling and Mark Wetzlinger},
     booktitle={8th International Workshop on Applied Verification of Continuous and Hybrid Systems ({ARCH21})},
     year={2021}
     }

@article{bak2021reachability,
      title={Reachability of black-box nonlinear systems after koopman operator linearization},
      author={Bak, Stanley and Bogomolov, Sergiy and Duggirala, Parasara Sridhar and Gerlach, Adam R and Potomkin, Kostiantyn},
      journal={IFAC-PapersOnLine},
      volume={54},
      number={5},
      pages={253--258},
      year={2021},
      publisher={Elsevier}
     }

@inproceedings{hobbs2020perception,
      title={Perception computing-aware controller synthesis for autonomous systems},
        author={Hobbs, Christopher and Roy, Debjit and Duggirala, Parasara Sridhar and Smith, Frank Drew and Anderson, John H and Chakraborty, Samarjit},
        booktitle={Design, Automation and Test in Europe Conference (DATE)},
        year={2021},
        organization={IEEE}
        }

@inproceedings{goyal2020neuralexplorer,
        title={NeuralExplorer: State space exploration of closed loop control systems using neural networks},
        author={Goyal, Manish and Duggirala, Parasara Sridhar},
        booktitle={International Symposium on Automated Technology for Verification and Analysis (ATVA)},
        pages={121--138},
        year={2020},
        organization={Springer}
        }

@inproceedings{goyal2020longest,
          title={Generating longest counterexample: On the cross-roads of mixed-integer linear programming and SMT},
          author={Goyal, Manish and Bergman, David and Duggirala, Parasara Sridhar},
          booktitle={American Controls Conference (ACC)},
          pages={2116--2121},
          year={2020},
          organization={IEEE}
          }

@inproceedings{kim2020kaa,
     title={Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials},
     author={Kim, Eric and Duggirala, Parasara Sridhar},
     booktitle={International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)},
     month={June},
     year={2020}
    }

@inproceedings{goyal2020neuralexplorer,
     title={NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks},
     author={Goyal, Manish and Duggirala, Parasara Sridhar},
     booktitle={Conference on Learning for Dynamics and Control (L4DC)},
     year={2020}
   }

@inproceedings{karimi2020formalizing,
       title={Formalizing traffic rules for uncontrolled intersections},
       author={Karimi, Abolfazl and Duggirala, Parasara Sridhar},
       booktitle={International Conference on Cyber-Physical Systems (ICCPS)},
       year={2020},
       organization={ACM}
     }

@inproceedings{jin2020rethinking,
       title={Re-Thinking LiDAR-Stereo Fusion Frameworks (Student Abstract)},
       author={Jin, Qinlin and Duggirala, Parasara Sridhar},
       booktitle={Association for the Advancement of Artificial Intelligence (AAAI)},
       year={2020}
     }

@inproceedings{homburg2019incremental,
     title={Incremental minimization of symbolic automata},
     author={Homburg, Jonathan and Duggirala, Parasara Sridhar},
     booktitle={International Conference on Verified Software. Theories, Tools, and Experiments (VSTTE)},
     pages={136--154},
     year={2019},
     organization={Springer}
   }

@inproceedings{duggirala2018can,
     title={When can we treat trajectories as points?},
     author={Duggirala, Parasara Sridhar and Sheehy, Donald},
     booktitle={Canadian Conference on Computational Geometry (CCCG)},
     year={2018}
   }

@inproceedings{goyal2018generating,
     title={On generating a variety of counterexamples for linear dynamical systems},
     author={Goyal, Manish and Duggirala, Parasara Sridhar},
     booktitle={IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)},
     pages={84--89},
     year={2018},
     organization={Elsevier}
   }

@inproceedings{bak2017simulation,
     title={Simulation-equivalent reachability of large linear systems with inputs},
     author={Bak, Stanley and Duggirala, Parasara Sridhar},
     booktitle={International Conference on Computer Aided Verification (CAV)},
     pages={469--489},
     year={2017},
     organization={Springer}
    }

@inproceedings{bak2017rigorous,
    title={Rigorous Simulation-Based Analysis of Linear Hybrid Systems},
    author={Bak, Stanley and Duggirala, Parasara Sridhar},
    booktitle={Tools and Algorithms for Construction and Analysis of Systems (TACAS)},
    month={April},
    year={2017}
   }

@inproceedings{bak2017hylaa,
    title={HyLAA: A Tool For Computing Simulation-Equivalent Reachability for Linear Systems},
    author={Bak, Stanley and Duggirala, Parasara Sridhar},
    booktitle={ACM/IEEE International Conference on Hybrid Systems Computation and Control (HSCC)},
    month={April},
    year={2017}
   }

@inproceedings{bak2017direct,
    title={Direct Verification of Linear Systems with over 10000 Dimensions},
    author={Bak, Stanley and Duggirala, Parasara Sridhar},
    booktitle={ARCH@ CPSWeek},
    pages={114--123},
    year={2017}
    }

@inproceedings{duggirala2016tutorial,
     title={Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP},
     author={Duggirala, Parasara Sridhar and Fan, Chuchu and Potok, Matthew and Qi, Bolun and Mitra, Sayan and Viswanathan, Mahesh and Bak, Stanley and Bogomolov, Sergiy and Johnson, Taylor T. and Nguyen, Luan Viet and Schilling, Christian and Sogokon, Andrew and Tran, Hoang{-}Dung and Xiang, Weiming},
     booktitle={IEEE Conference on Control and Applications (CCA)},
     month={September},
     year={2016}
   }

@inproceedings{duggirala2016parsimonious,
    title={Parsimonious, Simulation-Based Verification of Linear Systems},
    author={Duggirala, Parasara Sridhar and Viswanathan, Mahesh},
    booktitle={International Conference on Computer Aided Verification (CAV)},
    month={July},
    year={2016}
   }

@inproceedings{fan2016automatic,
    title={Automatic Reachability Analysis for Nonlinear Hybrid Models With C2E2},
    author={Fan, Chuchu and Qi, Bolun and Mitra, Sayan and Viswanathan, Mahesh and Duggirala, Parasara Sridhar},
    booktitle={International Conference on Computer Aided Verification (CAV)},
    month={July},
    year={2016}
   }

@inproceedings{duggirala2015analyzing,
   title={Analyzing real-time linear control systems using software verification},
   author={Duggirala, Parasara Sridhar and Viswanathan, Mahesh},
   booktitle={Real-Time Systems Symposium (RTSS), 2015 IEEE},
   pages={216--226},
   year={2015},
   organization={IEEE}
   }

@inproceedings{duggirala2015meeting,
   title={Meeting a powertrain verification challenge},
   author={Duggirala, Parasara Sridhar and Fan, Chuchu and Mitra, Sayan and Viswanathan, Mahesh},
   booktitle={International Conference on Computer Aided Verification (CAV) },
   pages={536--543},
   year={2015},
   organization={Springer International Publishing}
   }

@inproceedings{duggirala2015c2e2,
   title={C2E2: a verification tool for stateflow models},
   author={Duggirala, Parasara Sridhar and Mitra, Sayan and Viswanathan, Mahesh and Potok, Matthew},
   booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
   pages={68--82},
   year={2015},
   organization={Springer Berlin Heidelberg}
   }

@inproceedings{fan2015progress,
   title={Progress on Powertrain Verification Challenge with C2E2.},
   author={Fan, Chuchu and Duggirala, Parasara Sridhar and Mitra, Sayan and Viswanathan, Mahesh},
   booktitle={International Workshop on Applied Verification for Continuous and Hybrid Systems {ARCH@CPSWeek}},
   year={2015}
   }

@inproceedings{duggirala2014temporal,
   title={Temporal precedence checking for switched models and its application to a parallel landing protocol},
   author={Duggirala, Parasara Sridhar and Wang, Le and Mitra, Sayan and Viswanathan, Mahesh and Mu{\~n}oz, C{\'e}sar},
   booktitle={International Symposium on Formal Methods {FM}},
   year={2014}
   }

@inproceedings{duggirala2013safety,
   title={Safety verification for linear systems},
   author={Duggirala, Parasara Sridhar and Tiwari, Ashish},
   booktitle={Embedded Software (EMSOFT), 2013 Proceedings of the International Conference on},
   pages={1--10},
   year={2013},
   organization={IEEE}
   }

@inproceedings{duggirala2013verification,
   title={Verification of annotated models from executions},
   author={Duggirala, Parasara Sridhar and Mitra, Sayan and Viswanathan, Mahesh},
   booktitle={Proceedings of the Eleventh ACM International Conference on Embedded Software},
   pages={26},
   year={2013},
   organization={IEEE Press}
   }

@inproceedings{prabhakar2013hybrid,
        title={Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems},
        author={Prabhakar, Pavithra and Duggirala, Parasara Sridhar and Mitra, Sayan and Viswanathan, Mahesh},
        booktitle={Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013},
        pages={48--67},
        year={2013},
        organization={Springer}
      }

@inproceedings{duggirala2012static,
   title={Static and dynamic analysis of timed distributed traces},
   author={Duggirala, Parasara Sridhar and Johnson, Taylor T and Zimmerman, Adam and Mitra, Sayan},
   booktitle={Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd},
   pages={173--182},
   year={2012},
   organization={IEEE}
   }

@inproceedings{ghorbal2012efficient,
   title={Efficient probabilistic model checking of systems with ranged probabilities},
   author={Ghorbal, Khalil and Duggirala, Parasara Sridhar and Kahlon, Vineet and Ivan{\v{c}}i{\'c}, Franjo and Gupta, Aarti},
   booktitle={International Workshop on Reachability Problems},
   pages={107--120},
   year={2012},
   organization={Springer Berlin Heidelberg}
   }

@inproceedings{duggirala2012lyapunov,
    title={Lyapunov abstractions for inevitability of hybrid systems},
    author={Duggirala, Parasara Sridhar and Mitra, Sayan},
    booktitle={Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control},
    pages={115--124},
    year={2012},
    organization={ACM}
    }

@inproceedings{duggirala2011abstraction,
    title={Abstraction refinement for stability},
    author={Duggirala, Parasara Sridhar and Mitra, Sayan},
    booktitle={Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on},
    pages={22--31},
    year={2011},
    organization={IEEE}
    }

@inproceedings{duggirala2010theory,
    title={On the theory of stochastic processors},
    author={Duggirala, Parasara Sridhar and Mitra, Sayan and Kumar, Rakesh and Glazeski, Dean},
    booktitle={Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the},
    pages={292--301},
    year={2010},
    organization={IEEE}
    }