A. Prasad Sistla

ORCID

Publication Activity (10 Years)

Years Active: 1982-2023
Publications (10 Years): 23

Top Venues

Publications

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CCS (2023)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CoRR (2023)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. CoRR (2021)
Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
Deciding accuracy of differential privacy schemes. Proc. ACM Program. Lang. 5 (POPL) (2021)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. LICS (2021)
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) (2020)
Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan
Deciding Differential Privacy for Programs with Finite Inputs and Outputs. LICS (2020)
Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan
Deciding Accuracy of Differential Privacy Schemes. CoRR (2020)
Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Decidable and expressive classes of probabilistic automata. J. Comput. Syst. Sci. 100 (2019)
Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan
Automated Methods for Checking Differential Privacy. CoRR (2019)
Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Model Checking Indistinguishability of Randomized Security Protocols. CAV (2) (2018)
A. Prasad Sistla
Model Checking Randomized Security Protocols (Invited Paper). FSTTCS (2018)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Approximating Probabilistic Automata by Regular Languages. CSL (2018)
Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Exact quantitative probabilistic model checking through rational search. FMCAD (2017)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. FoSSaCS (2017)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Verification of randomized security protocols. LICS (2017)
Stefan Kiefer, A. Prasad Sistla
Distinguishing Hidden Markov Chains. LICS (2016)
Andrey Yavolovsky, Milos Zefran, A. Prasad Sistla
Decision-Theoretic Monitoring of Cyber-Physical Systems. RV (2016)
A. Prasad Sistla, Ouri Wolfson, Bo Xu
Continuous nearest-neighbor queries with location uncertainty. VLDB J. 24 (1) (2015)
Yue Ben, A. Prasad Sistla
Model Checking Failure-Prone Open Systems Using Probabilistic Automata. ATVA (2015)
Stefan Kiefer, A. Prasad Sistla
Distinguishing Hidden Markov Chains. CoRR (2015)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben
Decidable and Expressive Classes of Probabilistic Automata. FoSSaCS (2015)
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) (2015)
Kalpana Gondi, A. Prasad Sistla, V. N. Venkatakrishnan
Minimizing lifetime of sensitive data in concurrent programs. CODASPY (2014)
Kalpana Gondi, A. Prasad Sistla, V. N. Venkatakrishnan
DEICS: Data Erasure in Concurrent Software. NordSec (2014)
A. Prasad Sistla, Milos Zefran, Yao Feng, Yue Ben
Timely monitoring of partially observable stochastic systems. HSCC (2014)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Probabilistic Automata with Isolated Cut-Points. MFCS (2013)
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)
Eduard C. Dragut, Hong Wang, Clement T. Yu, A. Prasad Sistla, Weiyi Meng
Polarity Consistency Checking for Sentiment Dictionaries. ACL (1) (2012)
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)
A. Prasad Sistla, Milos Zefran, Yao Feng
Monitorability of Stochastic Dynamical Systems. CAV (2011)
A. Prasad Sistla, Milos Zefran, Yao Feng
Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. RV (2011)
A. Prasad Sistla, Ouri Wolfson, Bo Xu, Naphtali Rishe
Answer-pairs and processing of continuous nearest-neighbor queries. FOMC (2011)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Power of Randomization in Automata on Infinite Strings Log. Methods Comput. Sci. 7 (3) (2011)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. VMCAI (2011)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Model Checking Concurrent Programs with Nondeterminism and Randomization. FSTTCS (2010)
Eduard C. Dragut, Clement T. Yu, A. Prasad Sistla, Weiyi Meng
Construction of a sentimental word dictionary. CIKM (2010)
Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan
Automatically Preparing Safe SQL Queries. Financial Cryptography (2010)
Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan
TAPS: automatically preparing safe SQL queries. CCS (2010)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
Power of Randomization in Automata on Infinite Strings. CONCUR (2009)
Joel Booth, A. Prasad Sistla, Ouri Wolfson, Isabel F. Cruz
A data model for trip planning in multimodal transportation systems. EDBT (2009)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
On the expressiveness and complexity of randomization in finite state monitors. J. ACM 56 (5) (2009)
Sergio Ilarri, Ouri Wolfson, Eduardo Mena, Arantza Illarramendi, A. Prasad Sistla
A query processor for prediction-based monitoring of data streams. EDBT (2009)
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) (2009)
Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. VMCAI (2009)
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske
CMV: automatic verification of complete mediation for java virtual machines. AsiaCCS (2008)
A. Prasad Sistla, Min Zhou
Analysis of dynamic policies. Inf. Comput. 206 (2-4) (2008)
Roberto Capizzi, Antonio Longo, V. N. Venkatakrishnan, A. Prasad Sistla
Preventing Information Leaks through Shadow Executions. ACSAC (2008)
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
On the Expressiveness and Complexity of Randomization in Finite State Monitors. LICS (2008)
A. Prasad Sistla, Abhigna R. Srinivas
Monitoring Temporal Properties of Stochastic Systems. VMCAI (2008)
Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha
Verification of Object Relational Maps. SEFM (2007)
A. Prasad Sistla, Xiaodong Wang, Min Zhou
properties using guarded quotient structures. Formal Methods Syst. Des. 31 (3) (2007)
Eduard C. Dragut, Wensheng Wu, A. Prasad Sistla, Clement T. Yu, Weiyi Meng
Merging Source Query Interfaces onWeb Databases. ICDE (2006)
A. Prasad Sistla, Min Zhou, Lenore D. Zuck
Monitoring Off-the-Shelf Components. VMCAI (2006)
Arun K. Eamani, A. Prasad Sistla
Language based policy analysis in a SPKI Trust Management System. J. Comput. Secur. 14 (4) (2006)
A. Prasad Sistla
Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases CoRR (2005)
A. Prasad Sistla, Ouri Wolfson, Bo Xu
Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks. SSTD (2005)
A. Prasad Sistla, Min Zhou, Xiaodong Wang
Model Checking of Systems Employing Commutative Functions. VMCAI (2005)
A. Prasad Sistla, Min Zhou
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. FORTE (2005)
Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck
Taming Interface Specifications. CONCUR (2005)
A. Prasad Sistla, Xiaodong Wang, Min Zhou
Checking Extended CTL properties Using Guarded Quotient Structures. SEFM (2004)
A. Prasad Sistla, Patrice Godefroid
Symmetry and reduced symmetry in model checking. ACM Trans. Program. Lang. Syst. 26 (4) (2004)
Ouri Wolfson, Bo Xu, A. Prasad Sistla
An Economic Model for Resource Exchange in Mobile Peer to Peer Networks. SSDBM (2004)
A. Prasad Sistla
Employing symmetry reductions in model checking. Comput. Lang. Syst. Struct. 30 (3-4) (2004)
A. Prasad Sistla
Symmetry Reductions in Model-Checking. VMCAI (2003)
A. Prasad Sistla, Tao Hu, Vikas Chowdhry
Similarity based retrieval from sequence databases using automata as queries. CIKM (2002)
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) (2002)
A. Prasad Sistla
Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases. FSTTCS (2002)
A. Prasad Sistla, Patrice Godefroid
Symmetry and Reduced Symmetry in Model Checking. CAV (2001)
E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla
On model checking for the µ-calculus and its fragments. Theor. Comput. Sci. 258 (1-2) (2001)
A. Prasad Sistla, Clement T. Yu
Reasoning about Qualitative Spatial Relationships. J. Autom. Reason. 25 (4) (2000)
A. Prasad Sistla
Formal methods in concurrent and distributed systems. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
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) (2000)
A. Prasad Sistla, Viktor Gyuris
Parameterized Verification of Linear Networks using Automata as Invariants. Formal Aspects Comput. 11 (4) (1999)
Ouri Wolfson, Liqin Jiang, A. Prasad Sistla, Sam Chamberlain, Naphtali Rishe, Minglin Deng
Databases for Tracking Mobile Units in Real Time. ICDT (1999)
Ouri Wolfson, A. Prasad Sistla, Sam Chamberlain, Yelena Yesha
Updating and Querying Databases that Track Mobile Units. Distributed Parallel Databases 7 (3) (1999)
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) (1999)
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)
Viktor Gyuris, A. Prasad Sistla
On-the-Fly Model Checking Under Fairness that Exploits Symmetry. Formal Methods Syst. Des. 15 (3) (1999)
Ouri Wolfson, A. Prasad Sistla, Bo Xu, Jutai Zhou, Sam Chamberlain
DOMINO: Databases fOr MovINg Objects tracking. SIGMOD Conference (1999)
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) (1998)
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) (1998)
King-Lup Liu, A. Prasad Sistla, Clement T. Yu, Naphtali Rishe
Query Processing in a Video Retrieval System. ICDE (1998)
Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla
Symmetry Reductions in Model Checking. CAV (1998)
A. Prasad Sistla, Ouri Wolfson, Yixiu Huang
Minimization of Communication Cost Through Caching in Mobile Environments. IEEE Trans. Parallel Distributed Syst. 9 (4) (1998)
A. Prasad Sistla
Parametrized Verification of Linear Networks Using Automata as Invariants. CAV (1997)
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) (1997)
A. Prasad Sistla, L. Miliades, Viktor Gyuris
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. CAV (1997)
A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao
Modeling and Querying Moving Objects. ICDE (1997)
A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao
Querying the Uncertain Position of Moving Objects. Temporal Databases, Dagstuhl (1997)
Viktor Gyuris, A. Prasad Sistla
On-the-Fly Model Checking Under Fairness That Exploits Symmetry. CAV (1997)
A. Prasad Sistla, Clement T. Yu, R. Venkatasubrahmanian
Similarity Based Retrieval of Videos. ICDE (1997)
Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul
Incremental verification of architecture specification language for real-time systems. WORDS (1997)
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)
A. Prasad Sistla
Hybrid and Incremental Modelchecking Techniques. ACM Comput. Surv. 28 (4es) (1996)
A. Prasad Sistla, Ouri Wolfson, Son Dao, Kailash Narayanan, Ramya Raj
An Architecture for Consumer-Oriented Online Database Services. RIDE-NDS (1996)
E. Allen Emerson, A. Prasad Sistla
Symmetry and Model Checking. Formal Methods Syst. Des. 9 (1/2) (1996)
A. Prasad Sistla, Clement T. Yu, Chengwen Liu, King-Lup Liu
Similarity based Retrieval of Pictures Using Indices on Spatial Relationships. VLDB (1995)
Minglin Deng, A. Prasad Sistla, Ouri Wolfson
Temporal Conditions with Retroactive and Proactive Updates. ARTDB (1995)
A. Prasad Sistla, Ouri Wolfson
Temporal Triggers in Active Databases. IEEE Trans. Knowl. Data Eng. 7 (3) (1995)

A. Prasad Sistla.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

A. Prasad Sistla