A. Prasad Sistla
Orcid: 0009000583317912Affiliations:
 University of Illinois at Chicago, USA
According to our database^{1},
A. Prasad Sistla
authored at least 123 papers
between 1982 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org

on cs.uic.edu
On csauthors.net:
Bibliography
2023
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2021
Proc. ACM Program. Lang., 2021
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Formal Methods Syst. Des., 2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
2019
J. Comput. Syst. Sci., 2019
CoRR, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
Proceedings of the Computer Aided Verification  30th International Conference, 2018
2017
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
2016
Proceedings of the Runtime Verification  16th International Conference, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
2015
VLDB J., 2015
IEEE Trans. Knowl. Data Eng., 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
2014
Proceedings of the Secure IT Systems  19th Nordic Conference, NordSec 2014, Tromsø, 2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014
Proceedings of the HOWARD60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014
2013
Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013
Proceedings of the Mathematical Foundations of Computer Science 2013, 2013
2012
Proceedings of the Second ACM Conference on Data and Application Security and Privacy, 2012
Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference, July 814, 2012, Jeju Island, Korea, 2012
2011
Log. Methods Comput. Sci., 2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Proceedings of the Runtime Verification  Second International Conference, 2011
Proceedings of the FOMC'11, 2011
Proceedings of the Computer Aided Verification  23rd International Conference, 2011
2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010
Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010
Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010
2009
Proc. VLDB Endow., 2009
J. ACM, 2009
Proceedings of the Verification, 2009
Proceedings of the EDBT 2009, 2009
Proceedings of the EDBT 2009, 2009
2008
Inf. Comput., 2008
Proceedings of the Verification, 2008
Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008
Proceedings of the TwentyFourth Annual Computer Security Applications Conference, 2008
2007
Formal Methods Syst. Des., 2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
2006
J. Comput. Secur., 2006
Proceedings of the Verification, 2006
Proceedings of the 22nd International Conference on Data Engineering, 2006
2005
Proceedings of the Verification, 2005
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
Proceedings of the CONCUR 2005  Concurrency Theory, 16th International Conference, 2005
2004
ACM Trans. Program. Lang. Syst., 2004
Comput. Lang. Syst. Struct., 2004
Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
2003
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
Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, 2002
2001
Theor. Comput. Sci., 2001
2000
SMC: a symmetrybased model checker for verification of safety and liveness properties.
ACM Trans. Softw. Eng. Methodol., 2000
ACM SIGSOFT Softw. Eng. Notes, 2000
J. Autom. Reason., 2000
1999
Int. J. Softw. Eng. Knowl. Eng., 1999
Formal Methods Syst. Des., 1999
Formal Aspects Comput., 1999
Distributed Parallel Databases, 1999
Proceedings of the SIGMOD 1999, 1999
Proceedings of the Next Generation Information Technologies and Systems, 1999
Proceedings of the Database Theory, 1999
1998
IEEE Trans. Parallel Distributed 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 RealTime Systems.
Int. J. Softw. Eng. Knowl. Eng., 1998
Proceedings of the Fourteenth International Conference on Data Engineering, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
1997
Utilizing Symmetry when ModelChecking under Fairness Assumptions: An AutomataTheoretic Approach.
ACM Trans. Program. Lang. Syst., 1997
Proceedings of the Thirteenth International Conference on Data Engineering, 1997
Proceedings of the Thirteenth International Conference on Data Engineering, 1997
Proceedings of the Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1996
Formal Methods Syst. Des., 1996
ACM Comput. Surv., 1996
Proceedings of the Sixth International Workshop on Research Issues in Data Engineering, 1996
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
IEEE Trans. Knowl. Data Eng., 1995
SIGMOD Rec., 1995
Proceedings of the VLDB'95, 1995
Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995
Proceedings of the Active and RealTime Database Systems (ARTDB95), 1995
1994
Formal Aspects Comput., 1994
Proceedings of the VLDB'94, 1994
Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1993
Inf. Comput., February, 1993
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
1992
Real Time Syst., 1992
J. ACM, 1992
IEEE Data Eng. Bull., 1992
1991
Inf. Process. Lett., 1991
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
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 FiniteState Concurrent Systems Using Temporal Logic Specifications.
ACM Trans. Program. Lang. Syst., 1986
1985
J. ACM, July, 1985
J. Comput. Syst. Sci., 1985
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
Inf. Control., June, 1984
Inf. Control., 1984
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984
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
Proceedings of the Logics of Programs, 1983
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983
1982
Proceedings of the ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing, 1982