BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Iceland
1 × India
1 × Italy
1 × Russia
1 × Spain
Collaborated with:
M.G.Soto M.Viswanathan P.S.Duggirala S.Mitra R.Chadha A.Legay V.Vladimerou G.E.Dullerud
Talks about:
hybrid (5) system (4) abstract (3) stabil (3) analysi (2) base (2) counterexampl (1) rectangular (1) automata (1) softwar (1)

Person: Pavithra Prabhakar

DBLP DBLP: Prabhakar:Pavithra

Contributed to:

VMCAI 20152015
CAV 20132013
VMCAI 20132013
VMCAI 20102010
ICALP (2) 20082008
CAV (1) 20162016

Wrote 6 papers:

VMCAI-2015-PrabhakarS #abstraction #analysis #hybrid
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (PP, MGS), pp. 318–335.
CAV-2013-PrabhakarS #abstraction #hybrid #model checking
Abstraction Based Model-Checking of Stability of Hybrid Systems (PP, MGS), pp. 280–295.
VMCAI-2013-PrabhakarDMV #hybrid
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (PP, PSD, SM, MV), pp. 48–67.
VMCAI-2010-ChadhaLPV #bound #complexity #realtime #verification
Complexity Bounds for the Verification of Real-Time Software (RC, AL, PP, MV), pp. 95–111.
ICALP-B-2008-VladimerouPVD #hybrid
STORMED Hybrid Systems (VV, PP, MV, GED), pp. 136–147.
CAV-2016-PrabhakarS #abstraction #analysis #refinement
Counterexample Guided Abstraction Refinement for Stability Analysis (PP, MGS), pp. 495–512.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.