| 2025 | CCS | Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions. | Bishnu Bhusal, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2023 | CCS | Deciding Differential Privacy of Online Algorithms with Multiple Variables. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal |
| 2021 | LICS | On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2020 | LICS | Deciding Differential Privacy for Programs with Finite Inputs and Outputs. | Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan |
| 2018 | CAV | Model Checking Indistinguishability of Randomized Security Protocols. | Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2018 | CSL | Approximating Probabilistic Automata by Regular Languages. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | FMCAD | Exact quantitative probabilistic model checking through rational search. | Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | FOSSACS | Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2017 | LICS | Verification of randomized security protocols. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2016 | LICS | Distinguishing Hidden Markov Chains. | Stefan Kiefer, A. Prasad Sistla |
| 2016 | RV | Decision-Theoretic Monitoring of Cyber-Physical Systems. | Andrey Yavolovsky, Milos Zefran, A. Prasad Sistla |
| 2015 | ATVA | Model Checking Failure-Prone Open Systems Using Probabilistic Automata. | Yue Ben, A. Prasad Sistla |
| 2015 | FOSSACS | Decidable and Expressive Classes of Probabilistic Automata. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben |
| 2013 | MFCS | Probabilistic Automata with Isolated Cut-Points. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2013 | PLDI | WEBLOG: a declarative language for secure web development. | Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck |
| 2012 | ACL | Polarity Consistency Checking for Sentiment Dictionaries. | Eduard C. Dragut, Hong Wang, Clement T. Yu, A. Prasad Sistla, Weiyi Meng |
| 2011 | CAV | Monitorability of Stochastic Dynamical Systems. | A. Prasad Sistla, Milos Zefran, Yao Feng |
| 2011 | RV | Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. | A. Prasad Sistla, Milos Zefran, Yao Feng |
| 2011 | VMCAI | Probabilistic Bchi Automata with Non-extremal Acceptance Thresholds. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2010 | CCS | TAPS: automatically preparing safe SQL queries. | Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan |
| 2010 | CIKM | Construction of a sentimental word dictionary. | Eduard C. Dragut, Clement T. Yu, A. Prasad Sistla, Weiyi Meng |
| 2010 | FC | Automatically Preparing Safe SQL Queries. | Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan |
| 2009 | CONCUR | Power of Randomization in Automata on Infinite Strings. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2009 | EDBT | A data model for trip planning in multimodal transportation systems. | Joel Booth, A. Prasad Sistla, Ouri Wolfson, Isabel F. Cruz |
| 2009 | EDBT | A query processor for prediction-based monitoring of data streams. | Sergio Ilarri, Ouri Wolfson, Eduardo Mena, Arantza Illarramendi, A. Prasad Sistla |
| 2009 | VMCAI | Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. | Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla |
| 2008 | ACSAC | Preventing Information Leaks through Shadow Executions. | Roberto Capizzi, Antonio Longo, V. N. Venkatakrishnan, A. Prasad Sistla |
| 2008 | CCS | CMV: automatic verification of complete mediation for java virtual machines. | A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske |
| 2008 | LICS | On the Expressiveness and Complexity of Randomization in Finite State Monitors. | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
| 2008 | VMCAI | Monitoring Temporal Properties of Stochastic Systems. | A. Prasad Sistla, Abhigna R. Srinivas |
| 2007 | SEFM | Verification of Object Relational Maps. | Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha |
| 2006 | ICDE | Merging Source Query Interfaces onWeb Databases. | Eduard C. Dragut, Wensheng Wu, A. Prasad Sistla, Clement T. Yu, Weiyi Meng |
| 2006 | VMCAI | Monitoring Off-the-Shelf Components. | A. Prasad Sistla, Min Zhou, Lenore D. Zuck |
| 2005 | CONCUR | Taming Interface Specifications. | Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck |
| 2005 | FORTE | Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. | A. Prasad Sistla, Min Zhou |
| 2005 | VMCAI | Model Checking of Systems Employing Commutative Functions. | A. Prasad Sistla, Min Zhou, Xiaodong Wang |
| 2004 | SEFM | Checking Extended CTL properties Using Guarded Quotient Structures. | A. Prasad Sistla, Xiaodong Wang, Min Zhou |
| 2004 | SSDBM | An Economic Model for Resource Exchange in Mobile Peer to Peer Networks. | Ouri Wolfson, Bo Xu, A. Prasad Sistla |
| 2003 | VMCAI | Symmetry Reductions in Model-Checking. | A. Prasad Sistla |
| 2002 | CIKM | Similarity based retrieval from sequence databases using automata as queries. | A. Prasad Sistla, Tao Hu, Vikas Chowdhry |
| 2001 | CAV | Symmetry and Reduced Symmetry in Model Checking. | A. Prasad Sistla, Patrice Godefroid |
| 1999 | ICDT | Databases for Tracking Mobile Units in Real Time. | Ouri Wolfson, Liqin Jiang, A. Prasad Sistla, Sam Chamberlain, Naphtali Rishe, Minglin Deng |
| 1999 | SIGMOD | DOMINO: Databases fOr MovINg Objects tracking. | Ouri Wolfson, A. Prasad Sistla, Bo Xu, Jutai Zhou, Sam Chamberlain |
| 1998 | CAV | Symmetry Reductions in Model Checking. | Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla |
| 1998 | ICDE | Query Processing in a Video Retrieval System. | King-Lup Liu, A. Prasad Sistla, Clement T. Yu, Naphtali Rishe |
| 1997 | CAV | On-the-Fly Model Checking Under Fairness That Exploits Symmetry. | Viktor Gyuris, A. Prasad Sistla |
| 1997 | CAV | Parametrized Verification of Linear Networks Using Automata as Invariants. | A. Prasad Sistla |
| 1997 | CAV | SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. | A. Prasad Sistla, L. Miliades, Viktor Gyuris |
| 1997 | ICDE | Modeling and Querying Moving Objects. | A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao |
| 1997 | ICDE | Similarity Based Retrieval of Videos. | A. Prasad Sistla, Clement T. Yu, R. Venkatasubrahmanian |
| 1996 | CIKM | Performance 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 |
| 1995 | CAV | Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. | E. Allen Emerson, A. Prasad Sistla |
| 1995 | SIGMOD | Temporal Conditions and Integrity Constraints in Active Database Systems. | A. Prasad Sistla, Ouri Wolfson |
| 1995 | VLDB | Similarity based Retrieval of Pictures Using Indices on Spatial Relationships. | A. Prasad Sistla, Clement T. Yu, Chengwen Liu, King-Lup Liu |
| 1994 | CAV | Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. | Vivek G. Naik, A. Prasad Sistla |
| 1994 | SIGMOD | Data Replication for Mobile Computers. | Yixiu Huang, A. Prasad Sistla, Ouri Wolfson |
| 1994 | VLDB | Reasoning About Spatial Relationships in Picture Retrieval Systems. | A. Prasad Sistla, Clement T. Yu, R. Haddad |
| 1993 | CAV | On Model-Checking for Fragments of µ-Calculus. | E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla |
| 1993 | CAV | Symmetry and Model Checking. | E. Allen Emerson, A. Prasad Sistla |
| 1991 | CAV | Automatic Temporal Verification of Buffer Systems. | A. Prasad Sistla, Lenore D. Zuck |
| 1990 | CAV | Quantitative Temporal Reasoning. | E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan |
| 1989 | PODC | Efficient Distributed Recovery Using Message Logging. | A. Prasad Sistla, Jennifer L. Welch |
| 1987 | LICS | Reasoning with Many Processes | A. Prasad Sistla, Steven M. German |
| 1987 | LICS | On the Eventuality Operator in Temporal Logic | A. Prasad Sistla, Lenore D. Zuck |
| 1985 | ICALP | The Complementation Problem for Bchi Automata with Applications to Temporal Logic (Extended Abstract). | A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper |
| 1985 | PODC | On Characterization of Safety and Liveness Properties in Temporal Logic. | A. Prasad Sistla |
| 1984 | PODC | Distributed Algorithms for Ensuring Fair Interprocess Communications. | A. Prasad Sistla |
| 1984 | STOC | Deciding Branching Time Logic | E. Allen Emerson, A. Prasad Sistla |
| 1983 | FOCS | Reasoning about Infinite Computation Paths (Extended Abstract) | Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla |
| 1983 | ICALP | A Multiprocess Network Logic with Temporal and Spatial Modalities. | John H. Reif, A. Prasad Sistla |
| 1983 | POPL | Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. | Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla |
| 1982 | PODC | Can Message Buffers be Characterized in Linear Temporal Logic? | A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Yuri Gurevich |
| 1982 | STOC | The Complexity of Propositional Linear Temporal Logics | A. Prasad Sistla, Edmund M. Clarke |