Parasara Sridhar Duggirala

Publications 

Journal Publications

A Formal Framework for Interfacing Mixed-Timing System
S.Das, P.S.Duggirala, H.K.Kapoor
Integration, the VLSI journal. June 2013.

Hybrid Automata based CEGAR for Rectangular Hybrid Systems

P.Prabhakar, P.S.Duggirala, S.Mitra, M.Viswanathan
Formal Methods in System Design (FMSD).


Conference Publications (peer reviewed)


Simulation-Equivalent Reachability of Large Linear Systems with Inputs
S. Bak, P.S.Duggirala,
International Conference on Computer Aided Verification (CAV), July 2017.
[PDF]


Rigorous Simulation-Based Analysis of Linear Hybrid Systems

S.Bak, P.S.Duggirala,
Tools and Algorithms for Construction and Analysis of Systems (TACAS), April 2017.
[PDF], [PPT], [Bibtex]


HyLAA: A Tool For Computing Simulation-Equivalent Reachability for
Linear Systems 

S.Bak, P.S.Duggirala,
Hybrid Systems Computation and Control (HSCC), April 2017.
[PDF], [PPT]
, [Bibtex]


Tutorial: Software tools for hybrid systems verification, transformation, and
synthesis: C2E2, HyST, and TuLiP

P.S.Duggirala, C.Fan, M.Potok, B.Qi, S.Mitra, M.Viswanathan, S.Bak, S.Bogomolov,
T.T.Johnson, L.V.Nguyen, C.Schilling, A.Sogokon, H.Tran, W.Xiang,

IEEE Multi-Conference on Systems and Control (CCA), September 2016.

[PDF], [PPT], [Bibtex]


Parsimonious, Simulation Based Verification of Linear Systems

P.S.Duggirala, M.Viswanathan,
International Conference on Computer Aided Verification (CAV), July 2016.
[PDF], [PPT]
, [Bibtex]


Automatic Reachability Analysis for Nonlinear Hybrid Models With C2E2
C.Fan, B.Qi, S.Mitra, M.Viswanathan, P.S.Duggirala,
International Conference on Computer Aided Verification (CAV) July 2016.
[PDF]
, [Bibtex]


Analyzing Real Time Linear Control Systems Using Software Verification

P.S.Duggirala, M.Viswanathan,
IEEE Real Time Systems Symposium (RTSS), December 2015.
[PDF], [PPT], [Bibtex]


Meeting a Powertrain Verification Challenge
P.S.Duggirala, C.Fan, S.Mitra, M.Viswanathan,
International Conference on Computer Aided Verification (CAV), July 2015.

[PDF], [PPT], [Bibtex]


C2E2: A Verification Tool for Stateflow Models
P.S.Duggirala, S.Mitra, M.Viswanathan, M. Potok,
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), April 2015.
[PDF], [PPT], [Bibtex]


Temporal Precedence Checking for Switched Models and its Application to a Parallel Landing Protocol

P.S.Duggirala, L. Wang, S.Mitra, M.Viswanathan, C. Munoz,
International Symposium on Formal Methods (FM), May 2014.
[PDF], [PPT], [Bibtex]


Verification of Annotated Models from Executions

P.S.Duggirala, S.Mitra, M.Viswanathan
International Conference on Embedded Software (EMSOFT), September 2013.
[PDF], [PPT], [Bibtex]


Safety Verification for Linear Systems
-
Best Paper Award
P.S.Duggirala, A.Tiwari
International Conference on Embedded Software (EMSOFT), September 2013.

[PDF], [Bibtex]


Hybrid Automata Based CEGAR for Hybrid Systems

P.Prabhakar, P.S.Duggirala, S.Mitra, M.Viswanathan
Verification Model Checking and Abstract Interpretation (VMCAI), January 2013.
[PDF], [Bibtex]


Static and Dynamic Analysis of Timed Distributed Traces
P.S.Duggirala, T.T.Johnson, A.Zimmerman, S.Mitra
IEEE Real-Time Systems Symposium (RTSS), December 2012.
[PDF], [PPT], [Bibtex]


Efficient Probabilistic Model Checking of Systems with Ranged Probabilities

K.Ghorbal, P.S.Duggirala, F.Ivancic, V.Kahlon, A.Gupta
Reachability Problems (RP), September 2012.

[PDF], [Bibtex]


Lyapunov Abstractions for Inevitability of Hybrid Systems

P.S.Duggirala, S.Mitra
Hybrid Systems Computation and Control (HSCC), April 2012.
[PDF], [PPT], [Bibtex]


Abstraction Refinement for Stability
P.S.Duggirala, S.Mitra
International Conference on Cyber-Physical Systems (ICCPS), April 2011.
[PDF], [PPT], [Bibtex]


On the Theory of Stochastic Processors
P.S.Duggirala, S.Mitra, R.Kumar, D.Glazeski
Quantitative Evaluation of SysTems (QEST), September 2010.

[PDF], [PPT], [Bibtex]