default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDA. Prasad Sistla
Person information
- affiliation: University of Illinois at Chicago, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c88]Rohit Chadha
, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal:
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CCS 2023: 1761-1775- [i6]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Bishnu Bhusal:
Deciding Differential Privacy of Online Algorithms with Multiple Variables. CoRR abs/2309.06615 (2023) - 2021
- [j43]Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan:
Deciding accuracy of differential privacy schemes. Proc. ACM Program. Lang. 5(POPL): 1-30 (2021) - [c87]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. LICS 2021: 1-13 - [i5]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs. CoRR abs/2104.14519 (2021) - 2020
- [j42]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): 90-126 (2020) - [c86]Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan:
Deciding Differential Privacy for Programs with Finite Inputs and Outputs. LICS 2020: 141-154 - [i4]Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan:
Deciding Accuracy of Differential Privacy Schemes. CoRR abs/2011.06404 (2020)
2010 – 2019
- 2019
- [j41]Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Decidable and expressive classes of probabilistic automata. J. Comput. Syst. Sci. 100: 70-95 (2019) - [i3]Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan:
Automated Methods for Checking Differential Privacy. CoRR abs/1910.04137 (2019) - 2018
- [c85]Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Model Checking Indistinguishability of Randomized Security Protocols. CAV (2) 2018: 117-135 - [c84]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Approximating Probabilistic Automata by Regular Languages. CSL 2018: 14:1-14:23 - [c83]A. Prasad Sistla:
Model Checking Randomized Security Protocols (Invited Paper). FSTTCS 2018: 2:1-2:1 - [p3]Parosh Aziz Abdulla, A. Prasad Sistla, Muralidhar Talupur:
Model Checking Parameterized Systems. Handbook of Model Checking 2018: 685-725 - 2017
- [c82]Matthew S. Bauer, Umang Mathur, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Exact quantitative probabilistic model checking through rational search. FMCAD 2017: 92-99 - [c81]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata. FoSSaCS 2017: 231-247 - [c80]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Verification of randomized security protocols. LICS 2017: 1-12 - 2016
- [c79]Stefan Kiefer, A. Prasad Sistla:
Distinguishing Hidden Markov Chains. LICS 2016: 66-75 - [c78]Andrey Yavolovsky, Milos Zefran, A. Prasad Sistla:
Decision-Theoretic Monitoring of Cyber-Physical Systems. RV 2016: 404-419 - 2015
- [j40]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): 838-851 (2015) - [j39]A. Prasad Sistla, Ouri Wolfson, Bo Xu:
Continuous nearest-neighbor queries with location uncertainty. VLDB J. 24(1): 25-50 (2015) - [c77]Yue Ben, A. Prasad Sistla:
Model Checking Failure-Prone Open Systems Using Probabilistic Automata. ATVA 2015: 148-165 - [c76]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Yue Ben:
Decidable and Expressive Classes of Probabilistic Automata. FoSSaCS 2015: 200-214 - [i2]Stefan Kiefer, A. Prasad Sistla:
Distinguishing Hidden Markov Chains. CoRR abs/1507.02314 (2015) - 2014
- [c75]Kalpana Gondi, A. Prasad Sistla, V. N. Venkatakrishnan:
Minimizing lifetime of sensitive data in concurrent programs. CODASPY 2014: 171-174 - [c74]A. Prasad Sistla, Milos Zefran, Yao Feng, Yue Ben:
Timely monitoring of partially observable stochastic systems. HSCC 2014: 61-70 - [c73]Kalpana Gondi, A. Prasad Sistla, V. N. Venkatakrishnan:
DEICS: Data Erasure in Concurrent Software. NordSec 2014: 42-58 - [p2]Timothy L. Hinrichs, A. Prasad Sistla, Lenore D. Zuck:
Model Check What You Can, Runtime Verify the Rest. HOWARD-60 2014: 234-244 - 2013
- [c72]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Probabilistic Automata with Isolated Cut-Points. MFCS 2013: 254-265 - [c71]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: 59-70 - 2012
- [c70]Eduard C. Dragut, Hong Wang, Clement T. Yu, A. Prasad Sistla, Weiyi Meng:
Polarity Consistency Checking for Sentiment Dictionaries. ACL (1) 2012: 997-1005 - [c69]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: 295-306 - 2011
- [j38]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Power of Randomization in Automata on Infinite Strings. Log. Methods Comput. Sci. 7(3) (2011) - [c68]A. Prasad Sistla, Milos Zefran, Yao Feng:
Monitorability of Stochastic Dynamical Systems. CAV 2011: 720-736 - [c67]A. Prasad Sistla, Ouri Wolfson, Bo Xu, Naphtali Rishe:
Answer-pairs and processing of continuous nearest-neighbor queries. FOMC 2011: 16-24 - [c66]A. Prasad Sistla, Milos Zefran, Yao Feng:
Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. RV 2011: 276-293 - [c65]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. VMCAI 2011: 103-117 - 2010
- [c64]Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan:
TAPS: automatically preparing safe SQL queries. CCS 2010: 645-647 - [c63]Eduard C. Dragut, Clement T. Yu, A. Prasad Sistla, Weiyi Meng:
Construction of a sentimental word dictionary. CIKM 2010: 1761-1764 - [c62]Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan:
Automatically Preparing Safe SQL Queries. Financial Cryptography 2010: 272-288 - [c61]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Model Checking Concurrent Programs with Nondeterminism and Randomization. FSTTCS 2010: 364-375
2000 – 2009
- 2009
- [j37]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On the expressiveness and complexity of randomization in finite state monitors. J. ACM 56(5): 26:1-26:44 (2009) - [j36]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): 349-360 (2009) - [c60]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Power of Randomization in Automata on Infinite Strings. CONCUR 2009: 229-243 - [c59]Sergio Ilarri, Ouri Wolfson, Eduardo Mena, Arantza Illarramendi, A. Prasad Sistla:
A query processor for prediction-based monitoring of data streams. EDBT 2009: 415-426 - [c58]Joel Booth, A. Prasad Sistla, Ouri Wolfson, Isabel F. Cruz:
A data model for trip planning in multimodal transportation systems. EDBT 2009: 994-1005 - [c57]Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla:
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. VMCAI 2009: 105-119 - 2008
- [j35]A. Prasad Sistla, Min Zhou:
Analysis of dynamic policies. Inf. Comput. 206(2-4): 185-212 (2008) - [c56]Roberto Capizzi, Antonio Longo, V. N. Venkatakrishnan, A. Prasad Sistla:
Preventing Information Leaks through Shadow Executions. ACSAC 2008: 322-331 - [c55]A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske:
CMV: automatic verification of complete mediation for java virtual machines. AsiaCCS 2008: 100-111 - [c54]Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
On the Expressiveness and Complexity of Randomization in Finite State Monitors. LICS 2008: 18-29 - [c53]A. Prasad Sistla, Abhigna R. Srinivas:
Monitoring Temporal Properties of Stochastic Systems. VMCAI 2008: 294-308 - 2007
- [j34]A. Prasad Sistla, Xiaodong Wang, Min Zhou:
Checking extended CTL properties using guarded quotient structures. Formal Methods Syst. Des. 31(3): 197-219 (2007) - [c52]Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha:
Verification of Object Relational Maps. SEFM 2007: 283-292 - 2006
- [j33]Arun K. Eamani, A. Prasad Sistla:
Language based policy analysis in a SPKI Trust Management System. J. Comput. Secur. 14(4): 327-357 (2006) - [c51]Eduard C. Dragut, Wensheng Wu, A. Prasad Sistla, Clement T. Yu, Weiyi Meng:
Merging Source Query Interfaces onWeb Databases. ICDE 2006: 46 - [c50]A. Prasad Sistla, Min Zhou, Lenore D. Zuck:
Monitoring Off-the-Shelf Components. VMCAI 2006: 222-236 - 2005
- [c49]Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck:
Taming Interface Specifications. CONCUR 2005: 548-561 - [c48]A. Prasad Sistla, Min Zhou:
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. FORTE 2005: 68-82 - [c47]A. Prasad Sistla, Ouri Wolfson, Bo Xu:
Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks. SSTD 2005: 346-363 - [c46]A. Prasad Sistla, Min Zhou, Xiaodong Wang:
Model Checking of Systems Employing Commutative Functions. VMCAI 2005: 250-266 - [i1]A. Prasad Sistla:
Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases. CoRR abs/cs/0501006 (2005) - 2004
- [j32]A. Prasad Sistla:
Employing symmetry reductions in model checking. Comput. Lang. Syst. Struct. 30(3-4): 99-137 (2004) - [j31]A. Prasad Sistla, Patrice Godefroid:
Symmetry and reduced symmetry in model checking. ACM Trans. Program. Lang. Syst. 26(4): 702-734 (2004) - [c45]A. Prasad Sistla, Xiaodong Wang, Min Zhou:
Checking Extended CTL properties Using Guarded Quotient Structures. SEFM 2004: 87-94 - [c44]Ouri Wolfson, Bo Xu, A. Prasad Sistla:
An Economic Model for Resource Exchange in Mobile Peer to Peer Networks. SSDBM 2004: 235-244 - 2003
- [c43]A. Prasad Sistla:
Symmetry Reductions in Model-Checking. VMCAI 2003: 25 - 2002
- [j30]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): 103-108 (2002) - [c42]A. Prasad Sistla, Tao Hu, Vikas Chowdhry:
Similarity based retrieval from sequence databases using automata as queries. CIKM 2002: 237-244 - [c41]A. Prasad Sistla:
Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases. FSTTCS 2002: 324-335 - 2001
- [j29]E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla:
On model checking for the µ-calculus and its fragments. Theor. Comput. Sci. 258(1-2): 491-522 (2001) - [c40]A. Prasad Sistla, Patrice Godefroid:
Symmetry and Reduced Symmetry in Model Checking. CAV 2001: 91-103 - 2000
- [j28]A. Prasad Sistla, Clement T. Yu:
Reasoning about Qualitative Spatial Relationships. J. Autom. Reason. 25(4): 291-328 (2000) - [j27]A. Prasad Sistla:
Formal methods in concurrent and distributed systems. ACM SIGSOFT Softw. Eng. Notes 25(1): 84 (2000) - [j26]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): 133-166 (2000) - [e1]E. Allen Emerson, A. Prasad Sistla:
Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings. Lecture Notes in Computer Science 1855, Springer 2000, ISBN 3-540-67770-4 [contents]
1990 – 1999
- 1999
- [j25]Ouri Wolfson, A. Prasad Sistla, Sam Chamberlain, Yelena Yesha:
Updating and Querying Databases that Track Mobile Units. Distributed Parallel Databases 7(3): 257-387 (1999) - [j24]A. Prasad Sistla, Viktor Gyuris:
Parameterized Verification of Linear Networks using Automata as Invariants. Formal Aspects Comput. 11(4): 402-425 (1999) - [j23]Viktor Gyuris, A. Prasad Sistla:
On-the-Fly Model Checking Under Fairness that Exploits Symmetry. Formal Methods Syst. Des. 15(3): 217-238 (1999) - [j22]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): 203-216 (1999) - [c39]Ouri Wolfson, Liqin Jiang, A. Prasad Sistla, Sam Chamberlain, Naphtali Rishe, Minglin Deng:
Databases for Tracking Mobile Units in Real Time. ICDT 1999: 169-186 - [c38]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: 112-119 - [c37]Ouri Wolfson, A. Prasad Sistla, Bo Xu, Jutai Zhou, Sam Chamberlain:
DOMINO: Databases fOr MovINg Objects tracking. SIGMOD Conference 1999: 547-549 - 1998
- [j21]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): 347-360 (1998) - [j20]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): 411-452 (1998) - [j19]A. Prasad Sistla, Ouri Wolfson, Yixiu Huang:
Minimization of Communication Cost Through Caching in Mobile Environments. IEEE Trans. Parallel Distributed Syst. 9(4): 378-390 (1998) - [c36]Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla:
Symmetry Reductions in Model Checking. CAV 1998: 147-158 - [c35]King-Lup Liu, A. Prasad Sistla, Clement T. Yu, Naphtali Rishe:
Query Processing in a Video Retrieval System. ICDE 1998: 276-283 - 1997
- [j18]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): 617-638 (1997) - [c34]Viktor Gyuris, A. Prasad Sistla:
On-the-Fly Model Checking Under Fairness That Exploits Symmetry. CAV 1997: 232-243 - [c33]A. Prasad Sistla:
Parametrized Verification of Linear Networks Using Automata as Invariants. CAV 1997: 412-423 - [c32]A. Prasad Sistla, L. Miliades, Viktor Gyuris:
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. CAV 1997: 464-467 - [c31]A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao:
Querying the Uncertain Position of Moving Objects. Temporal Databases, Dagstuhl 1997: 310-337 - [c30]A. Prasad Sistla, Clement T. Yu, R. Venkatasubrahmanian:
Similarity Based Retrieval of Videos. ICDE 1997: 181-190 - [c29]A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao:
Modeling and Querying Moving Objects. ICDE 1997: 422-432 - [c28]Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul:
Incremental verification of architecture specification language for real-time systems. WORDS 1997: 215-222 - 1996
- [j17]A. Prasad Sistla:
Hybrid and Incremental Modelchecking Techniques. ACM Comput. Surv. 28(4es): 125 (1996) - [j16]E. Allen Emerson, A. Prasad Sistla:
Symmetry and Model Checking. Formal Methods Syst. Des. 9(1/2): 105-131 (1996) - [c27]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: 235-242 - [c26]A. Prasad Sistla, Ouri Wolfson, Son Dao, Kailash Narayanan, Ramya Raj:
An Architecture for Consumer-Oriented Online Database Services. RIDE-NDS 1996: 50-60 - [p1]A. Prasad Sistla, Clement T. Yu:
Retrieval of Pictures Using Approximate Matching. Multimedia Database System: Issues and Research Direction 1996: 101-112 - 1995
- [j15]Ouri Wolfson, A. Prasad Sistla, Son Dao, Kailash Narayanan, Ramya Raj:
View Maintenance in Mobile Computing. SIGMOD Rec. 24(4): 22-27 (1995) - [j14]A. Prasad Sistla, Ouri Wolfson:
Temporal Triggers in Active Databases. IEEE Trans. Knowl. Data Eng. 7(3): 471-486 (1995) - [c25]Minglin Deng, A. Prasad Sistla, Ouri Wolfson:
Temporal Conditions with Retroactive and Proactive Updates. ARTDB 1995: 122-141 - [c24]E. Allen Emerson, A. Prasad Sistla:
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. CAV 1995: 309-324 - [c23]A. Prasad Sistla, Ouri Wolfson:
Temporal Conditions and Integrity Constraints in Active Database Systems. SIGMOD Conference 1995: 269-280 - [c22]A. Prasad Sistla, Clement T. Yu, Chengwen Liu, King-Lup Liu:
Similarity based Retrieval of Pictures Using Indices on Spatial Relationships. VLDB 1995: 619-629 - 1994
- [j13]A. Prasad Sistla:
Safety, Liveness and Fairness in Temporal Logic. Formal Aspects Comput. 6(5): 495-512 (1994) - [c21]Vivek G. Naik, A. Prasad Sistla:
Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. CAV 1994: 194-206 - [c20]Yixiu Huang, A. Prasad Sistla, Ouri Wolfson:
Data Replication for Mobile Computers. SIGMOD Conference 1994: 13-24 - [c19]A. Prasad Sistla, Clement T. Yu, R. Haddad:
Reasoning About Spatial Relationships in Picture Retrieval Systems. VLDB 1994: 570-581 - 1993
- [j12]A. Prasad Sistla, Lenore D. Zuck:
Reasoning in a Restricted Temporal Logic. Inf. Comput. 102(2): 167-195 (1993) - [c18]E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla:
On Model-Checking for Fragments of µ-Calculus. CAV 1993: 385-396 - [c17]E. Allen Emerson, A. Prasad Sistla:
Symmetry and Model Checking. CAV 1993: 463-478 - 1992
- [j11]A. Prasad Sistla, Ouri Wolfson:
Triggers on Database Histories. IEEE Data Eng. Bull. 15(1-4): 48-51 (1992) - [j10]Steven M. German, A. Prasad Sistla:
Reasoning about Systems with Many Processes. J. ACM 39(3): 675-735 (1992) - [j9]E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan:
Quantitative Temporal Reasoning. Real Time Syst. 4(4): 331-352 (1992) - 1991
- [j8]A. Prasad Sistla:
Proving Correctness with Respect to Nondeterministic Safety Specifications. Inf. Process. Lett. 39(1): 45-49 (1991) - [c16]A. Prasad Sistla, Lenore D. Zuck:
Automatic Temporal Verification of Buffer Systems. CAV 1991: 59-69 - 1990
- [c15]E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan:
Quantitative Temporal Reasoning. CAV 1990: 136-145
1980 – 1989
- 1989
- [j7]A. Prasad Sistla:
On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification. Inf. Process. Lett. 32(1): 17-23 (1989) - [c14]A. Prasad Sistla, Jennifer L. Welch:
Efficient Distributed Recovery Using Message Logging. PODC 1989: 223-238 - 1987
- [j6]A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper:
The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. Theor. Comput. Sci. 49: 217-237 (1987) - [c13]A. Prasad Sistla, Steven M. German:
Reasoning with Many Processes. LICS 1987: 138-152 - [c12]A. Prasad Sistla, Lenore D. Zuck:
On the Eventuality Operator in Temporal Logic. LICS 1987: 153-166 - 1986
- [j5]Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla:
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 8(2): 244-263 (1986) - 1985
- [j4]A. Prasad Sistla, Edmund M. Clarke:
The Complexity of Propositional Linear Temporal Logics. J. ACM 32(3): 733-749 (1985) - [j3]John H. Reif, A. Prasad Sistla:
A Multiprocess Network Logic with Temporal and Spatial Modalities. J. Comput. Syst. Sci. 30(1): 41-53 (1985) - [c11]A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper:
The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). ICALP 1985: 465-474 - [c10]A. Prasad Sistla:
On Characterization of Safety and Liveness Properties in Temporal Logic. PODC 1985: 39-48 - 1984
- [j2]E. Allen Emerson, A. Prasad Sistla:
Deciding Full Branching Time Logic. Inf. Control. 61(3): 175-201 (1984) - [j1]A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Albert R. Meyer:
Can Message Buffers Be Axiomatized in Linear Temporal Logic? Inf. Control. 63(1/2): 88-112 (1984) - [c9]Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla:
Using Temporal Logic for Automatic Verification of Finite State Systems. Logics and Models of Concurrent Systems 1984: 3-26 - [c8]A. Prasad Sistla:
Distributed Algorithms for Ensuring Fair Interprocess Communications. PODC 1984: 266-277 - [c7]E. Allen Emerson, A. Prasad Sistla:
Deciding Branching Time Logic. STOC 1984: 14-24 - 1983
- [c6]Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla:
Reasoning about Infinite Computation Paths (Extended Abstract). FOCS 1983: 185-194 - [c5]John H. Reif, A. Prasad Sistla:
A Multiprocess Network Logic with Temporal and Spatial Modalities. ICALP 1983: 629-639 - [c4]E. Allen Emerson, A. Prasad Sistla:
Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. Logic of Programs 1983: 176-192 - [c3]Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla:
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. POPL 1983: 117-126 - 1982
- [c2]A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Yuri Gurevich:
Can Message Buffers be Characterized in Linear Temporal Logic? PODC 1982: 148-156 - [c1]A. Prasad Sistla, Edmund M. Clarke:
The Complexity of Propositional Linear Temporal Logics. STOC 1982: 159-168
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
