- Towards a Theory of Cost Management for Digital Libraries A. Prasad Sistla 1 , Ouri Wolfson 1 2 , Yelena Yesha 2 , Robert Sloan 1
- Reasoning About Qualitative Spatial Relationships \Lambda A. Prasad Sistla, Clement Yu
- OntheFly Model checking under Fairness that Exploits Symmetry \Lambda V. Gyuris y A. P. Sistla z
- CMV: Automatic Verification of Complete Mediation for Java Virtual Machines
- Symmetry Reductions. A. Prasad Sistla
- Taming Interface Specifications ? Tiziana Margaria 1 , A. Prasad Sistla 2 , Bernhard Steffen 3 , and Lenore D. Zuck 2
- , , 1--23 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Parameterized verification of Linear networks using Automata as Invariants \Lambda
- Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking
- Aravinda Prasad Sistla Cmputer Science Department (M/C 152),
- Symmetry and Model Checking E. Allen Emerson \Lambda A. Prasad Sistla y
- Similarity Based Retrieval from Sequence Data using Automata as A. Prasad Sistla Tao Hu
- Retrieval of Pictures Using a Similarity based approach employing Indices on Spatial Relationships \Lambda
- Monitoring Temporal Properties of Stochastic A. Prasad Sistla and Abhigna R. Srinivas
- Model Checking of Systems Employing Commutative A. Prasad Sistla, Min Zhou, and Xiaodong Wang
- Checking Extended CTL properties Using Guarded Quotient A. Prasad Sistla Xiaodong Wang Min Zhou
- Retrieval of Pictures Using Approximate A. Prasad Sistla
- Automatically Preparing Safe SQL Queries Prithvi Bisht, A. Prasad Sistla, and V.N. Venkatakrishnan
- Similarity Based Retrieval of Videos A. Prasad Sistla Clement Yu \Lambda Raghu Venkatasubrahmanian
- Symmetry and Reduced Symmetry in Model Checking
- Analysis of Dynamic Policies # A. Prasad Sistla, Min Zhou
- Safety, Liveness and Fairness in Temporal Logic \Lambda A. Prasad Sistla
- On modelchecking for calculus and its fragments E. A. Emerson \Lambda C. S. Jutla y A. P. Sistla z
- Language based Policy Analysis in a SPKI Trust Management Arun K. Eamani and A. Prasad Sistla
- SMC: A Symmetry based Model Checker for Verification of Safety and Liveness Properties \Lambda
- Preventing Information Leaks through Shadow Executions Roberto Capizzi Antonio Longo
- Model Checking Concurrent Programs with Nondeterminism and Randomization
- Computer Aided Verification (CAV), Snowbird, UT, 2011. Monitorability of Stochastic Dynamical
- TAPS: Automatically Preparing Safe SQL Queries Prithvi Bisht
- Answer-Pairs and Processing of Continuous Nearest-Neighbor Queries*