Prasanna Thati

14 papers A* 1B 1C 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2007 J jnl
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols.
High. Order Symb. Comput.
José Meseguer, Prasanna Thati
2006 J jnl
Complete symbolic reachability analysis using back-and-forth narrowing.
Theor. Comput. Sci.
Prasanna Thati, José Meseguer
2006 — conf
Narrowing and Rewriting Logic: from Foundations to Applications.
WFLP
Santiago Escobar, José Meseguer, Prasanna Thati
2005 A* conf
Automated Assume-Guarantee Reasoning for Simulation Conformance.
CAV
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati
2005 B conf
Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.
CALCO
Prasanna Thati, José Meseguer
2005 — conf
Natural Narrowing for General Term Rewriting Systems.
RTA
Santiago Escobar, José Meseguer, Prasanna Thati
2004 C conf
A Temporal Logic Based Framework for Intrusion Detection.
FORTE
Prasad Naldurg, Koushik Sen, Prasanna Thati
2004 — conf
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.
Essays in Memory of Ole-Johan Dahl
Gul Agha, Prasanna Thati
2004 — conf
Monitoring Algorithms for Metric Temporal Logic Specifications.
RV@ETAPS
Prasanna Thati, Grigore Rosu
2004 C conf
Natural Rewriting for General Term Rewriting Systems.
LOPSTR
Santiago Escobar, José Meseguer, Prasanna Thati
2004 — conf
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols.
WRLA
José Meseguer, Prasanna Thati
2004 — conf
Techniques for Executing and Reasoning about Specification Diagrams.
AMAST
Prasanna Thati, Carolyn L. Talcott, Gul Agha
2002 — conf
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.
WRLA
Prasanna Thati, Koushik Sen, Narciso Martí-Oliet
1999 J jnl
A actor-based architecture for customizing and controlling agent ensembles.
IEEE Intell. Syst.
Nadeem Jamali, Prasanna Thati, Gul A. Agha