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 × Belgium
1 × Chile
1 × China
1 × Denmark
1 × Israel
1 × Spain
1 × Switzerland
18 × USA
2 × Canada
2 × France
2 × Greece
2 × United Kingdom
Collaborated with:
E.A.Emerson R.Chadha L.D.Zuck C.T.Yu E.M.Clarke O.Wolfson M.Zhou M.Viswanathan V.Gyuris X.Wang M.V.0001 A.R.Srinivas P.Godefroid V.G.Naik S.M.German J.H.Reif W.Meng C.Liu M.Zefran Y.Feng K.Gondi Y.Patel T.Hu V.Chowdhry L.Miliades Y.Huang R.Haddad C.S.Jutla M.Y.Vardi P.Wolper Y.Ben E.C.Dragut K.K.Mehra S.K.Rajamani S.K.Jha S.Jha K.Liu A.K.Mok J.Srinivasan M.S.Bauer E.C.Dragut F.Fang B.Xu J.Zhou S.Chamberlain A.M.Ouksel J.Wu N.Rishe
Talks about:
model (11) check (11) tempor (9) symmetri (8) system (8) automata (7) verif (6) logic (6) use (6) monitor (5)

Person: A. Prasad Sistla

DBLP DBLP: Sistla:A=_Prasad

Facilitated 1 volumes:

CAV 2000Ed

Contributed to:

FoSSaCS 20152015
CAV 20112011
VMCAI 20112011
CIKM 20102010
VLDB 20092009
VMCAI 20092009
LICS 20082008
VMCAI 20082008
SEFM 20072007
VMCAI 20062006
VMCAI 20052005
SEFM 20042004
VMCAI 20032003
CIKM 20022002
CAV 20012001
SIGMOD 19991999
CAV 19981998
CAV 19971997
CIKM 19961996
CAV 19951995
SIGMOD 19951995
VLDB 19951995
CAV 19941994
SIGMOD 19941994
VLDB 19941994
CAV 19931993
CAV 19911991
CAV 19901990
LICS 19871987
ICALP 19851985
STOC 19841984
ICALP 19831983
POPL 19831983
STOC 19821982
CAV (2) 20182018
CSL 20182018

Wrote 40 papers:

