Can Message Buffers be Characterized in Linear Temporal Logic? - A. Prasad Sistla; Edmund M. Clarke; Nissim Francez; Yuri Gurevich (PODC, 1982)

Reasoning about Infinite Computation Paths (Extended Abstract) - Pierre Wolper; Moshe Y. Vardi; A. Prasad Sistla (FOCS, 1983)

Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. - E. Allen Emerson; A. Prasad Sistla (Logic of Programs, 1983)

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. - Edmund M. Clarke; E. Allen Emerson; A. Prasad Sistla (POPL, 1983)

Using Temporal Logic for Automatic Verification of Finite State Systems. - Edmund M. Clarke; Michael C. Browne; E. Allen Emerson; A. Prasad Sistla (Logics and Models of Concurrent Systems, 1984)

Distributed Algorithms for Ensuring Fair Interprocess Communications. - A. Prasad Sistla (PODC, 1984)

Deciding Branching Time Logic - E. Allen Emerson; A. Prasad Sistla (STOC, 1984)

Can Message Buffers Be Axiomatized in Linear Temporal Logic? - A. Prasad Sistla; Edmund M. Clarke; Nissim Francez; Albert R. Meyer (Inf. Control., 1984)

Deciding Full Branching Time Logic - E. Allen Emerson; A. Prasad Sistla (Inf. Control., 1984)

The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). - A. Prasad Sistla; Moshe Y. Vardi; Pierre Wolper (ICALP, 1985)

On Characterization of Safety and Liveness Properties in Temporal Logic. - A. Prasad Sistla (PODC, 1985)

A Multiprocess Network Logic with Temporal and Spatial Modalities. - John H. Reif; A. Prasad Sistla (J. Comput. Syst. Sci., 1985)

The Complexity of Propositional Linear Temporal Logics - A. Prasad Sistla; Edmund M. Clarke (J. ACM, 1985)

Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. - Edmund M. Clarke; E. Allen Emerson; A. Prasad Sistla (ACM Trans. Program. Lang. Syst., 1986)

Reasoning with Many Processes - A. Prasad Sistla; Steven M. German (LICS, 1987)

On the Eventuality Operator in Temporal Logic - A. Prasad Sistla; Lenore D. Zuck (LICS, 1987)

The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. - A. Prasad Sistla; Moshe Y. Vardi; Pierre Wolper (Theor. Comput. Sci., 1987)

Efficient Distributed Recovery Using Message Logging. - A. Prasad Sistla; Jennifer L. Welch (PODC, 1989)

On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification. - A. Prasad Sistla (Inf. Process. Lett., 1989)

Automatic Temporal Verification of Buffer Systems. - A. Prasad Sistla; Lenore D. Zuck (CAV, 1991)

Proving Correctness with Respect to Nondeterministic Safety Specifications. - A. Prasad Sistla (Inf. Process. Lett., 1991)

Triggers on Database Histories. - A. Prasad Sistla; Ouri Wolfson (IEEE Data Eng. Bull., 1992)

Reasoning about Systems with Many Processes. - Steven M. German; A. Prasad Sistla (J. ACM, 1992)

Quantitative Temporal Reasoning. - E. Allen Emerson; Aloysius K. Mok; A. Prasad Sistla; Jai Srinivasan (Real Time Syst., 1992)

On Model-Checking for Fragments of µ-Calculus. - E. Allen Emerson; Charanjit S. Jutla; A. Prasad Sistla (CAV, 1993)

Reasoning in a Restricted Temporal Logic - A. Prasad Sistla; Lenore D. Zuck (Inf. Comput., 1993)

Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. - Vivek G. Naik; A. Prasad Sistla (CAV, 1994)

Data Replication for Mobile Computers. - Yixiu Huang; A. Prasad Sistla; Ouri Wolfson (SIGMOD Conference, 1994)

Reasoning About Spatial Relationships in Picture Retrieval Systems. - A. Prasad Sistla; Clement T. Yu; R. Haddad (VLDB, 1994)

Safety, Liveness and Fairness in Temporal Logic. - A. Prasad Sistla (Formal Aspects Comput., 1994)

Temporal Conditions with Retroactive and Proactive Updates. - Minglin Deng; A. Prasad Sistla; Ouri Wolfson (ARTDB, 1995)

Temporal Conditions and Integrity Constraints in Active Database Systems. - A. Prasad Sistla; Ouri Wolfson (SIGMOD Conference, 1995)

Similarity based Retrieval of Pictures Using Indices on Spatial Relationships. - A. Prasad Sistla; Clement T. Yu; Chengwen Liu; King-Lup Liu (VLDB, 1995)

View Maintenance in Mobile Computing. - Ouri Wolfson; A. Prasad Sistla; Son Dao; Kailash Narayanan; Ramya Raj (SIGMOD Rec., 1995)

