2007 |
17 | EE | Santiago Escobar,
José Meseguer,
Prasanna Thati:
Narrowing and Rewriting Logic: from Foundations to Applications.
Electr. Notes Theor. Comput. Sci. 177: 5-33 (2007) |
16 | EE | José Meseguer,
Prasanna Thati:
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols.
Higher-Order and Symbolic Computation 20(1-2): 123-160 (2007) |
2006 |
15 | EE | Prasanna Thati,
José Meseguer:
Complete symbolic reachability analysis using back-and-forth narrowing.
Theor. Comput. Sci. 366(1-2): 163-179 (2006) |
2005 |
14 | EE | Prasanna Thati,
José Meseguer:
Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.
CALCO 2005: 379-394 |
13 | EE | Sagar Chaki,
Edmund M. Clarke,
Nishant Sinha,
Prasanna Thati:
Automated Assume-Guarantee Reasoning for Simulation Conformance.
CAV 2005: 534-547 |
12 | EE | Santiago Escobar,
José Meseguer,
Prasanna Thati:
Natural Narrowing for General Term Rewriting Systems.
RTA 2005: 279-293 |
11 | EE | Prasanna Thati,
Grigore Rosu:
Monitoring Algorithms for Metric Temporal Logic Specifications.
Electr. Notes Theor. Comput. Sci. 113: 145-162 (2005) |
10 | EE | José Meseguer,
Prasanna Thati:
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols.
Electr. Notes Theor. Comput. Sci. 117: 153-182 (2005) |
2004 |
9 | EE | Prasanna Thati,
Carolyn L. Talcott,
Gul Agha:
Techniques for Executing and Reasoning about Specification Diagrams.
AMAST 2004: 521-536 |
8 | EE | Gul Agha,
Prasanna Thati:
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.
Essays in Memory of Ole-Johan Dahl 2004: 26-57 |
7 | EE | Prasad Naldurg,
Koushik Sen,
Prasanna Thati:
A Temporal Logic Based Framework for Intrusion Detection.
FORTE 2004: 359-376 |
6 | EE | Santiago Escobar,
José Meseguer,
Prasanna Thati:
Natural Rewriting for General Term Rewriting Systems.
LOPSTR 2004: 101-116 |
2002 |
5 | EE | Prasannaa Thati,
Reza Ziaei,
Gul Agha:
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching.
AMAST 2002: 223-238 |
4 | | Prasannaa Thati,
Reza Ziaei,
Gul Agha:
A Theory of May Testing for Actors.
FMOODS 2002: 147-162 |
3 | EE | Prasanna Thati,
Koushik Sen,
Narciso Martí-Oliet:
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
2001 |
2 | EE | Prasannaa Thati,
Po-Hao Chang,
Gul Agha:
Crawlets: Agents for High Performance Web Search Engines.
Mobile Agents 2001: 119-134 |
2000 |
1 | EE | Ajay Mohindra,
Apratim Purakayastha,
Prasannaa Thati:
Exploiting Non-Determinism for Reliability of Mobile Agent Systems.
DSN 2000: 144-156 |