| |
      |
                                          |
Note: Links lead to the DBLP on the Web. A. Prasad Sistla A. Prasad Sistla, Min Zhou , Xiaodong Wang : Model Checking of Systems Employing Commutative Functions. VMCAI 2005 : 250-266 A. Prasad Sistla, Xiaodong Wang , Min Zhou : Checking Extended CTL properties Using Guarded Quotient Structures. SEFM 2004 : 87-94 Ouri Wolfson , Bo Xu , A. Prasad Sistla: An Economic Model for Resource Exchange in Mobile Peer to Peer Networks. SSDBM 2004 : 235-244 A. Prasad Sistla, Patrice Godefroid : Symmetry and reduced symmetry in model checking. ACM Trans. Program. Lang. Syst. 26 (4): 702-734 (2004) A. Prasad Sistla: Employing symmetry reductions in model checking. Computer Languages, Systems & Structures 30 (3-4): 99-137 (2004) A. Prasad Sistla: Symmetry Reductions in Model-Checking. VMCAI 2003 : 25 A. Prasad Sistla, Tao Hu , Vikas Chowdhry : Similarity based retrieval from sequence databases using automata as queries. CIKM 2002 : 237-244 A. Prasad Sistla: Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases. FSTTCS 2002 : 324-335 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 Record 31 (3): 103-108 (2002) A. Prasad Sistla, Patrice Godefroid : Symmetry and Reduced Symmetry in Model Checking. CAV 2001 : 91-103 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) E. Allen Emerson , A. Prasad Sistla: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings Springer 2000 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) A. Prasad Sistla, Clement T. Yu : Reasoning about Qualitative Spatial Relationships. J. Autom. Reasoning 25 (4): 291-328 (2000) 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 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 Ouri Wolfson , A. Prasad Sistla, Bo Xu , Jutai Zhou , Sam Chamberlain : DOMINO: Databases fOr MovINg Objects tracking. SIGMOD Conference 1999 : 547-549 Ouri Wolfson , A. Prasad Sistla, Sam Chamberlain , Yelena Yesha : Updating and Querying Databases that Track Mobile Units. Distributed and Parallel Databases 7 (3): 257-387 (1999) A. Prasad Sistla, Viktor Gyuris : Parameterized Verification of Linear Networks using Automata as Invariants. Formal Asp. Comput. 11 (4): 402-425 (1999) Viktor Gyuris , A. Prasad Sistla: On-the-Fly Model Checking Under Fairness that Exploits Symmetry. Formal Methods in System Design 15 (3): 217-238 (1999) Avinash Sahay , Jeffrey J. P. Tsai , A. Prasad Sistla: An Incremental Verification Algorithm for Real-Time Systems. International Journal of Software Engineering and Knowledge Engineering 9 (2): 203-216 (1999) Edmund M. Clarke , E. Allen Emerson , Somesh Jha , A. Prasad Sistla: Symmetry Reductions inModel Checking. CAV 1998 : 147-158 King-Lup Liu , A. Prasad Sistla, Clement T. Yu , Naphtali Rishe : Query Processing in a Video Retrieval System. ICDE 1998 : 276-283 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) A. Prasad Sistla, Ouri Wolfson , Yixiu Huang : Minimization of Communication Cost Through Caching in Mobile Environments. IEEE Trans. Parallel Distrib. Syst. 9 (4): 378-390 (1998) Jeffrey J. P. Tsai , A. Prasad Sistla, Avinash Sahay , Ray J. Paul : Incremental Verification of Architecture Specification Language for Real-Time Systems. International Journal of Software Engineering and Knowledge Engineering 8 (3): 347-360 (1998) Viktor Gyuris , A. Prasad Sistla: On-the-Fly Model Checking Under Fairness That Exploits Symmetry. CAV 1997 : 232-243 A. Prasad Sistla: Parametrized Verification of Linear Networks Using Automata as Invariants. CAV 1997 : 412-423 A. Prasad Sistla, L. Miliades , Viktor Gyuris : SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. CAV 1997 : 464-467 A. Prasad Sistla, Clement T. Yu , R. Venkatasubrahmanian : Similarity Based Retrieval of Videos. ICDE 1997 : 181-190 A. Prasad Sistla, Ouri Wolfson , Sam Chamberlain , Son Dao : Modeling and Querying Moving Objects. ICDE 1997 : 422-432 A. Prasad Sistla, Ouri Wolfson , Sam Chamberlain , Son Dao : Querying the Uncertain Position of Moving Objects. Temporal Databases, Dagstuhl 1997 : 310-337 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) 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 A. Prasad Sistla, Ouri Wolfson , Son Dao , Kailash Narayanan , Ramya Raj : An Architecture for Consumer-Oriented Online Database Services. RIDE-NDS 1996 : 50-60 A. Prasad Sistla, Clement T. Yu : Retrieval of Pictures Using Approximate Matching. Multimedia Database System: Issues and Research Direction 1996 : 101-112 A. Prasad Sistla: Hybrid and Incremental Modelchecking Techniques. ACM Comput. Surv. 28 (4es): 125 (1996) E. Allen Emerson , A. Prasad Sistla: Symmetry and Model Checking. Formal Methods in System Design 9 (1/2): 105-131 (1996) Minglin Deng , A. Prasad Sistla, Ouri Wolfson : Temporal Conditons with Retroactive and Proactive Updates. ARTDB 1995 : 122-141 E. Allen Emerson , A. Prasad Sistla: Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. CAV 1995 : 309-324 A. Prasad Sistla, Ouri Wolfson : Temporal Conditions and Integrity Constraints in Active Database Systems. SIGMOD Conference 1995 : 269-280 A. Prasad Sistla, Clement T. Yu , Chengwen Liu , King Liu : Similarity based Retrieval of Pictures Using Indices on Spatial Relationships. VLDB 1995 : 619-629 A. Prasad Sistla, Ouri Wolfson : Temporal Triggers in Active Databases. IEEE Trans. Knowl. Data Eng. 7 (3): 471-486 (1995) Ouri Wolfson , A. Prasad Sistla, Son Dao , Kailash Narayanan , Ramya Raj : View Maintenance in Mobile Computing. SIGMOD Record 24 (4): 22-27 (1995) Vivek G. Naik , A. Prasad Sistla: Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. CAV 1994 : 194-206 Yixiu Huang , A. Prasad Sistla, Ouri Wolfson : Data Replication for Mobile Computers. SIGMOD Conference 1994 : 13-24 A. Prasad Sistla, Clement T. Yu , R. Haddad : Reasoning About Spatial Relationships in Picture Retrieval Systems. VLDB 1994 : 570-581 A. Prasad Sistla: Safety, Liveness and Fairness in Temporal Logic. Formal Asp. Comput. 6 (5): 495-512 (1994) E. Allen Emerson , Charanjit S. Jutla , A. Prasad Sistla: On Model-Checking for Fragments of µ-Calculus. CAV 1993 : 385-396 E. Allen Emerson , A. Prasad Sistla: Symmetry and Model Checking. CAV 1993 : 463-478 A. Prasad Sistla, Lenore D. Zuck : Reasoning in a Restricted Temporal Logic Inf. Comput. 102 (2): 167-195 (1993) A. Prasad Sistla, Ouri Wolfson : Triggers on Database Histories. IEEE Data Eng. Bull. 15 (1-4): 48-51 (1992) Steven M. German , A. Prasad Sistla: Reasoning about Systems with Many Processes. J. ACM 39 (3): 675-735 (1992) E. Allen Emerson , Aloysius K. Mok , A. Prasad Sistla, Jai Srinivasan : Quantitative Temporal Reasoning. Real-Time Systems 4 (4): 331-352 (1992) A. Prasad Sistla: Automatic Temporal Verification of Buffer Systems. CAV 1991 : 59-69 A. Prasad Sistla: Proving Correctness with Respect to Nondeterministic Safety Specifications. Inf. Process. Lett. 39 (1): 45-49 (1991) E. Allen Emerson , Aloysius K. Mok , A. Prasad Sistla, Jai Srinivasan : Quantitative Temporal Reasoning. CAV 1990 : 136-145 A. Prasad Sistla, Jennifer L. Welch : Efficient Distributed Recovery Using Message Logging. PODC 1989 : 223-238 A. Prasad Sistla: On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification. Inf. Process. Lett. 32 (1): 17-23 (1989) A. Prasad Sistla, Steven M. German : Reasoning with Many Processes LICS 1987 : 138-152 A. Prasad Sistla, Lenore D. Zuck : On the Eventuality Operator in Temporal Logic LICS 1987 : 153-166 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) 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) 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 A. Prasad Sistla: On Characterization of Safety and Liveness Properties in Temporal Logic. PODC 1985 : 39-48 A. Prasad Sistla, Edmund M. Clarke : The Complexity of Propositional Linear Temporal Logics J. ACM 32 (3): 733-749 (1985) John H. Reif , A. Prasad Sistla: A Multiprocess Network Logic with Temporal and Spatial Modalities. J. Comput. Syst. Sci. 30 (1): 41-53 (1985) A. Prasad Sistla: Distributed Algorithms for Ensuring Fair Interprocess Communications. PODC 1984 : 266-277 E. Allen Emerson , A. Prasad Sistla: Deciding Branching Time Logic STOC 1984 : 14-24 E. Allen Emerson , A. Prasad Sistla: Deciding Full Branching Time Logic Information and Control 61 (3): 175-201 (1984) A. Prasad Sistla, Edmund M. Clarke , Nissim Francez , Albert R. Meyer : Can Message Buffers Be Axiomatized in Linear Temporal Logic? Information and Control 63 (1/2): 88-112 (1984) Pierre Wolper , Moshe Y. Vardi , A. Prasad Sistla: Reasoning about Infinite Computation Paths (Extended Abstract) FOCS 1983 : 185-194 John H. Reif , A. Prasad Sistla: A Multiprocess Network Logic with Temporal and Spatial Modalities. ICALP 1983 : 629-639 E. Allen Emerson , A. Prasad Sistla: Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. Logic of Programs 1983 : 176-192 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 A. Prasad Sistla, Edmund M. Clarke , Nissim Francez , Yuri Gurevich : Can Message Buffers be Characterized in Linear Temporal Logic? PODC 1982 : 148-156 A. Prasad Sistla, Edmund M. Clarke : The Complexity of Propositional Linear Temporal Logics STOC 1982 : 159-168 1 [ 46 ] [ 47 ] [ 60 ] [ 61 ] [ 62 ] [ 63 ] 2 [ 71 ] 3 [ 1 ] [ 2 ] [ 3 ] [ 7 ] [ 12 ] [ 15 ] [ 56 ] 4 [ 69 ] 5 [ 34 ] [ 43 ] [ 46 ] [ 47 ] 6 [ 39 ] [ 63 ] 7 [ 3 ] [ 4 ] [ 8 ] [ 9 ] [ 15 ] [ 21 ] [ 24 ] [ 28 ] [ 29 ] [ 38 ] [ 40 ] [ 45 ] [ 56 ] [ 65 ] [ 66 ] [ 67 ] 8 [ 2 ] [ 7 ] 9 [ 18 ] [ 25 ] 10 [ 68 ] [ 74 ] 11 [ 2 ] 12 [ 49 ] [ 51 ] [ 58 ] [ 59 ] [ 65 ] 13 [ 31 ] 14 [ 71 ] 15 [ 32 ] [ 53 ] 16 [ 56 ] 17 [ 63 ] 18 [ 29 ] [ 67 ] 19 [ 69 ] 20 [ 69 ] 21 [ 36 ] [ 44 ] 22 [ 36 ] 23 [ 55 ] 24 [ 7 ] 25 [ 49 ] 26 [ 21 ] [ 24 ] 27 [ 33 ] 28 [ 34 ] [ 43 ] 29 [ 44 ] 30 [ 52 ] 31 [ 34 ] [ 43 ] 32 [ 5 ] [ 11 ] 33 [ 44 ] [ 55 ] [ 62 ] [ 63 ] 34 [ 52 ] [ 57 ] 35 [ 54 ] 36 [ 21 ] [ 24 ] 37 [ 52 ] [ 57 ] 38 [ 6 ] [ 14 ] [ 16 ] 39 [ 48 ] 40 [ 76 ] [ 77 ] 41 [ 20 ] 42 [ 26 ] [ 32 ] [ 34 ] [ 35 ] [ 37 ] [ 39 ] [ 43 ] [ 46 ] [ 47 ] [ 53 ] [ 54 ] [ 60 ] [ 61 ] [ 62 ] [ 63 ] [ 69 ] [ 75 ] 43 [ 6 ] [ 14 ] [ 16 ] 44 [ 44 ] 45 [ 61 ] [ 62 ] [ 75 ] 46 [ 54 ] [ 60 ] [ 62 ] 47 [ 31 ] [ 36 ] [ 42 ] [ 44 ] [ 48 ] [ 55 ] [ 64 ] [ 69 ] 48 [ 61 ] [ 62 ] 49 [ 76 ] [ 77 ] 50 [ 17 ] [ 27 ]  ©2005 Association for Computing Machinery |
