A. Prasad Sistla

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
104Monitorability of Stochastic Dynamical Systems. A. Prasad Sistla, Milos Zefran, Yao Feng. CAV 2011, 720-736. Web SearchBibTeXDownload
103Answer-pairs and processing of continuous nearest-neighbor queries. A. Prasad Sistla, Ouri Wolfson, Bo Xu, Naphtali Rishe. FOMC 2011, 16-24. Web SearchBibTeXDownload
102Power of Randomization in Automata on Infinite Strings. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan. Logical Methods in Computer Science (7) (2011). Web SearchBibTeXDownload
101Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan. VMCAI 2011, 103-117. Web SearchBibTeXDownload
2010
100TAPS: automatically preparing safe SQL queries. Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan. ACM Conference on Computer and Communications Security 2010, 645-647. Web SearchBibTeXDownload
99Construction of a sentimental word dictionary. Eduard C. Dragut, Clement T. Yu, A. Prasad Sistla, Weiyi Meng. CIKM 2010, 1761-1764. Web SearchBibTeXDownload
98Automatically Preparing Safe SQL Queries. Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan. Financial Cryptography 2010, 272-288. Web SearchBibTeXDownload
97Model Checking Concurrent Programs with Nondeterminism and Randomization. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan. FSTTCS 2010, 364-375. Web SearchBibTeXDownload
2009
96Power of Randomization in Automata on Infinite Strings. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan. CONCUR 2009, 229-243. Web SearchBibTeXDownload
95A data model for trip planning in multimodal transportation systems. Joel Booth, A. Prasad Sistla, Ouri Wolfson, Isabel F. Cruz. EDBT 2009, 994-1005. Cited by 1Web SearchBibTeXDownload
94A query processor for prediction-based monitoring of data streams. Sergio Ilarri, Ouri Wolfson, Eduardo Mena, Arantza Illarramendi, A. Prasad Sistla. EDBT 2009, 415-426. Web SearchBibTeXDownload
93On the expressiveness and complexity of randomization in finite state monitors. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan. J. ACM (56) (2009). Web SearchBibTeXDownload
92Stop Word and Related Problems in Web Interface Integration. Eduard Constantin Dragut, Fang Fang, A. Prasad Sistla, Clement T. Yu, Weiyi Meng. PVLDB (2): 349-360 (2009). Web SearchBibTeXDownload
91Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla. VMCAI 2009, 105-119. Web SearchBibTeXDownload
2008
90Preventing Information Leaks through Shadow Executions. Roberto Capizzi, Antonio Longo, V. N. Venkatakrishnan, A. Prasad Sistla. ACSAC 2008, 322-331. Web SearchBibTeXDownload
89CMV: automatic verification of complete mediation for java virtual machines. A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske. ASIACCS 2008, 100-111. Web SearchBibTeXDownload
88Analysis of dynamic policies. A. Prasad Sistla, Min Zhou. Inf. Comput. (206): 185-212 (2008). Web SearchBibTeXDownload
87On the Expressiveness and Complexity of Randomization in Finite State Monitors. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan. LICS 2008, 18-29. Web SearchBibTeXDownload
86Monitoring Temporal Properties of Stochastic Systems. A. Prasad Sistla, Abhigna R. Srinivas. VMCAI 2008, 294-308. Web SearchBibTeXDownload
2007
85Checking extended CTL properties using guarded quotient structures. A. Prasad Sistla, Xiaodong Wang, Min Zhou. Formal Methods in System Design (31): 197-219 (2007). Web SearchBibTeXDownload
84Verification of Object Relational Maps. Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha. SEFM 2007, 283-292. Web SearchBibTeXDownload
2006
83Merging Source Query Interfaces onWeb Databases. Eduard C. Dragut, Wensheng Wu, A. Prasad Sistla, Clement T. Yu, Weiyi Meng. ICDE 2006, 46. Cited by 16Web SearchBibTeXDownload
82Language based policy analysis in a SPKI Trust Management System. Arun K. Eamani, A. Prasad Sistla. Journal of Computer Security (14): 327-357 (2006). Web SearchBibTeXDownload
81Monitoring Off-the-Shelf Components. A. Prasad Sistla, Min Zhou, Lenore D. Zuck. VMCAI 2006, 222-236. Web SearchBibTeXDownload
2005
80Taming Interface Specifications. Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck. CONCUR 2005, 548-561. Web SearchBibTeXDownload
79Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases. A. Prasad Sistla. CoRR (abs/cs/0501006) (2005). Web SearchBibTeXDownload
78Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. A. Prasad Sistla, Min Zhou. FORTE 2005, 68-82. Web SearchBibTeXDownload
77Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks. A. Prasad Sistla, Ouri Wolfson, Bo Xu. SSTD 2005, 346-363. Cited by 9Web SearchBibTeXDownload
76Model Checking of Systems Employing Commutative Functions. A. Prasad Sistla, Min Zhou, Xiaodong Wang. VMCAI 2005, 250-266. Web SearchBibTeXDownload
2004
75Symmetry and reduced symmetry in model checking. A. Prasad Sistla, Patrice Godefroid. ACM Trans. Program. Lang. Syst. (26): 702-734 (2004). Web SearchBibTeXDownload
74Employing symmetry reductions in model checking. A. Prasad Sistla. Computer Languages, Systems & Structures (30): 99-137 (2004). Web SearchBibTeXDownload
73Checking Extended CTL properties Using Guarded Quotient Structures. A. Prasad Sistla, Xiaodong Wang, Min Zhou. SEFM 2004, 87-94. Web SearchBibTeXDownload
72An Economic Model for Resource Exchange in Mobile Peer to Peer Networks. Ouri Wolfson, Bo Xu, A. Prasad Sistla. SSDBM 2004, 235-244. Cited by 26Web SearchBibTeXDownload
2003
71Symmetry Reductions in Model-Checking. A. Prasad Sistla. VMCAI 2003, 25. Web SearchBibTeXDownload
2002
70Similarity based retrieval from sequence databases using automata as queries. A. Prasad Sistla, Tao Hu, Vikas Chowdhry. CIKM 2002, 237-244. Web SearchBibTeXDownload
69Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases. A. Prasad Sistla. FSTTCS 2002, 324-335. Web SearchBibTeXDownload
68Research Activities in Database Management and Information Retrieval at the University of Illinois at Chicago. Isabel F. Cruz, Ashfaq A. Khokhar, Bing Liu, A. Prasad Sistla, Ouri Wolfson, Clement T. Yu. SIGMOD Record (31): 103-108 (2002). Web SearchBibTeXDownload
2001
67Symmetry and Reduced Symmetry in Model Checking. A. Prasad Sistla, Patrice Godefroid. CAV 2001, 91-103. Web SearchBibTeXDownload
66On model checking for the µ-calculus and its fragments. E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla. Theor. Comput. Sci. (258): 491-522 (2001). Web SearchBibTeXDownload
2000
65SMC: a symmetry-based model checker for verification of safety and liveness properties. A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson. ACM Trans. Softw. Eng. Methodol. (9): 133-166 (2000). Web SearchBibTeXDownload
64Reasoning about Qualitative Spatial Relationships. A. Prasad Sistla, Clement T. Yu. J. Autom. Reasoning (25): 291-328 (2000). Cited by 14Web SearchBibTeXDownload
1999
63Updating and Querying Databases that Track Mobile Units. Ouri Wolfson, A. Prasad Sistla, Sam Chamberlain, Yelena Yesha. Distributed and Parallel Databases (7): 257-387 (1999). Cited by 298Web SearchBibTeXDownload
62Parameterized Verification of Linear Networks using Automata as Invariants. A. Prasad Sistla, Viktor Gyuris. Formal Asp. Comput. (11): 402-425 (1999). Web SearchBibTeXDownload
61On-the-Fly Model Checking Under Fairness that Exploits Symmetry. Viktor Gyuris, A. Prasad Sistla. Formal Methods in System Design (15): 217-238 (1999). Web SearchBibTeXDownload
60Databases for Tracking Mobile Units in Real Time. Ouri Wolfson, Liqin Jiang, A. Prasad Sistla, Sam Chamberlain, Naphtali Rishe, Minglin Deng. ICDT 1999, 169-186. Cited by 56Web SearchBibTeXDownload
59An Incremental Verification Algorithm for Real-Time Systems. Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla. International Journal of Software Engineering and Knowledge Engineering (9): 203-216 (1999). Web SearchBibTeXDownload
58Tracking Moving Objects Using Database Technology in DOMINO. Ouri Wolfson, A. Prasad Sistla, Bo Xu, Jutai Zhou, Sam Chamberlain, Yelena Yesha, Naphtali Rishe. NGITS 1999, 112-119. Cited by 29Web SearchBibTeXDownload
57DOMINO: Databases fOr MovINg Objects tracking. Ouri Wolfson, A. Prasad Sistla, Bo Xu, Jutai Zhou, Sam Chamberlain. SIGMOD Conference 1999, 547-549. Cited by 102Web SearchBibTeX
1998
56Towards a Theory of Cost Management for Digital Libraries and Electronic Commerce. A. Prasad Sistla, Ouri Wolfson, Yelena Yesha, Robert H. Sloan. ACM Trans. Database Syst. (23): 411-452 (1998). Cited by 6Web SearchBibTeXDownload
55Symmetry Reductions inModel Checking. Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla. CAV 1998, 147-158. Web SearchBibTeXDownload
54Query Processing in a Video Retrieval System. King-Lup Liu, A. Prasad Sistla, Clement T. Yu, Naphtali Rishe. ICDE 1998, 276-283. Cited by 9Web SearchBibTeXDownload
53Minimization of Communication Cost Through Caching in Mobile Environments. A. Prasad Sistla, Ouri Wolfson, Yixiu Huang. IEEE Trans. Parallel Distrib. Syst. (9): 378-390 (1998). Cited by 58Web SearchBibTeXDownload
52Incremental Verification of Architecture Specification Language for Real-Time Systems. Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul. International Journal of Software Engineering and Knowledge Engineering (8): 347-360 (1998). Web SearchBibTeXDownload
1997
51Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. E. Allen Emerson, A. Prasad Sistla. ACM Trans. Program. Lang. Syst. (19): 617-638 (1997). Web SearchBibTeXDownload
50SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. A. Prasad Sistla, L. Miliades, Viktor Gyuris. CAV 1997, 464-467. Web SearchBibTeXDownload
49On-the-Fly Model Checking Under Fairness That Exploits Symmetry. Viktor Gyuris, A. Prasad Sistla. CAV 1997, 232-243. Web SearchBibTeXDownload
48Parametrized Verification of Linear Networks Using Automata as Invariants. A. Prasad Sistla. CAV 1997, 412-423. Web SearchBibTeXDownload
47Modeling and Querying Moving Objects. A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao. ICDE 1997, 422-432. Cited by 523Web SearchBibTeXDownload
46Similarity Based Retrieval of Videos. A. Prasad Sistla, Clement T. Yu, R. Venkatasubrahmanian. ICDE 1997, 181-190. Cited by 18Web SearchBibTeXDownload
45Querying the Uncertain Position of Moving Objects. A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao. Temporal Databases, Dagstuhl 1997, 310-337. Cited by 113Web SearchBibTeXDownload
1996
44Hybrid and Incremental Modelchecking Techniques. A. Prasad Sistla. ACM Comput. Surv. (28): 125 (1996). Web SearchBibTeXDownload
43Performance Evaluation of G-tree and Its Application in Fuzzy Databases. Chengwen Liu, Aris M. Ouksel, A. Prasad Sistla, Jing Wu, Clement T. Yu, Naphtali Rishe. CIKM 1996, 235-242. Cited by 7Web SearchBibTeXDownload
42Symmetry and Model Checking. E. Allen Emerson, A. Prasad Sistla. Formal Methods in System Design (9): 105-131 (1996). Web SearchBibTeXDownload
41Retrieval of Pictures Using Approximate Matching. A. Prasad Sistla, Clement T. Yu. Multimedia Database System: Issues and Research Direction 1996, 101-112. Cited by 6Web SearchBibTeX
40An Architecture for Consumer-Oriented Online Database Services. A. Prasad Sistla, Ouri Wolfson, Son Dao, Kailash Narayanan, Ramya Raj. RIDE-NDS 1996, 50-60. Cited by 7Web SearchBibTeX
1995
39Temporal Conditons with Retroactive and Proactive Updates. Minglin Deng, A. Prasad Sistla, Ouri Wolfson. ARTDB 1995, 122-141. Cited by 4Web SearchBibTeX
38Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. E. Allen Emerson, A. Prasad Sistla. CAV 1995, 309-324. Web SearchBibTeXDownload
37Temporal Triggers in Active Databases. A. Prasad Sistla, Ouri Wolfson. IEEE Trans. Knowl. Data Eng. (7): 471-486 (1995). Cited by 87Web SearchBibTeXDownload
36Temporal Conditions and Integrity Constraints in Active Database Systems. A. Prasad Sistla, Ouri Wolfson. SIGMOD Conference 1995, 269-280. Cited by 78Web SearchBibTeX
35View Maintenance in Mobile Computing. Ouri Wolfson, A. Prasad Sistla, Son Dao, Kailash Narayanan, Ramya Raj. SIGMOD Record (24): 22-27 (1995). Cited by 46Web SearchBibTeXDownload
34Similarity based Retrieval of Pictures Using Indices on Spatial Relationships. A. Prasad Sistla, Clement T. Yu, Chengwen Liu, King-Lup Liu. VLDB 1995, 619-629. Cited by 34Web SearchBibTeX
1994
33Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. Vivek G. Naik, A. Prasad Sistla. CAV 1994, 194-206. Web SearchBibTeXDownload
32Safety, Liveness and Fairness in Temporal Logic. A. Prasad Sistla. Formal Asp. Comput. (6): 495-512 (1994). Web SearchBibTeXDownload
31Data Replication for Mobile Computers. Yixiu Huang, A. Prasad Sistla, Ouri Wolfson. SIGMOD Conference 1994, 13-24. Cited by 170Web SearchBibTeX
30Reasoning About Spatial Relationships in Picture Retrieval Systems. A. Prasad Sistla, Clement T. Yu, R. Haddad. VLDB 1994, 570-581. Cited by 90Web SearchBibTeX
1993
29Symmetry and Model Checking. E. Allen Emerson, A. Prasad Sistla. CAV 1993, 463-478. Web SearchBibTeXDownload
28On Model-Checking for Fragments of µ-Calculus. E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla. CAV 1993, 385-396. Web SearchBibTeXDownload
27Reasoning in a Restricted Temporal Logic. A. Prasad Sistla, Lenore D. Zuck. Inf. Comput. (102): 167-195 (1993). Web SearchBibTeXDownload
1992
26Triggers on Database Histories. A. Prasad Sistla, Ouri Wolfson. IEEE Data Eng. Bull. (15): 48-51 (1992). Cited by 9Web SearchBibTeXDownload
25Reasoning about Systems with Many Processes. Steven M. German, A. Prasad Sistla. J. ACM (39): 675-735 (1992). Web SearchBibTeXDownload
24Quantitative Temporal Reasoning. E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan. Real-Time Systems (4): 331-352 (1992). Web SearchBibTeXDownload
1991
23Automatic Temporal Verification of Buffer Systems. A. Prasad Sistla, Lenore D. Zuck. CAV 1991, 59-69. Web SearchBibTeXDownload
22Proving Correctness with Respect to Nondeterministic Safety Specifications. A. Prasad Sistla. Inf. Process. Lett. (39): 45-49 (1991). Web SearchBibTeXDownload
1990
21Quantitative Temporal Reasoning. E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan. CAV 1990, 136-145. Web SearchBibTeXDownload
1989
20On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification. A. Prasad Sistla. Inf. Process. Lett. (32): 17-23 (1989). Web SearchBibTeXDownload
19Efficient Distributed Recovery Using Message Logging. A. Prasad Sistla, Jennifer L. Welch. PODC 1989, 223-238. Web SearchBibTeX
1987
18On the Eventuality Operator in Temporal Logic. A. Prasad Sistla, Lenore D. Zuck. LICS 1987, 153-166. Web SearchBibTeX
17Reasoning with Many Processes. A. Prasad Sistla, Steven M. German. LICS 1987, 138-152. Web SearchBibTeX
16The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper. Theor. Comput. Sci. (49): 217-237 (1987). Web SearchBibTeXDownload
1986
15Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla. ACM Trans. Program. Lang. Syst. (8): 244-263 (1986). Web SearchBibTeXDownload
1985
14The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper. ICALP 1985, 465-474. Web SearchBibTeXDownload
13The Complexity of Propositional Linear Temporal Logics. A. Prasad Sistla, Edmund M. Clarke. J. ACM (32): 733-749 (1985). Web SearchBibTeXDownload
12A Multiprocess Network Logic with Temporal and Spatial Modalities. John H. Reif, A. Prasad Sistla. J. Comput. Syst. Sci. (30): 41-53 (1985). Web SearchBibTeXDownload
11On Characterization of Safety and Liveness Properties in Temporal Logic. A. Prasad Sistla. PODC 1985, 39-48. Web SearchBibTeX
1984
10Can Message Buffers Be Axiomatized in Linear Temporal Logic?. A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Albert R. Meyer. Information and Control (63): 88-112 (1984). Web SearchBibTeXDownload
9Deciding Full Branching Time Logic. E. Allen Emerson, A. Prasad Sistla. Information and Control (61): 175-201 (1984). Web SearchBibTeXDownload
8Distributed Algorithms for Ensuring Fair Interprocess Communications. A. Prasad Sistla. PODC 1984, 266-277. Web SearchBibTeX
7Deciding Branching Time Logic. E. Allen Emerson, A. Prasad Sistla. STOC 1984, 14-24. Web SearchBibTeXDownload
1983
6Reasoning about Infinite Computation Paths (Extended Abstract). Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla. FOCS 1983, 185-194. Cited by 232Web SearchBibTeXDownload
5A Multiprocess Network Logic with Temporal and Spatial Modalities. John H. Reif, A. Prasad Sistla. ICALP 1983, 629-639. Web SearchBibTeXDownload
4Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. E. Allen Emerson, A. Prasad Sistla. Logic of Programs 1983, 176-192. Web SearchBibTeXDownload
3Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla. POPL 1983, 117-126. Web SearchBibTeXDownload
1982
2Can Message Buffers be Characterized in Linear Temporal Logic?. A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Yuri Gurevich. PODC 1982, 148-156. Web SearchBibTeX
1The Complexity of Propositional Linear Temporal Logics. A. Prasad Sistla, Edmund M. Clarke. STOC 1982, 159-168. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research