Prasanna Thati

Publication Activity (10 Years)

Years Active: 1999-2007
Publications (10 Years): 0

Publications

José Meseguer, Prasanna Thati
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. High. Order Symb. Comput. 20 (1-2) (2007)
Santiago Escobar, José Meseguer, Prasanna Thati
Narrowing and Rewriting Logic: from Foundations to Applications. Electron. Notes Theor. Comput. Sci. 177 (2007)
Prasanna Thati, José Meseguer
Complete symbolic reachability analysis using back-and-forth narrowing. Theor. Comput. Sci. 366 (1-2) (2006)
Prasanna Thati, José Meseguer
Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. CALCO (2005)
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati
Automated Assume-Guarantee Reasoning for Simulation Conformance. CAV (2005)
Prasanna Thati, Grigore Rosu
Monitoring Algorithms for Metric Temporal Logic Specifications. Electron. Notes Theor. Comput. Sci. 113 (2005)
Santiago Escobar, José Meseguer, Prasanna Thati
Natural Narrowing for General Term Rewriting Systems. RTA (2005)
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)
Prasad Naldurg, Koushik Sen, Prasanna Thati
A Temporal Logic Based Framework for Intrusion Detection. FORTE (2004)
Prasanna Thati, Carolyn L. Talcott, Gul Agha
Techniques for Executing and Reasoning about Specification Diagrams. AMAST (2004)
Santiago Escobar, José Meseguer, Prasanna Thati
Natural Rewriting for General Term Rewriting Systems. LOPSTR (2004)
José Meseguer, Prasanna Thati
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. WRLA (2004)
Prasanna Thati, Koushik Sen, Narciso Martí-Oliet
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. Electron. Notes Theor. Comput. Sci. 71 (2002)
Nadeem Jamali, Prasanna Thati, Gul A. Agha
A actor-based architecture for customizing and controlling agent ensembles. IEEE Intell. Syst. 14 (2) (1999)