Temporal Triggers in Active Databases. - A. Prasad Sistla; Ouri Wolfson (IEEE Trans. Knowl. Data Eng., 1995)

Retrieval of Pictures Using Approximate Matching. - A. Prasad Sistla; Clement T. Yu (Multimedia Database System: Issues and Research Direction, 1996)

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 (CIKM, 1996)

An Architecture for Consumer-Oriented Online Database Services. - A. Prasad Sistla; Ouri Wolfson; Son Dao; Kailash Narayanan; Ramya Raj (RIDE-NDS, 1996)

Hybrid and Incremental Modelchecking Techniques. - A. Prasad Sistla (ACM Comput. Surv., 1996)

Symmetry and Model Checking. - E. Allen Emerson; A. Prasad Sistla (Formal Methods Syst. Des., 1996)

Parametrized Verification of Linear Networks Using Automata as Invariants. - A. Prasad Sistla (CAV, 1997)

SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. - A. Prasad Sistla; L. Miliades; Viktor Gyuris (CAV, 1997)

Querying the Uncertain Position of Moving Objects. - A. Prasad Sistla; Ouri Wolfson; Sam Chamberlain; Son Dao (Temporal Databases, Dagstuhl, 1997)

Modeling and Querying Moving Objects. - A. Prasad Sistla; Ouri Wolfson; Sam Chamberlain; Son Dao (ICDE, 1997)

Similarity Based Retrieval of Videos. - A. Prasad Sistla; Clement T. Yu; R. Venkatasubrahmanian (ICDE, 1997)

Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. - E. Allen Emerson; A. Prasad Sistla (ACM Trans. Program. Lang. Syst., 1997)

Symmetry Reductions in Model Checking. - Edmund M. Clarke; E. Allen Emerson; Somesh Jha; A. Prasad Sistla (CAV, 1998)

Query Processing in a Video Retrieval System. - King-Lup Liu; A. Prasad Sistla; Clement T. Yu; Naphtali Rishe (ICDE, 1998)

Incremental Verification of Architecture Specification Language for Real-Time Systems. - Jeffrey J. P. Tsai; A. Prasad Sistla; Avinash Sahay; Raymond A. Paul (Int. J. Softw. Eng. Knowl. Eng., 1998)

Towards 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., 1998)

Minimization of Communication Cost Through Caching in Mobile Environments. - A. Prasad Sistla; Ouri Wolfson; Yixiu Huang (IEEE Trans. Parallel Distributed Syst., 1998)

Databases for Tracking Mobile Units in Real Time. - Ouri Wolfson; Liqin Jiang; A. Prasad Sistla; Sam Chamberlain; Naphtali Rishe; Minglin Deng (ICDT, 1999)

Tracking Moving Objects Using Database Technology in DOMINO. - Ouri Wolfson; A. Prasad Sistla; Bo Xu 001; Jutai Zhou; Sam Chamberlain; Yelena Yesha; Naphtali Rishe (NGITS, 1999)

DOMINO: Databases fOr MovINg Objects tracking. - Ouri Wolfson; A. Prasad Sistla; Bo Xu 001; Jutai Zhou; Sam Chamberlain (SIGMOD Conference, 1999)

Updating and Querying Databases that Track Mobile Units. - Ouri Wolfson; A. Prasad Sistla; Sam Chamberlain; Yelena Yesha (Distributed Parallel Databases, 1999)

Parameterized Verification of Linear Networks using Automata as Invariants. - A. Prasad Sistla; Viktor Gyuris (Formal Aspects Comput., 1999)

On-the-Fly Model Checking Under Fairness that Exploits Symmetry. - Viktor Gyuris; A. Prasad Sistla (Formal Methods Syst. Des., 1999)

An Incremental Verification Algorithm for Real-Time Systems. - Avinash Sahay; Jeffrey J. P. Tsai; A. Prasad Sistla (Int. J. Softw. Eng. Knowl. Eng., 1999)

Reasoning about Qualitative Spatial Relationships. - A. Prasad Sistla; Clement T. Yu (J. Autom. Reason., 2000)

Formal methods in concurrent and distributed systems. - A. Prasad Sistla (ACM SIGSOFT Softw. Eng. Notes, 2000)

SMC: 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., 2000)

On model checking for the µ-calculus and its fragments. - E. Allen Emerson; Charanjit S. Jutla; A. Prasad Sistla (Theor. Comput. Sci., 2001)

Similarity based retrieval from sequence databases using automata as queries. - A. Prasad Sistla; Tao Hu; Vikas Chowdhry (CIKM, 2002)

Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases. - A. Prasad Sistla (FSTTCS, 2002)

