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: Sistla:A=_Prasad
Facilitated 1 volumes:
EdContributed to:
20152011
2011
2010
20092009
20082008
2007200620052004200320022001
19991998199719961995199519951994199419941993199119901987
1985
19841983
198319822018
2018Wrote 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.