A. Prasad Sistla

According to our database1, A. Prasad Sistla authored at least 120 papers between 1982 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2020
Deciding Differential Privacy for Programs with Finite Inputs and Outputs.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019
Decidable and expressive classes of probabilistic automata.
J. Comput. Syst. Sci., 2019

Automated Methods for Checking Differential Privacy.
CoRR, 2019

2018
Model Checking Parameterized Systems.
Proceedings of the Handbook of Model Checking., 2018

Model Checking Randomized Security Protocols (Invited Paper).
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

Approximating Probabilistic Automata by Regular Languages.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Model Checking Indistinguishability of Randomized Security Protocols.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Verification of randomized security protocols.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2017

Exact quantitative probabilistic model checking through rational search.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016
Decision-Theoretic Monitoring of Cyber-Physical Systems.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Distinguishing Hidden Markov Chains.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015
Continuous nearest-neighbor queries with location uncertainty.
VLDB J., 2015

Polarity Consistency Checking for Domain Independent Sentiment Dictionaries.
IEEE Trans. Knowl. Data Eng., 2015

Model Checking Failure-Prone Open Systems Using Probabilistic Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
DEICS: Data Erasure in Concurrent Software.
Proceedings of the Secure IT Systems - 19th Nordic Conference, NordSec 2014, Tromsø, 2014

Timely monitoring of partially observable stochastic systems.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Minimizing lifetime of sensitive data in concurrent programs.
Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014

Model Check What You Can, Runtime Verify the Rest.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013
WEBLOG: a declarative language for secure web development.
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

Probabilistic Automata with Isolated Cut-Points.
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

2012
SWIPE: eager erasure of sensitive data in large scale systems software.
Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012

Polarity Consistency Checking for Sentiment Dictionaries.
Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference, July 8-14, 2012, Jeju Island, Korea, 2012

2011
Power of Randomization in Automata on Infinite Strings
Log. Methods Comput. Sci., 2011

Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State.
Proceedings of the Runtime Verification - Second International Conference, 2011

Answer-pairs and processing of continuous nearest-neighbor queries.
Proceedings of the FOMC'11, 2011

Monitorability of Stochastic Dynamical Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Model Checking Concurrent Programs with Nondeterminism and Randomization.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Automatically Preparing Safe SQL Queries.
Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

Construction of a sentimental word dictionary.
Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010

TAPS: automatically preparing safe SQL queries.
Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009
Stop Word and Related Problems in Web Interface Integration.
Proc. VLDB Endow., 2009

On the expressiveness and complexity of randomization in finite state monitors.
J. ACM, 2009

Monitoring the Full Range of omega-Regular Properties of Stochastic Systems.
Proceedings of the Verification, 2009

A query processor for prediction-based monitoring of data streams.
Proceedings of the EDBT 2009, 2009

A data model for trip planning in multimodal transportation systems.
Proceedings of the EDBT 2009, 2009

2008
Analysis of dynamic policies.
Inf. Comput., 2008

Monitoring Temporal Properties of Stochastic Systems.
Proceedings of the Verification, 2008

CMV: automatic verification of complete mediation for java virtual machines.
Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Preventing Information Leaks through Shadow Executions.
Proceedings of the Twenty-Fourth Annual Computer Security Applications Conference, 2008

2007
Checking extended <i>CTL</i> properties using guarded quotient structures.
Formal Methods Syst. Des., 2007

Verification of Object Relational Maps.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2006
Language based policy analysis in a SPKI Trust Management System.
J. Comput. Secur., 2006

Monitoring Off-the-Shelf Components.
Proceedings of the Verification, 2006

Merging Source Query Interfaces onWeb Databases.
Proceedings of the 22nd International Conference on Data Engineering, 2006

2005
Model Checking of Systems Employing Commutative Functions.
Proceedings of the Verification, 2005

Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks.
Proceedings of the Advances in Spatial and Temporal Databases, 9th International Symposium, 2005

Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Taming Interface Specifications.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004
Symmetry and reduced symmetry in model checking.
ACM Trans. Program. Lang. Syst., 2004

Employing symmetry reductions in model checking.
Comput. Lang. Syst. Struct., 2004

An Economic Model for Resource Exchange in Mobile Peer to Peer Networks.
Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 2004

Checking Extended CTL properties Using Guarded Quotient Structures.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2003
Symmetry Reductions in Model-Checking.
Proceedings of the Verification, 2003

2002
Research Activities in Database Management and Information Retrieval at the University of Illinois at Chicago.
SIGMOD Rec., 2002

Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases.
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

Similarity based retrieval from sequence databases using automata as queries.
Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, 2002

2001
On model checking for the µ-calculus and its fragments.
Theor. Comput. Sci., 2001

2000
SMC: a symmetry-based model checker for verification of safety and liveness properties.
ACM Trans. Softw. Eng. Methodol., 2000

Formal methods in concurrent and distributed systems.
ACM SIGSOFT Software Engineering Notes, 2000

Reasoning about Qualitative Spatial Relationships.
J. Autom. Reasoning, 2000