Research Activities in Database Management and Information Retrieval at the University of Illinois at Chicago. - Isabel F. Cruz; Ashfaq A. Khokhar; Bing Liu 001; A. Prasad Sistla; Ouri Wolfson; Clement T. Yu (SIGMOD Rec., 2002)

Symmetry Reductions in Model-Checking. - A. Prasad Sistla (VMCAI, 2003)

Checking Extended CTL properties Using Guarded Quotient Structures. - A. Prasad Sistla; Xiaodong Wang; Min Zhou (SEFM, 2004)

An Economic Model for Resource Exchange in Mobile Peer to Peer Networks. - Ouri Wolfson; Bo Xu 001; A. Prasad Sistla (SSDBM, 2004)

Employing symmetry reductions in model checking. - A. Prasad Sistla (Comput. Lang. Syst. Struct., 2004)

Symmetry and reduced symmetry in model checking. - A. Prasad Sistla; Patrice Godefroid (ACM Trans. Program. Lang. Syst., 2004)

Taming Interface Specifications. - Tiziana Margaria; A. Prasad Sistla; Bernhard Steffen; Lenore D. Zuck (CONCUR, 2005)

Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. - A. Prasad Sistla; Min Zhou (FORTE, 2005)

Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks. - A. Prasad Sistla; Ouri Wolfson; Bo Xu 001 (SSTD, 2005)

Model Checking of Systems Employing Commutative Functions. - A. Prasad Sistla; Min Zhou; Xiaodong Wang (VMCAI, 2005)

Merging Source Query Interfaces onWeb Databases. - Eduard C. Dragut; Wensheng Wu; A. Prasad Sistla; Clement T. Yu; Weiyi Meng (ICDE, 2006)

Monitoring Off-the-Shelf Components. - A. Prasad Sistla; Min Zhou; Lenore D. Zuck (VMCAI, 2006)

Language based policy analysis in a SPKI Trust Management System. - Arun K. Eamani; A. Prasad Sistla (J. Comput. Secur., 2006)

Verification of Object Relational Maps. - Krishna K. Mehra; Sriram K. Rajamani; A. Prasad Sistla; Sumit Kumar Jha 001 (SEFM, 2007)

Checking extended CTL properties using guarded quotient structures. - A. Prasad Sistla; Xiaodong Wang; Min Zhou (Formal Methods Syst. Des., 2007)

Preventing Information Leaks through Shadow Executions. - Roberto Capizzi; Antonio Longo; V. N. Venkatakrishnan; A. Prasad Sistla (ACSAC, 2008)

CMV: automatic verification of complete mediation for java virtual machines. - A. Prasad Sistla; V. N. Venkatakrishnan; Michelle Zhou 002; Hilary Branske (AsiaCCS, 2008)

Monitoring Temporal Properties of Stochastic Systems. - A. Prasad Sistla; Abhigna R. Srinivas (VMCAI, 2008)

Analysis of dynamic policies. - A. Prasad Sistla; Min Zhou (Inf. Comput., 2008)

A data model for trip planning in multimodal transportation systems. - Joel Booth; A. Prasad Sistla; Ouri Wolfson; Isabel F. Cruz (EDBT, 2009)

A query processor for prediction-based monitoring of data streams. - Sergio Ilarri; Ouri Wolfson; Eduardo Mena; Arantza Illarramendi; A. Prasad Sistla (EDBT, 2009)

Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. - Kalpana Gondi; Yogeshkumar Patel; A. Prasad Sistla (VMCAI, 2009)

On the expressiveness and complexity of randomization in finite state monitors. - Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (J. ACM, 2009)

Stop Word and Related Problems in Web Interface Integration. - Eduard Constantin Dragut; Fang Fang; A. Prasad Sistla; Clement T. Yu; Weiyi Meng (Proc. VLDB Endow., 2009)

TAPS: automatically preparing safe SQL queries. - Prithvi Bisht; A. Prasad Sistla; V. N. Venkatakrishnan (CCS, 2010)

Construction of a sentimental word dictionary. - Eduard C. Dragut; Clement T. Yu; A. Prasad Sistla; Weiyi Meng (CIKM, 2010)

Automatically Preparing Safe SQL Queries. - Prithvi Bisht; A. Prasad Sistla; V. N. Venkatakrishnan (Financial Cryptography, 2010)

Model Checking Concurrent Programs with Nondeterminism and Randomization. - Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (FSTTCS, 2010)

Monitorability of Stochastic Dynamical Systems. - A. Prasad Sistla; Milos Zefran; Yao Feng (CAV, 2011)

Answer-pairs and processing of continuous nearest-neighbor queries. - A. Prasad Sistla; Ouri Wolfson; Bo Xu 001; Naphtali Rishe (FOMC, 2011)

Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. - A. Prasad Sistla; Milos Zefran; Yao Feng (RV, 2011)

Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. - Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (VMCAI, 2011)

