 | 2009 |
|---|
| 97 |       | Rohit Chadha,
A. Prasad Sistla,
Mahesh Viswanathan:
Power of Randomization in Automata on Infinite Strings.
CONCUR 2009: 229-243 |
| 96 | | 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 |
| 95 | | Joel Booth,
A. Prasad Sistla,
Ouri Wolfson,
Isabel F. Cruz:
A data model for trip planning in multimodal transportation systems.
EDBT 2009: 994-1005 |
| 94 | | Kalpana Gondi,
Yogeshkumar Patel,
A. Prasad Sistla:
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems.
VMCAI 2009: 105-119 |
| 93 | | Rohit Chadha,
A. Prasad Sistla,
Mahesh Viswanathan:
On the expressiveness and complexity of randomization in finite state monitors.
J. ACM 56(5): (2009) |
| 92 | | Eduard Constantin Dragut,
Fang Fang,
A. Prasad Sistla,
Clement T. Yu,
Weiyi Meng:
Stop Word and Related Problems in Web Interface Integration.
PVLDB 2(1): 349-360 (2009) |
| 2008 |
|---|
| 91 | | Roberto Capizzi,
Antonio Longo,
V. N. Venkatakrishnan,
A. Prasad Sistla:
Preventing Information Leaks through Shadow Executions.
ACSAC 2008: 322-331 |
| 90 | | A. Prasad Sistla,
V. N. Venkatakrishnan,
Michelle Zhou,
Hilary Branske:
CMV: automatic verification of complete mediation for java virtual machines.
ASIACCS 2008: 100-111 |
| 89 | | Rohit Chadha,
A. Prasad Sistla,
Mahesh Viswanathan:
On the Expressiveness and Complexity of Randomization in Finite State Monitors.
LICS 2008: 18-29 |
| 88 | | A. Prasad Sistla,
Abhigna R. Srinivas:
Monitoring Temporal Properties of Stochastic Systems.
VMCAI 2008: 294-308 |
| 87 | | A. Prasad Sistla,
Min Zhou:
Analysis of dynamic policies.
Inf. Comput. 206(2-4): 185-212 (2008) |
| 2007 |
|---|
| 86 | | Krishna K. Mehra,
Sriram K. Rajamani,
A. Prasad Sistla,
Sumit Kumar Jha:
Verification of Object Relational Maps.
SEFM 2007: 283-292 |
| 85 | | A. Prasad Sistla,
Xiaodong Wang,
Min Zhou:
Checking extended CTL properties using guarded quotient structures.
Formal Methods in System Design 31(3): 197-219 (2007) |
| 2006 |
|---|
| 84 | | Eduard C. Dragut,
Wensheng Wu,
A. Prasad Sistla,
Clement T. Yu,
Weiyi Meng:
Merging Source Query Interfaces onWeb Databases.
ICDE 2006: 46 |
| 83 | | A. Prasad Sistla,
Min Zhou,
Lenore D. Zuck:
Monitoring Off-the-Shelf Components.
VMCAI 2006: 222-236 |
| 82 | | Arun K. Eamani,
A. Prasad Sistla:
Language based policy analysis in a SPKI Trust Management System.
Journal of Computer Security 14(4): 327-357 (2006) |
| 2005 |
|---|
| 81 | | Tiziana Margaria,
A. Prasad Sistla,
Bernhard Steffen,
Lenore D. Zuck:
Taming Interface Specifications.
CONCUR 2005: 548-561 |
| 80 | | A. Prasad Sistla,
Min Zhou:
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.
FORTE 2005: 68-82 |
| 79 | | A. Prasad Sistla,
Ouri Wolfson,
Bo Xu:
Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks.
SSTD 2005: 346-363 |
| 78 | | A. Prasad Sistla,
Min Zhou,
Xiaodong Wang:
Model Checking of Systems Employing Commutative Functions.
VMCAI 2005: 250-266 |
| 77 | | A. Prasad Sistla:
Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases
CoRR abs/cs/0501006: (2005) |
| 2004 |
|---|
| 76 | | A. Prasad Sistla,
Xiaodong Wang,
Min Zhou:
Checking Extended CTL properties Using Guarded Quotient Structures.
SEFM 2004: 87-94 |
| 75 | | Ouri Wolfson,
Bo Xu,
A. Prasad Sistla:
An Economic Model for Resource Exchange in Mobile Peer to Peer Networks.
SSDBM 2004: 235-244 |
| 74 | | A. Prasad Sistla,
Patrice Godefroid:
Symmetry and reduced symmetry in model checking.
ACM Trans. Program. Lang. Syst. 26(4): 702-734 (2004) |
| 73 | | A. Prasad Sistla:
Employing symmetry reductions in model checking.
Computer Languages, Systems & Structures 30(3-4): 99-137 (2004) |
| 2003 |
|---|
| 72 | | A. Prasad Sistla:
Symmetry Reductions in Model-Checking.
VMCAI 2003: 25 |
| 2002 |
|---|
| 71 | | A. Prasad Sistla,
Tao Hu,
Vikas Chowdhry:
Similarity based retrieval from sequence databases using automata as queries.
CIKM 2002: 237-244 |
| 70 | | A. Prasad Sistla:
Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases.
FSTTCS 2002: 324-335 |
| 69 | | 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) |
| 2001 |
|---|
| 68 | | A. Prasad Sistla,
Patrice Godefroid:
Symmetry and Reduced Symmetry in Model Checking.
CAV 2001: 91-103 |
| 67 | | 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) |
| 2000 |
|---|
| 66 |  | E. Allen Emerson,
A. Prasad Sistla:
Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings
Springer 2000 |
| 65 | | 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) |
| 64 | | A. Prasad Sistla,
Clement T. Yu:
Reasoning about Qualitative Spatial Relationships.
J. Autom. Reasoning 25(4): 291-328 (2000) |
| 1999 |
|---|
| 63 | | 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 |
| 62 | | 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 |
| 61 | | Ouri Wolfson,
A. Prasad Sistla,
Bo Xu,
Jutai Zhou,
Sam Chamberlain:
DOMINO: Databases fOr MovINg Objects tracking.
SIGMOD Conference 1999: 547-549 |
| 60 | | 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) |
| 59 | | A. Prasad Sistla,
Viktor Gyuris:
Parameterized Verification of Linear Networks using Automata as Invariants.
Formal Asp. Comput. 11(4): 402-425 (1999) |
| 58 | | 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) |
| 57 | | 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) |
| 1998 |
|---|
| 56 | | Edmund M. Clarke,
E. Allen Emerson,
Somesh Jha,
A. Prasad Sistla:
Symmetry Reductions inModel Checking.
CAV 1998: 147-158 |
| 55 | | King-Lup Liu,
A. Prasad Sistla,
Clement T. Yu,
Naphtali Rishe:
Query Processing in a Video Retrieval System.
ICDE 1998: 276-283 |
| 54 | | 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) |
| 53 | | 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) |
| 52 | | Jeffrey J. P. Tsai,
A. Prasad Sistla,
Avinash Sahay,
Raymond A. Paul:
Incremental Verification of Architecture Specification Language for Real-Time Systems.
International Journal of Software Engineering and Knowledge Engineering 8(3): 347-360 (1998) |
| 1997 |
|---|
| 51 | | Viktor Gyuris,
A. Prasad Sistla:
On-the-Fly Model Checking Under Fairness That Exploits Symmetry.
CAV 1997: 232-243 |
| 50 | | A. Prasad Sistla:
Parametrized Verification of Linear Networks Using Automata as Invariants.
CAV 1997: 412-423 |
| 49 | | A. Prasad Sistla,
L. Miliades,
Viktor Gyuris:
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties.
CAV 1997: 464-467 |
| 48 | | A. Prasad Sistla,
Clement T. Yu,
R. Venkatasubrahmanian:
Similarity Based Retrieval of Videos.
ICDE 1997: 181-190 |
| 47 | | A. Prasad Sistla,
Ouri Wolfson,
Sam Chamberlain,
Son Dao:
Modeling and Querying Moving Objects.
ICDE 1997: 422-432 |
| 46 | | A. Prasad Sistla,
Ouri Wolfson,
Sam Chamberlain,
Son Dao:
Querying the Uncertain Position of Moving Objects.
Temporal Databases, Dagstuhl 1997: 310-337 |
| 45 | | 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) |
| 1996 |
|---|
| 44 | | 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 |
| 43 | | A. Prasad Sistla,
Ouri Wolfson,
Son Dao,
Kailash Narayanan,
Ramya Raj:
An Architecture for Consumer-Oriented Online Database Services.
RIDE-NDS 1996: 50-60 |
| 42 | | A. Prasad Sistla,
Clement T. Yu:
Retrieval of Pictures Using Approximate Matching.
Multimedia Database System: Issues and Research Direction 1996: 101-112 |
| 41 | | A. Prasad Sistla:
Hybrid and Incremental Modelchecking Techniques.
ACM Comput. Surv. 28(4es): 125 (1996) |
| 40 | | E. Allen Emerson,
A. Prasad Sistla:
Symmetry and Model Checking.
Formal Methods in System Design 9(1/2): 105-131 (1996) |
| 1995 |
|---|
| 39 | | Minglin Deng,
A. Prasad Sistla,
Ouri Wolfson:
Temporal Conditons with Retroactive and Proactive Updates.
ARTDB 1995: 122-141 |
| 38 | | E. Allen Emerson,
A. Prasad Sistla:
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach.
CAV 1995: 309-324 |
| 37 | | A. Prasad Sistla,
Ouri Wolfson:
Temporal Conditions and Integrity Constraints in Active Database Systems.
SIGMOD Conference 1995: 269-280 |
| 36 | | 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 |
| 35 | | A. Prasad Sistla,
Ouri Wolfson:
Temporal Triggers in Active Databases.
IEEE Trans. Knowl. Data Eng. 7(3): 471-486 (1995) |
| 34 | | Ouri Wolfson,
A. Prasad Sistla,
Son Dao,
Kailash Narayanan,
Ramya Raj:
View Maintenance in Mobile Computing.
SIGMOD Record 24(4): 22-27 (1995) |
| 1994 |
|---|
| 33 | | Vivek G. Naik,
A. Prasad Sistla:
Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking.
CAV 1994: 194-206 |
| 32 | | Yixiu Huang,
A. Prasad Sistla,
Ouri Wolfson:
Data Replication for Mobile Computers.
SIGMOD Conference 1994: 13-24 |
| 31 | | A. Prasad Sistla,
Clement T. Yu,
R. Haddad:
Reasoning About Spatial Relationships in Picture Retrieval Systems.
VLDB 1994: 570-581 |
| 30 | | A. Prasad Sistla:
Safety, Liveness and Fairness in Temporal Logic.
Formal Asp. Comput. 6(5): 495-512 (1994) |
| 1993 |
|---|
| 29 | | E. Allen Emerson,
Charanjit S. Jutla,
A. Prasad Sistla:
On Model-Checking for Fragments of µ-Calculus.
CAV 1993: 385-396 |
| 28 | | E. Allen Emerson,
A. Prasad Sistla:
Symmetry and Model Checking.
CAV 1993: 463-478 |
| 27 | | A. Prasad Sistla,
Lenore D. Zuck:
Reasoning in a Restricted Temporal Logic
Inf. Comput. 102(2): 167-195 (1993) |
| 1992 |
|---|
| 26 | | A. Prasad Sistla,
Ouri Wolfson:
Triggers on Database Histories.
IEEE Data Eng. Bull. 15(1-4): 48-51 (1992) |
| 25 | | Steven M. German,
A. Prasad Sistla:
Reasoning about Systems with Many Processes.
J. ACM 39(3): 675-735 (1992) |
| 24 | | E. Allen Emerson,
Aloysius K. Mok,
A. Prasad Sistla,
Jai Srinivasan:
Quantitative Temporal Reasoning.
Real-Time Systems 4(4): 331-352 (1992) |
| 1991 |
|---|
| 23 | | A. Prasad Sistla,
Lenore D. Zuck:
Automatic Temporal Verification of Buffer Systems.
CAV 1991: 59-69 |
| 22 | | A. Prasad Sistla:
Proving Correctness with Respect to Nondeterministic Safety Specifications.
Inf. Process. Lett. 39(1): 45-49 (1991) |
| 1990 |
|---|
| 21 | | E. Allen Emerson,
Aloysius K. Mok,
A. Prasad Sistla,
Jai Srinivasan:
Quantitative Temporal Reasoning.
CAV 1990: 136-145 |
| 1989 |
|---|
| 20 | | A. Prasad Sistla,
Jennifer L. Welch:
Efficient Distributed Recovery Using Message Logging.
PODC 1989: 223-238 |
| 19 | | A. Prasad Sistla:
On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification.
Inf. Process. Lett. 32(1): 17-23 (1989) |
| 1987 |
|---|
| 18 | | A. Prasad Sistla,
Steven M. German:
Reasoning with Many Processes
LICS 1987: 138-152 |
| 17 | | A. Prasad Sistla,
Lenore D. Zuck:
On the Eventuality Operator in Temporal Logic
LICS 1987: 153-166 |
| 16 | | 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) |
| 1986 |
|---|
| 15 | | 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 |
|---|
| 14 | | 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 |
| 13 | | A. Prasad Sistla:
On Characterization of Safety and Liveness Properties in Temporal Logic.
PODC 1985: 39-48 |
| 12 | | A. Prasad Sistla,
Edmund M. Clarke:
The Complexity of Propositional Linear Temporal Logics
J. ACM 32(3): 733-749 (1985) |
| 11 | | John H. Reif,
A. Prasad Sistla:
A Multiprocess Network Logic with Temporal and Spatial Modalities.
J. Comput. Syst. Sci. 30(1): 41-53 (1985) |
| 1984 |
|---|
| 10 | | A. Prasad Sistla:
Distributed Algorithms for Ensuring Fair Interprocess Communications.
PODC 1984: 266-277 |
| 9 | | E. Allen Emerson,
A. Prasad Sistla:
Deciding Branching Time Logic
STOC 1984: 14-24 |
| 8 | | E. Allen Emerson,
A. Prasad Sistla:
Deciding Full Branching Time Logic
Information and Control 61(3): 175-201 (1984) |
| 7 | | 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) |
| 1983 |
|---|
| 6 | | Pierre Wolper,
Moshe Y. Vardi,
A. Prasad Sistla:
Reasoning about Infinite Computation Paths (Extended Abstract)
FOCS 1983: 185-194 |
| 5 | | John H. Reif,
A. Prasad Sistla:
A Multiprocess Network Logic with Temporal and Spatial Modalities.
ICALP 1983: 629-639 |
| 4 | | E. Allen Emerson,
A. Prasad Sistla:
Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*.
Logic of Programs 1983: 176-192 |
| 3 | | 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 |
|---|
| 2 | | A. Prasad Sistla,
Edmund M. Clarke,
Nissim Francez,
Yuri Gurevich:
Can Message Buffers be Characterized in Linear Temporal Logic?
PODC 1982: 148-156 |
| 1 | | A. Prasad Sistla,
Edmund M. Clarke:
The Complexity of Propositional Linear Temporal Logics
STOC 1982: 159-168 |