1999
An Incremental Verification Algorithm for Real-Time Systems.
Int. J. Softw. Eng. Knowl. Eng., 1999

On-the-Fly Model Checking Under Fairness that Exploits Symmetry.
Formal Methods Syst. Des., 1999

Parameterized Verification of Linear Networks using Automata as Invariants.
Formal Asp. Comput., 1999

Updating and Querying Databases that Track Mobile Units.
Distributed Parallel Databases, 1999

DOMINO: Databases fOr MovINg Objects tracking.
Proceedings of the SIGMOD 1999, 1999

Tracking Moving Objects Using Database Technology in DOMINO.
Proceedings of the Next Generation Information Technologies and Systems, 1999

Databases for Tracking Mobile Units in Real Time.
Proceedings of the Database Theory, 1999

1998
Minimization of Communication Cost Through Caching in Mobile Environments.
IEEE Trans. Parallel Distrib. Syst., 1998

Towards a Theory of Cost Management for Digital Libraries and Electronic Commerce.
ACM Trans. Database Syst., 1998

Incremental Verification of Architecture Specification Language for Real-Time Systems.
Int. J. Softw. Eng. Knowl. Eng., 1998

Query Processing in a Video Retrieval System.
Proceedings of the Fourteenth International Conference on Data Engineering, 1998

Symmetry Reductions inModel Checking.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.
ACM Trans. Program. Lang. Syst., 1997

Similarity Based Retrieval of Videos.
Proceedings of the Thirteenth International Conference on Data Engineering, 1997

Modeling and Querying Moving Objects.
Proceedings of the Thirteenth International Conference on Data Engineering, 1997

Querying the Uncertain Position of Moving Objects.
Proceedings of the Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, 1997

SMC: A Symmetry Based Model Checker for Verification of Liveness Properties.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

Parametrized Verification of Linear Networks Using Automata as Invariants.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Symmetry and Model Checking.
Formal Methods Syst. Des., 1996

Hybrid and Incremental Modelchecking Techniques.
ACM Comput. Surv., 1996

An Architecture for Consumer-Oriented Online Database Services.
Proceedings of the Sixth International Workshop on Research Issues in Data Engineering, 1996

Performance Evaluation of G-tree and Its Application in Fuzzy Databases.
Proceedings of the CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12, 1996

Retrieval of Pictures Using Approximate Matching.
Proceedings of the Multimedia Database System: Issues and Research Direction, 1996

1995
Temporal Triggers in Active Databases.
IEEE Trans. Knowl. Data Eng., 1995

View Maintenance in Mobile Computing.
SIGMOD Rec., 1995

Similarity based Retrieval of Pictures Using Indices on Spatial Relationships.
Proceedings of the VLDB'95, 1995

Temporal Conditions and Integrity Constraints in Active Database Systems.
Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995

Temporal Conditions with Retroactive and Proactive Updates.
Proceedings of the Active and Real-Time Database Systems (ARTDB-95), 1995

1994
Safety, Liveness and Fairness in Temporal Logic.
Formal Asp. Comput., 1994

Reasoning About Spatial Relationships in Picture Retrieval Systems.
Proceedings of the VLDB'94, 1994

Data Replication for Mobile Computers.
Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993
Reasoning in a Restricted Temporal Logic
Inf. Comput., February, 1993

On Model-Checking for Fragments of µ-Calculus.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
Quantitative Temporal Reasoning.
Real-Time Systems, 1992

Reasoning about Systems with Many Processes.
J. ACM, 1992

Triggers on Database Histories.
IEEE Data Eng. Bull., 1992

1991
Proving Correctness with Respect to Nondeterministic Safety Specifications.
Inf. Process. Lett., 1991

Automatic Temporal Verification of Buffer Systems.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989
On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification.
Inf. Process. Lett., 1989

Efficient Distributed Recovery Using Message Logging.
Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

1987
The Complementation Problem for Büchi Automata with Appplications to Temporal Logic.
Theor. Comput. Sci., 1987

On the Eventuality Operator in Temporal Logic
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

Reasoning with Many Processes
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications.
ACM Trans. Program. Lang. Syst., 1986

1985
The Complexity of Propositional Linear Temporal Logics
J. ACM, July, 1985

A Multiprocess Network Logic with Temporal and Spatial Modalities.
J. Comput. Syst. Sci., 1985

On Characterization of Safety and Liveness Properties in Temporal Logic.
Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract).
Proceedings of the Automata, 1985

1984
Deciding Full Branching Time Logic
Inf. Control., June, 1984

Can Message Buffers Be Axiomatized in Linear Temporal Logic?
Inf. Control., 1984

Deciding Branching Time Logic
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

Distributed Algorithms for Ensuring Fair Interprocess Communications.
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

Using Temporal Logic for Automatic Verification of Finite State Systems.
Proceedings of the Logics and Models of Concurrent Systems, 1984

1983
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*.
Proceedings of the Logics of Programs, 1983

Reasoning about Infinite Computation Paths (Extended Abstract)
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983

1982
Can Message Buffers be Characterized in Linear Temporal Logic?
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982


  Loading...