Power of Randomization in Automata on Infinite Strings - Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (Log. Methods Comput. Sci., 2011)

Polarity Consistency Checking for Sentiment Dictionaries. - Eduard C. Dragut; Hong Wang; Clement T. Yu; A. Prasad Sistla; Weiyi Meng (ACL (1), 2012)

SWIPE: eager erasure of sensitive data in large scale systems software. - Kalpana Gondi; Prithvi Bisht; Praveen Venkatachari; A. Prasad Sistla; V. N. Venkatakrishnan (CODASPY, 2012)

Probabilistic Automata with Isolated Cut-Points. - Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (MFCS, 2013)

WEBLOG: a declarative language for secure web development. - Timothy L. Hinrichs; Daniele Rossetti; Gabriele Petronella; V. N. Venkatakrishnan; A. Prasad Sistla; Lenore D. Zuck (PLAS, 2013)

Model Check What You Can, Runtime Verify the Rest. - Timothy L. Hinrichs; A. Prasad Sistla; Lenore D. Zuck (HOWARD-60, 2014)

Minimizing lifetime of sensitive data in concurrent programs. - Kalpana Gondi; A. Prasad Sistla; V. N. Venkatakrishnan (CODASPY, 2014)

Timely monitoring of partially observable stochastic systems. - A. Prasad Sistla; Milos Zefran; Yao Feng; Yue Ben (HSCC, 2014)

DEICS: Data Erasure in Concurrent Software. - Kalpana Gondi; A. Prasad Sistla; V. N. Venkatakrishnan (NordSec, 2014)

Model Checking Failure-Prone Open Systems Using Probabilistic Automata. - Yue Ben; A. Prasad Sistla (ATVA, 2015)

Polarity Consistency Checking for Domain Independent Sentiment Dictionaries. - Eduard C. Dragut; Hong Wang; A. Prasad Sistla; Clement T. Yu; Weiyi Meng (IEEE Trans. Knowl. Data Eng., 2015)

Continuous nearest-neighbor queries with location uncertainty. - A. Prasad Sistla; Ouri Wolfson; Bo Xu 001 (VLDB J., 2015)

Distinguishing Hidden Markov Chains. - Stefan Kiefer; A. Prasad Sistla (LICS, 2016)

Decision-Theoretic Monitoring of Cyber-Physical Systems. - Andrey Yavolovsky; Milos Zefran; A. Prasad Sistla (RV, 2016)

Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. - Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (FoSSaCS, 2017)

Verification of randomized security protocols. - Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (LICS, 2017)

Model Checking Indistinguishability of Randomized Security Protocols. - Matthew S. Bauer; Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (CAV (2), 2018)

Approximating Probabilistic Automata by Regular Languages. - Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (CSL, 2018)

Model Checking Randomized Security Protocols (Invited Paper). - A. Prasad Sistla (FSTTCS, 2018)

Model Checking Parameterized Systems. - Parosh Aziz Abdulla; A. Prasad Sistla; Muralidhar Talupur (Handbook of Model Checking, 2018)

Automated Methods for Checking Differential Privacy. - Gilles Barthe; Rohit Chadha; Vishal Jagannath; A. Prasad Sistla; Mahesh Viswanathan 001 (CoRR, 2019)

Decidable and expressive classes of probabilistic automata. - Yue Ben; Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (J. Comput. Syst. Sci., 2019)

Deciding Differential Privacy for Programs with Finite Inputs and Outputs. - Gilles Barthe; Rohit Chadha; Vishal Jagannath; A. Prasad Sistla; Mahesh Viswanathan 001 (LICS, 2020)

Exact quantitative probabilistic model checking through rational search. - Umang Mathur 001; Matthew S. Bauer; Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (Formal Methods Syst. Des., 2020)

On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. - Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (LICS, 2021)

Deciding accuracy of differential privacy schemes. - Gilles Barthe; Rohit Chadha; Paul Krogmeier; A. Prasad Sistla; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2021)

Deciding Differential Privacy of Online Algorithms with Multiple Variables. - Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001; Bishnu Bhusal (CCS, 2023)

Checking δ-Satisfiability of Reals with Integrals. - Cody Rivera; Bishnu Bhusal; Rohit Chadha; A. Prasad Sistla; Mahesh Viswanathan 001 (Proc. ACM Program. Lang., 2025)

Artifact for Paper Submission "Checking 𝛿-Satisfiability of Reals with Integrals". - Cody Rivera; Bishnu Bhusal; Rohit Chadha; Aravinda Prasad Sistla; Mahesh Viswanathan 001 (Zenodo, 2025)

Artifact for Paper Submission "Checking 𝛿-Satisfiability of Reals with Integrals". - Cody Rivera; Bishnu Bhusal; Rohit Chadha; Aravinda Prasad Sistla; Mahesh Viswanathan 001 (Zenodo, 2025)