| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
Power of Randomization in Automata on Infinite Strings |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Milos Zefran, Yao Feng |
Monitorability of Stochastic Dynamical Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Ouri Wolfson, Bo Xu, Naphtali Rishe |
Answer-pairs and processing of continuous nearest-neighbor queries. |
FOMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan |
Automatically Preparing Safe SQL Queries. |
Financial Cryptography |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
Model Checking Concurrent Programs with Nondeterminism and Randomization. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Prithvi Bisht, A. Prasad Sistla, V. N. Venkatakrishnan |
TAPS: automatically preparing safe SQL queries. |
ACM Conference on Computer and Communications Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard C. Dragut, Clement T. Yu, A. Prasad Sistla, Weiyi Meng |
Construction of a sentimental word dictionary. |
CIKM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
On the expressiveness and complexity of randomization in finite state monitors. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
topology, randomization, runtime verification, probabilistic automata, Omega automata |
| 1 | Eduard Constantin Dragut, Fang Fang, A. Prasad Sistla, Clement T. Yu, Weiyi Meng |
Stop Word and Related Problems in Web Interface Integration. |
PVLDB |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
Power of Randomization in Automata on Infinite Strings. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel Booth, A. Prasad Sistla, Ouri Wolfson, Isabel F. Cruz |
A data model for trip planning in multimodal transportation systems. |
EDBT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Ilarri, Ouri Wolfson, Eduardo Mena, Arantza Illarramendi, A. Prasad Sistla |
A query processor for prediction-based monitoring of data streams. |
EDBT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla |
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Min Zhou |
Analysis of dynamic policies. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Capizzi, Antonio Longo, V. N. Venkatakrishnan, A. Prasad Sistla |
Preventing Information Leaks through Shadow Executions. |
ACSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan |
On the Expressiveness and Complexity of Randomization in Finite State Monitors. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Abhigna R. Srinivas |
Monitoring Temporal Properties of Stochastic Systems. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou, Hilary Branske |
CMV: automatic verification of complete mediation for java virtual machines. |
ASIACCS |
2008 |
DBLP DOI BibTeX RDF |
complete mediation, runtime monitoring |
| 1 | A. Prasad Sistla, Xiaodong Wang, Min Zhou |
Checking extended CTL properties using guarded quotient structures. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
Symmetric systems, Guarded quotient structures, Model checking, Temporal logic, Program verification, State space reduction |
| 1 | Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha |
Verification of Object Relational Maps. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun K. Eamani, A. Prasad Sistla |
Language based policy analysis in a SPKI Trust Management System. |
Journal of Computer Security |
2006 |
DBLP BibTeX RDF |
|
| 1 | Eduard C. Dragut, Wensheng Wu, A. Prasad Sistla, Clement T. Yu, Weiyi Meng |
Merging Source Query Interfaces onWeb Databases. |
ICDE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Min Zhou, Lenore D. Zuck |
Monitoring Off-the-Shelf Components. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla |
Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck |
Taming Interface Specifications. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Min Zhou |
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Ouri Wolfson, Bo Xu |
Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks. |
SSTD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Min Zhou, Xiaodong Wang |
Model Checking of Systems Employing Commutative Functions. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Patrice Godefroid |
Symmetry and reduced symmetry in model checking. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
formula decomposition, model checking algorithms and tools, temporal logics, symmetry reductions, State space explosion |
| 1 | A. Prasad Sistla |
Employing symmetry reductions in model checking. |
Computer Languages, Systems & Structures |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Xiaodong Wang, Min Zhou |
Checking Extended CTL properties Using Guarded Quotient Structures. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ouri Wolfson, Bo Xu, A. Prasad Sistla |
An Economic Model for Resource Exchange in Mobile Peer to Peer Networks. |
SSDBM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla |
Symmetry Reductions in Model-Checking. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla |
Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Tao Hu, Vikas Chowdhry |
Similarity based retrieval from sequence databases using automata as queries. |
CIKM |
2002 |
DBLP DOI BibTeX RDF |
seuqence databases, similarity based retrieval, automata |
| 1 | E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla |
On model checking for the µ-calculus and its fragments. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Patrice Godefroid |
Symmetry and Reduced Symmetry in Model Checking. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
model checking, automata |
| 1 | A. Prasad Sistla, Clement T. Yu |
Reasoning about Qualitative Spatial Relationships. |
J. Autom. Reasoning |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Allen Emerson, A. Prasad Sistla (eds.) |
Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings |
CAV |
2000 |
DBLP BibTeX RDF |
|
| 1 | A. Prasad Sistla, Viktor Gyuris |
Parameterized Verification of Linear Networks using Automata as Invariants. |
Formal Asp. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Safety, Invariants, Automata, Induction, Liveness, Linear networks |
| 1 | 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 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Gyuris, A. Prasad Sistla |
On-the-Fly Model Checking Under Fairness that Exploits Symmetry. |
Formal Methods in System Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ouri Wolfson, A. Prasad Sistla, Sam Chamberlain, Yelena Yesha |
Updating and Querying Databases that Track Mobile Units. |
Distributed and Parallel Databases |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ouri Wolfson, A. Prasad Sistla, Bo Xu, Jutai Zhou, Sam Chamberlain |
DOMINO: Databases fOr MovINg Objects tracking. |
SIGMOD Conference |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ouri Wolfson, Liqin Jiang, A. Prasad Sistla, Sam Chamberlain, Naphtali Rishe, Minglin Deng |
Databases for Tracking Mobile Units in Real Time. |
ICDT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1998 |
DBLP DOI BibTeX RDF |
on-line services, protocols, caching, cost models, average case analysis, worst case analysis, demand, subscription |
| 1 | A. Prasad Sistla, Ouri Wolfson, Yixiu Huang |
Minimization of Communication Cost Through Caching in Mobile Environments. |
IEEE Trans. Parallel Distrib. Syst. |
1998 |
DBLP DOI BibTeX RDF |
Dynamic data allocation, mobile computing, caching, wireless communication, probabilistic analysis, communication cost |
| 1 | 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 |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | King-Lup Liu, A. Prasad Sistla, Clement T. Yu, Naphtali Rishe |
Query Processing in a Video Retrieval System. |
ICDE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, E. Allen Emerson, Somesh Jha, A. Prasad Sistla |
Symmetry Reductions inModel Checking. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Allen Emerson, A. Prasad Sistla |
Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
model-checking, temporal logic, abstraction, symmetry, automata, state explosion |
| 1 | A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao |
Modeling and Querying Moving Objects. |
ICDE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Clement T. Yu, R. Venkatasubrahmanian |
Similarity Based Retrieval of Videos. |
ICDE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Ouri Wolfson, Sam Chamberlain, Son Dao |
Querying the Uncertain Position of Moving Objects. |
Temporal Databases, Dagstuhl |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, L. Miliades, Viktor Gyuris |
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Gyuris, A. Prasad Sistla |
On-the-Fly Model Checking Under Fairness That Exploits Symmetry. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla |
Parametrized Verification of Linear Networks Using Automata as Invariants. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla |
Hybrid and Incremental Modelchecking Techniques. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Allen Emerson, A. Prasad Sistla |
Symmetry and Model Checking. |
Formal Methods in System Design |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Clement T. Yu |
Retrieval of Pictures Using Approximate Matching. |
Multimedia Database System: Issues and Research Direction |
1996 |
DBLP BibTeX RDF |
|
| 1 | A. Prasad Sistla, Ouri Wolfson, Son Dao, Kailash Narayanan, Ramya Raj |
An Architecture for Consumer-Oriented Online Database Services. |
RIDE-NDS |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Ouri Wolfson |
Temporal Triggers in Active Databases. |
IEEE Trans. Knowl. Data Eng. |
1995 |
DBLP DOI BibTeX RDF |
algorithms, temporal logics, Active databases, triggers |
| 1 | Ouri Wolfson, A. Prasad Sistla, Son Dao, Kailash Narayanan, Ramya Raj |
View Maintenance in Mobile Computing. |
SIGMOD Record |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Minglin Deng, A. Prasad Sistla, Ouri Wolfson |
Temporal Conditons with Retroactive and Proactive Updates. |
ARTDB |
1995 |
DBLP BibTeX RDF |
|
| 1 | A. Prasad Sistla, Ouri Wolfson |
Temporal Conditions and Integrity Constraints in Active Database Systems. |
SIGMOD Conference |
1995 |
DBLP DOI BibTeX RDF |
SYBASE |
| 1 | A. Prasad Sistla, Clement T. Yu, Chengwen Liu, King-Lup Liu |
Similarity based Retrieval of Pictures Using Indices on Spatial Relationships. |
VLDB |
1995 |
DBLP BibTeX RDF |
|
| 1 | E. Allen Emerson, A. Prasad Sistla |
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla |
Safety, Liveness and Fairness in Temporal Logic. |
Formal Asp. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Yixiu Huang, A. Prasad Sistla, Ouri Wolfson |
Data Replication for Mobile Computers. |
SIGMOD Conference |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Clement T. Yu, R. Haddad |
Reasoning About Spatial Relationships in Picture Retrieval Systems. |
VLDB |
1994 |
DBLP BibTeX RDF |
|
| 1 | Vivek G. Naik, A. Prasad Sistla |
Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking. |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Lenore D. Zuck |
Reasoning in a Restricted Temporal Logic |
Inf. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla |
On Model-Checking for Fragments of µ-Calculus. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Allen Emerson, A. Prasad Sistla |
Symmetry and Model Checking. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Ouri Wolfson |
Triggers on Database Histories. |
IEEE Data Eng. Bull. |
1992 |
DBLP BibTeX RDF |
|
| 1 | E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan |
Quantitative Temporal Reasoning. |
Real-Time Systems |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven M. German, A. Prasad Sistla |
Reasoning about Systems with Many Processes. |
J. ACM |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla |
Proving Correctness with Respect to Nondeterministic Safety Specifications. |
Inf. Process. Lett. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Lenore D. Zuck |
Automatic Temporal Verification of Buffer Systems. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan |
Quantitative Temporal Reasoning. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla |
On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification. |
Inf. Process. Lett. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Jennifer L. Welch |
Efficient Distributed Recovery Using Message Logging. |
PODC |
1989 |
DBLP BibTeX RDF |
|
| 1 | A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper |
The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. |
Theor. Comput. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Steven M. German |
Reasoning with Many Processes |
LICS |
1987 |
DBLP BibTeX RDF |
|
| 1 | A. Prasad Sistla, Lenore D. Zuck |
On the Eventuality Operator in Temporal Logic |
LICS |
1987 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Edmund M. Clarke |
The Complexity of Propositional Linear Temporal Logics |
J. ACM |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | John H. Reif, A. Prasad Sistla |
A Multiprocess Network Logic with Temporal and Spatial Modalities. |
J. Comput. Syst. Sci. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper |
The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla |
On Characterization of Safety and Liveness Properties in Temporal Logic. |
PODC |
1985 |
DBLP BibTeX RDF |
|
| 1 | A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Albert R. Meyer |
Can Message Buffers Be Axiomatized in Linear Temporal Logic? |
Information and Control |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Allen Emerson, A. Prasad Sistla |
Deciding Full Branching Time Logic |
Information and Control |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Prasad Sistla |
Distributed Algorithms for Ensuring Fair Interprocess Communications. |
PODC |
1984 |
DBLP BibTeX RDF |
|
| 1 | E. Allen Emerson, A. Prasad Sistla |
Deciding Branching Time Logic |
STOC |
1984 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")