default search action
A. Prasad Sistla
Person information
- affiliation: University of Illinois at Chicago, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [c88]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal:
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CCS 2023: 1761-1775 - [i6]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal:
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CoRR abs/2309.06615 (2023) - 2021
- [j43]Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan:
Deciding accuracy of differential privacy schemes. Proc. ACM Program. Lang. 5(POPL): 1-30 (2021) - [c87]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. LICS 2021: 1-13 - [i5]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. CoRR abs/2104.14519 (2021) - 2020
- [j42]Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Exact quantitative probabilistic model checking through rational search. Formal Methods Syst. Des. 56(1): 90-126 (2020) - [c86]Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan:
Deciding Differential Privacy for Programs with Finite Inputs and Outputs. LICS 2020: 141-154 - [i4]Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan:
Deciding Accuracy of Differential Privacy Schemes. CoRR abs/2011.06404 (2020)
2010 – 2019
- 2019
- [j41]Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Decidable and expressive classes of probabilistic automata. J. Comput. Syst. Sci. 100: 70-95 (2019) - [i3]Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan:
Automated Methods for Checking Differential Privacy. CoRR abs/1910.04137 (2019) - 2018
- [c85]Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Model Checking Indistinguishability of Randomized Security Protocols. CAV (2) 2018: 117-135 - [c84]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Approximating Probabilistic Automata by Regular Languages. CSL 2018: 14:1-14:23 - [c83]A. Prasad Sistla:
Model Checking Randomized Security Protocols (Invited Paper). FSTTCS 2018: 2:1-2:1 - [p3]Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur:
Model Checking Parameterized Systems. Handbook of Model Checking 2018: 685-725 - 2017
- [c82]Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Exact quantitative probabilistic model checking through rational search. FMCAD 2017: 92-99 - [c81]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. FoSSaCS 2017: 231-247 - [c80]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Verification of randomized security protocols. LICS 2017: 1-12 - 2016
- [c79]Stefan Kiefer, A. Prasad Sistla:
Distinguishing Hidden Markov Chains. LICS 2016: 66-75 - [c78]Andrey Yavolovsky, Milos Zefran, A. Prasad Sistla:
Decision-Theoretic Monitoring of Cyber-Physical Systems. RV 2016: 404-419 - 2015
- [j40]Eduard C. Dragut, Hong Wang, A. Prasad Sistla, Clement T. Yu, Weiyi Meng:
Polarity Consistency Checking for Domain Independent Sentiment Dictionaries. IEEE Trans. Knowl. Data Eng. 27(3): 838-851 (2015) - [j39]A. Prasad Sistla, Ouri Wolfson, Bo Xu:
Continuous nearest-neighbor queries with location uncertainty. VLDB J. 24(1): 25-50 (2015) - [c77]Yue Ben, A. Prasad Sistla:
Model Checking Failure-Prone Open Systems Using Probabilistic Automata. ATVA 2015: 148-165 - [c76]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben:
Decidable and Expressive Classes of Probabilistic Automata. FoSSaCS 2015: 200-214 - [i2]Stefan Kiefer, A. Prasad Sistla:
Distinguishing Hidden Markov Chains. CoRR abs/1507.02314 (2015) - 2014
- [c75]Kalpana Gondi, A. Prasad Sistla, V. N. Venkatakrishnan:
Minimizing lifetime of sensitive data in concurrent programs. CODASPY 2014: 171-174 - [c74]A. Prasad Sistla, Milos Zefran, Yao Feng, Yue Ben:
Timely monitoring of partially observable stochastic systems. HSCC 2014: 61-70 - [c73]Kalpana Gondi, A. Prasad Sistla, V. N. Venkatakrishnan:
DEICS: Data Erasure in Concurrent Software. NordSec 2014: 42-58 - [p2]Timothy L. Hinrichs, A. Prasad Sistla, Lenore D. Zuck:
Model Check What You Can, Runtime Verify the Rest. HOWARD-60 2014: 234-244 - 2013
- [c72]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Probabilistic Automata with Isolated Cut-Points. MFCS 2013: 254-265 - [c71]Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck:
WEBLOG: a declarative language for secure web development. PLAS 2013: 59-70 - 2012
- [c70]Eduard C. Dragut, Hong Wang, Clement T. Yu, A. Prasad Sistla, Weiyi Meng:
Polarity Consistency Checking for Sentiment Dictionaries. ACL (1) 2012: 997-1005 - [c69]Kalpana Gondi, Prithvi Bisht, Praveen Venkatachari, A. Prasad Sistla, V. N. Venkatakrishnan:
SWIPE: eager erasure of sensitive data in large scale systems software. CODASPY 2012: 295-306 - 2011
- [j38]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Power of Randomization in Automata on Infinite Strings. Log. Methods Comput. Sci. 7(3) (2011) - [c68]A. Prasad Sistla, Milos Zefran, Yao Feng:
Monitorability of Stochastic Dynamical Systems. CAV 2011: 720-736 - [c67]A. Prasad Sistla, Ouri Wolfson, Bo Xu, Naphtali Rishe:
Answer-pairs and processing of continuous nearest-neighbor queries. FOMC 2011: 16-24 - [c66]A. Prasad Sistla, Milos Zefran, Yao Feng:
Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. RV 2011: 276-293 - [c65]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. VMCAI 2011: 103-117 - 2010
- [c64]Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan:
TAPS: automatically preparing safe SQL queries. CCS 2010: 645-647 - [c63]Eduard C. Dragut, Clement T. Yu, A. Prasad Sistla, Weiyi Meng:
Construction of a sentimental word dictionary. CIKM 2010: 1761-1764 - [c62]Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan:
Automatically Preparing Safe SQL Queries. Financial Cryptography 2010: 272-288 - [c61]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Model Checking Concurrent Programs with Nondeterminism and Randomization. FSTTCS 2010: 364-375
2000 – 2009
- 2009
- [j37]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On the expressiveness and complexity of randomization in finite state monitors. J. ACM 56(5): 26:1-26:44 (2009) - [j36]Eduard Constantin Dragut, Fang Fang, A. Prasad Sistla, Clement T. Yu, Weiyi Meng:
Stop Word and Related Problems in Web Interface Integration. Proc. VLDB Endow. 2(1): 349-360 (2009) - [c60]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Power of Randomization in Automata on Infinite Strings. CONCUR 2009: 229-243 - [c59]Sergio Ilarri, Ouri Wolfson, Eduardo Mena, Arantza Illarramendi, A. Prasad Sistla:
A query processor for prediction-based monitoring of data streams. EDBT 2009: 415-426 - [c58]Joel Booth, A. Prasad Sistla, Ouri Wolfson, Isabel F. Cruz:
A data model for trip planning in multimodal transportation systems. EDBT 2009: 994-1005 - [c57]Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla:
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. VMCAI 2009: 105-119 - 2008
- [j35]A. Prasad Sistla, Min Zhou:
Analysis of dynamic policies. Inf. Comput. 206(2-4): 185-212 (2008) - [c56]Roberto Capizzi, Antonio Longo, V. N. Venkatakrishnan, A. Prasad Sistla:
Preventing Information Leaks through Shadow Executions. ACSAC 2008: 322-331 - [c55]A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske:
CMV: automatic verification of complete mediation for java virtual machines. AsiaCCS 2008: 100-111 - [c54]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On the Expressiveness and Complexity of Randomization in Finite State Monitors. LICS 2008: 18-29 - [c53]A. Prasad Sistla, Abhigna R. Srinivas:
Monitoring Temporal Properties of Stochastic Systems. VMCAI 2008: 294-308 - 2007
- [j34]A. Prasad Sistla, Xiaodong Wang, Min Zhou:
Checking extended CTL properties using guarded quotient structures. Formal Methods Syst. Des. 31(3): 197-219 (2007) - [c52]Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha:
Verification of Object Relational Maps. SEFM 2007: 283-292 - 2006
- [j33]Arun K. Eamani, A. Prasad Sistla:
Language based policy analysis in a SPKI Trust Management System. J. Comput. Secur. 14(4): 327-357 (2006) - [c51]Eduard C. Dragut, Wensheng Wu, A. Prasad Sistla, Clement T. Yu, Weiyi Meng:
Merging Source Query Interfaces onWeb Databases. ICDE 2006: 46 - [c50]A. Prasad Sistla, Min Zhou, Lenore D. Zuck:
Monitoring Off-the-Shelf Components. VMCAI 2006: 222-236 - 2005
- [c49]Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck:
Taming Interface Specifications. CONCUR 2005: 548-561 - [c48]A. Prasad Sistla, Min Zhou:
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. FORTE 2005: 68-82 - [c47]A. Prasad Sistla, Ouri Wolfson, Bo Xu:
Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks. SSTD 2005: 346-363 - [c46]A. Prasad Sistla, Min Zhou, Xiaodong Wang:
Model Checking of Systems Employing Commutative Functions. VMCAI 2005: 250-266 - [i1]A. Prasad Sistla:
Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases. CoRR abs/cs/0501006 (2005) - 2004
- [j32]A. Prasad Sistla:
Employing symmetry reductions in model checking. Comput. Lang. Syst. Struct. 30(3-4): 99-137 (2004) - [j31]A. Prasad Sistla, Patrice Godefroid:
Symmetry and reduced symmetry in model checking. ACM Trans. Program. Lang. Syst. 26(4): 702-734 (2004) - [c45]A. Prasad Sistla, Xiaodong Wang, Min Zhou:
Checking Extended CTL properties Using Guarded Quotient Structures. SEFM 2004: 87-94 - [c44]Ouri Wolfson, Bo Xu, A. Prasad Sistla:
An Economic Model for Resource Exchange in Mobile Peer to Peer Networks. SSDBM 2004: 235-244 - 2003
- [c43]A. Prasad Sistla:
Symmetry Reductions in Model-Checking. VMCAI 2003: 25 - 2002
- [j30]Isabel F. Cruz, Ashfaq A. Khokhar, Bing Liu, A. Prasad Sistla, Ouri Wolfson, Clement T. Yu:
Research Activities in Database Management and Information Retrieval at the University of Illinois at Chicago. SIGMOD Rec. 31(3): 103-108 (2002) - [c42]A. Prasad Sistla, Tao Hu, Vikas Chowdhry:
Similarity based retrieval from sequence databases using automata as queries. CIKM 2002: 237-244 - [c41]A. Prasad Sistla:
Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases. FSTTCS 2002: 324-335 - 2001
- [j29]E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla:
On model checking for the µ-calculus and its fragments. Theor. Comput. Sci. 258(1-2): 491-522 (2001) - [c40]A. Prasad Sistla, Patrice Godefroid:
Symmetry and Reduced Symmetry in Model Checking. CAV 2001: 91-103 - 2000
- [j28]A. Prasad Sistla, Clement T. Yu:
Reasoning about Qualitative Spatial Relationships. J. Autom. Reason. 25(4): 291-328 (2000) - [j27]A. Prasad Sistla:
Formal methods in concurrent and distributed systems. ACM SIGSOFT Softw. Eng. Notes 25(1): 84 (2000) - [j26]A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson:
SMC: a symmetry-based model checker for verification of safety and liveness properties. ACM Trans. Softw. Eng. Methodol. 9(2): 133-166 (2000) - [e1]E. Allen Emerson, A. Prasad Sistla:
Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings. Lecture Notes in Computer Science 1855, Springer 2000, ISBN 3-540-67770-4 [contents]
1990 – 1999
- 1999
- [j25]Ouri Wolfson, A. Prasad Sistla, Sam Chamberlain, Yelena Yesha:
Updating and Querying Databases that Track Mobile Units. Distributed Parallel Databases 7(3): 257-387 (1999) - [j24]A. Prasad Sistla, Viktor Gyuris:
Parameterized Verification of Linear Networks using Automata as Invariants. Formal Aspects Comput. 11(4): 402-425 (1999) - [j23]Viktor Gyuris, A. Prasad Sistla:
On-the-Fly Model Checking Under Fairness that Exploits Symmetry. Formal Methods Syst. Des. 15(3): 217-238 (1999) - [j22]Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla:
An Incremental Verification Algorithm for Real-Time Systems. Int. J. Softw. Eng. Knowl. Eng. 9(2): 203-216 (1999) - [c39]Ouri Wolfson, Liqin Jiang, A. Prasad Sistla, Sam Chamberlain, Naphtali Rishe, Minglin Deng:
Databases for Tracking Mobile Units in Real Time. ICDT 1999: 169-186 - [c38]Ouri Wolfson, A. Prasad Sistla, Bo Xu, Jutai Zhou, Sam Chamberlain, Yelena Yesha, Naphtali Rishe:
Tracking Moving Objects Using Database Technology in DOMINO. NGITS 1999: 112-119 - [c37]Ouri Wolfson, A. Prasad Sistla, Bo Xu, Jutai Zhou, Sam Chamberlain:
DOMINO: Databases fOr MovINg Objects tracking. SIGMOD Conference 1999: 547-549 - 1998
- [j21]Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul:
Incremental Verification of Architecture Specification Language for Real-Time Systems. Int. J. Softw. Eng. Knowl. Eng. 8(3): 347-360 (1998) - [j20]A. Prasad Sistla, Ouri Wolfson, Yelena Yesha, Robert H. Sloan:
Towards a Theory of Cost Management for Digital Libraries and Electronic Commerce. ACM Trans. Database Syst. 23(4): 411-452 (1998) - [j19]A. Prasad Sistla, Ouri Wolfson, Yixiu Huang:
Minimization of Communication Cost Through Caching in Mobile Environments. IEEE Trans. Parallel Distributed Syst. 9(4): 378-390 (1998) - [c36]Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla:
Symmetry Reductions in Model Checking. CAV 1998: 147-158 - [c35]King-Lup Liu, A. Prasad Sistla, Clement T. Yu, Naphtali Rishe:
Query Processing in a Video Retrieval System. ICDE 1998: 276-283 - 1997
- [j18]E. Allen Emerson, A. Prasad Sistla:
Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. ACM Trans. Program. Lang. Syst. 19(4): 617-638 (1997) - [c34]Viktor Gyuris, A. Prasad Sistla:
On-the-Fly Model Checking Under Fairness That Exploits Symmetry. CAV 1997: 232-243 - [c33]A. Prasad Sistla:
Parametrized Verification of Linear Networks Using Automata as Invariants. CAV 1997: 412-423 - [c32]A. Prasad Sistla, L. Miliades, Viktor Gyuris:
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. CAV 1997: 464-467 - [c31]A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao:
Querying the Uncertain Position of Moving Objects. Temporal Databases, Dagstuhl 1997: 310-337 - [c30]A. Prasad Sistla, Clement T. Yu, R. Venkatasubrahmanian:
Similarity Based Retrieval of Videos. ICDE 1997: 181-190 - [c29]A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao:
Modeling and Querying Moving Objects. ICDE 1997: 422-432 - [c28]Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul:
Incremental verification of architecture specification language for real-time systems. WORDS 1997: 215-222 - 1996
- [j17]A. Prasad Sistla:
Hybrid and Incremental Modelchecking Techniques. ACM Comput. Surv. 28(4es): 125 (1996) - [j16]E. Allen Emerson, A. Prasad Sistla:
Symmetry and Model Checking. Formal Methods Syst. Des. 9(1/2): 105-131 (1996) - [c27]Chengwen Liu, Aris M. Ouksel, A. Prasad Sistla, Jing Wu, Clement T. Yu, Naphtali Rishe:
Performance Evaluation of G-tree and Its Application in Fuzzy Databases. CIKM 1996: 235-242 - [c26]A. Prasad Sistla, Ouri Wolfson, Son Dao, Kailash Narayanan, Ramya Raj:
An Architecture for Consumer-Oriented Online Database Services. RIDE-NDS 1996: 50-60 - [p1]A. Prasad Sistla, Clement T. Yu:
Retrieval of Pictures Using Approximate Matching. Multimedia Database System: Issues and Research Direction 1996: 101-112 - 1995
- [j15]Ouri Wolfson, A. Prasad Sistla, Son Dao, Kailash Narayanan, Ramya Raj:
View Maintenance in Mobile Computing. SIGMOD Rec. 24(4): 22-27 (1995) - [j14]A. Prasad Sistla, Ouri Wolfson:
Temporal Triggers in Active Databases. IEEE Trans. Knowl. Data Eng. 7(3): 471-486 (1995) - [c25]Minglin Deng, A. Prasad Sistla, Ouri Wolfson:
Temporal Conditions with Retroactive and Proactive Updates. ARTDB 1995: 122-141 - [c24]E. Allen Emerson, A. Prasad Sistla:
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. CAV 1995: 309-324 - [c23]A. Prasad Sistla, Ouri Wolfson:
Temporal Conditions and Integrity Constraints in Active Database Systems. SIGMOD Conference 1995: 269-280 - [c22]A. Prasad Sistla, Clement T. Yu, Chengwen Liu, King-Lup Liu:
Similarity based Retrieval of Pictures Using Indices on Spatial Relationships. VLDB 1995: 619-629 - 1994
- [j13]A. Prasad Sistla:
Safety, Liveness and Fairness in Temporal Logic. Formal Aspects Comput. 6(5): 495-512 (1994) - [c21]Vivek G. Naik, A. Prasad Sistla:
Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. CAV 1994: 194-206 - [c20]Yixiu Huang, A. Prasad Sistla, Ouri Wolfson:
Data Replication for Mobile Computers. SIGMOD Conference 1994: 13-24 - [c19]A. Prasad Sistla, Clement T. Yu, R. Haddad:
Reasoning About Spatial Relationships in Picture Retrieval Systems. VLDB 1994: 570-581 - 1993
- [j12]A. Prasad Sistla, Lenore D. Zuck:
Reasoning in a Restricted Temporal Logic. Inf. Comput. 102(2): 167-195 (1993) - [c18]E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla:
On Model-Checking for Fragments of µ-Calculus. CAV 1993: 385-396 - [c17]E. Allen Emerson, A. Prasad Sistla:
Symmetry and Model Checking. CAV 1993: 463-478 - 1992
- [j11]A. Prasad Sistla, Ouri Wolfson:
Triggers on Database Histories. IEEE Data Eng. Bull. 15(1-4): 48-51 (1992) - [j10]Steven M. German, A. Prasad Sistla:
Reasoning about Systems with Many Processes. J. ACM 39(3): 675-735 (1992) - [j9]E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan:
Quantitative Temporal Reasoning. Real Time Syst. 4(4): 331-352 (1992) - 1991
- [j8]A. Prasad Sistla:
Proving Correctness with Respect to Nondeterministic Safety Specifications. Inf. Process. Lett. 39(1): 45-49 (1991) - [c16]A. Prasad Sistla, Lenore D. Zuck:
Automatic Temporal Verification of Buffer Systems. CAV 1991: 59-69 - 1990
- [c15]