FoSSaCS-2015-ChadhaSVB #automaton #decidability #probability
Decidable and Expressive Classes of Probabilistic Automata (RC, APS, MV, YB), pp. 200–214.
CAV-2011-SistlaZF #probability
Monitorability of Stochastic Dynamical Systems (APS, MZ, YF), pp. 720–736.
VMCAI-2011-ChadhaSV #automaton #probability
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds (RC, APS, MV), pp. 103–117.
CIKM-2010-DragutYSM #sentiment #taxonomy #word
Construction of a sentimental word dictionary (ECD, CTY, APS, WM), pp. 1761–1764.
VLDB-2009-DragutFSYM #integration #interface #problem #web #word
Stop Word and Related Problems in Web Interface Integration (ECD, FF, APS, CTY, WM), pp. 349–360.
VMCAI-2009-GondiPS #monitoring #probability
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (KG, YP, APS), pp. 105–119.
LICS-2008-ChadhaSV #complexity #finite #monitoring #on the
On the Expressiveness and Complexity of Randomization in Finite State Monitors (RC, APS, MV), pp. 18–29.
VMCAI-2008-SistlaS #monitoring #probability
Monitoring Temporal Properties of Stochastic Systems (APS, ARS), pp. 294–308.
SEFM-2007-MehraRSJ #relational #verification
Verification of Object Relational Maps (KKM, SKR, APS, SKJ), pp. 283–292.
VMCAI-2006-SistlaZZ #component #monitoring #off the shelf
Monitoring Off-the-Shelf Components (APS, MZ, LDZ), pp. 222–236.
VMCAI-2005-SistlaZW #commutative #model checking
Model Checking of Systems Employing Commutative Functions (APS, MZ, XW), pp. 250–266.
SEFM-2004-SistlaWZ #using
Checking Extended CTL properties Using Guarded Quotient Structures (APS, XW, MZ), pp. 87–94.
VMCAI-2003-Sistla #model checking #reduction #symmetry
Symmetry Reductions in Model-Checking (APS), p. 25.
CIKM-2002-SistlaHC #automaton #database #query #retrieval #sequence #similarity #using
Similarity based retrieval from sequence databases using automata as queries (APS, TH, VC), pp. 237–244.
CAV-2001-SistlaG #model checking #symmetry
Symmetry and Reduced Symmetry in Model Checking (APS, PG), pp. 91–103.
SIGMOD-1999-WolfsonSXZC #database #named
DOMINO: Databases fOr MovINg Objects tracking (OW, APS, BX, JZ, SC), pp. 547–549.
CAV-1998-ClarkeEJS #model checking #reduction #symmetry
Symmetry Reductions inModel Checking (EMC, EAE, SJ, APS), pp. 147–158.
CAV-1997-GyurisS #model checking #on the fly #symmetry
On-the-Fly Model Checking Under Fairness That Exploits Symmetry (VG, APS), pp. 232–243.
CAV-1997-Sistla #automaton #invariant #linear #network #using #verification
Parametrized Verification of Linear Networks Using Automata as Invariants (APS), pp. 412–423.
CAV-1997-SistlaMG #liveness #model checking #named #symmetry #verification
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties (APS, LM, VG), pp. 464–467.
CIKM-1996-LiuOSWYR #database #evaluation #fuzzy #performance
Performance Evaluation of G-tree and Its Application in Fuzzy Databases (CL, AMO, APS, JW, CTY, NR), pp. 235–242.
CAV-1995-EmersonS #approach #model checking #symmetry
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach (EAE, APS), pp. 309–324.
SIGMOD-1995-SistlaW #constraints #database
Temporal Conditions and Integrity Constraints in Active Database Systems (APS, OW), pp. 269–280.
VLDB-1995-SistlaYLL #retrieval #similarity #using
Similarity based Retrieval of Pictures Using Indices on Spatial Relationships (APS, CTY, CL, KLL), pp. 619–629.
CAV-1994-NaikS #model checking #modelling #protocol #using #verification
Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking (VGN, APS), pp. 194–206.
SIGMOD-1994-HuangSW #mobile #replication
Data Replication for Mobile Computers (YH, APS, OW), pp. 13–24.
VLDB-1994-SistlaYH #reasoning #retrieval
Reasoning About Spatial Relationships in Picture Retrieval Systems (APS, CTY, RH), pp. 570–581.
CAV-1993-EmersonJS #calculus #model checking #on the #μ-calculus
On Model-Checking for Fragments of μ-Calculus (EAE, CSJ, APS), pp. 385–396.
CAV-1993-EmersonS #model checking #symmetry
Symmetry and Model Checking (EAE, APS), pp. 463–478.
CAV-1991-Sistla #automation #verification
Automatic Temporal Verification of Buffer Systems (APS, LDZ), pp. 59–69.
CAV-1990-EmersonMSS #reasoning
Quantitative Temporal Reasoning (EAE, AKM, APS, JS), pp. 136–145.
LICS-1987-SistlaG #process #reasoning
Reasoning with Many Processes (APS, SMG), pp. 138–152.
LICS-1987-SistlaZ #logic #on the
On the Eventuality Operator in Temporal Logic (APS, LDZ), pp. 153–166.
ICALP-1985-SistlaVW #automaton #logic #problem
The Complementation Problem for Büchi Automata with Applications to Temporal Logic (APS, MYV, PW), pp. 465–474.
STOC-1984-EmersonS #branch #logic
Deciding Branching Time Logic (EAE, APS), pp. 14–24.
ICALP-1983-ReifS #logic #multi #network
A Multiprocess Network Logic with Temporal and Spatial Modalities (JHR, APS), pp. 629–639.
POPL-1983-ClarkeES #approach #automation #concurrent #finite #logic #specification #using #verification
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach (EMC, EAE, APS), pp. 117–126.
STOC-1982-SistlaC #complexity #linear #logic
The Complexity of Propositional Linear Temporal Logics (APS, EMC), pp. 159–168.
CAV-2018-BauerCS0 #model checking #protocol #random #security
Model Checking Indistinguishability of Randomized Security Protocols (MSB, RC, APS, MV0), pp. 117–135.
CSL-2018-ChadhaS0 #approximate #automaton #probability #regular expression
Approximating Probabilistic Automata by Regular Languages (RC, APS, MV0), p. 23.

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.