Prasanna Thati

According to our database, Prasanna Thati authored at least 17 papers between 1999 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols.

José Meseguer, Prasanna Thati

High. Order Symb. Comput., 2007

2006

Complete symbolic reachability analysis using back-and-forth narrowing.

Prasanna Thati, José Meseguer

Theor. Comput. Sci., 2006

Narrowing and Rewriting Logic: from Foundations to Applications.

Santiago Escobar, José Meseguer, Prasanna Thati

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

2005

Natural Narrowing for General Term Rewriting Systems.

Santiago Escobar, José Meseguer, Prasanna Thati

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

Automated Assume-Guarantee Reasoning for Simulation Conformance.

Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Monitoring Algorithms for Metric Temporal Logic Specifications.

Prasanna Thati, Grigore Rosu

Proceedings of the Fourth Workshop on Runtime Verification, 2004

Natural Rewriting for General Term Rewriting Systems.

Santiago Escobar, José Meseguer, Prasanna Thati

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

A Temporal Logic Based Framework for Intrusion Detection.

Prasad Naldurg, Koushik Sen, Prasanna Thati

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language.

Gul Agha, Prasanna Thati

Proceedings of the From Object-Orientation to Formal Methods, 2004

Techniques for Executing and Reasoning about Specification Diagrams.

Prasanna Thati, Carolyn L. Talcott, Gul Agha

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

A Theory of Testing for Asynchronous Concurrent Systems

Prasannaa Thati

PhD thesis, 2003

2002

An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.

Prasanna Thati, Koushik Sen, Narciso Martí-Oliet

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

A Theory of May Testing for Actors.

Prasannaa Thati, Reza Ziaei, Gul Agha

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching.

Prasannaa Thati, Reza Ziaei, Gul Agha

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Crawlets: Agents for High Performance Web Search Engines.

Prasannaa Thati, Po-Hao Chang, Gul Agha

Proceedings of the Mobile Agents, 5th International Conference, 2001

2000

Exploiting Non-Determinism for Reliability of Mobile Agent Systems.

Ajay Mohindra, Apratim Purakayastha, Prasannaa Thati

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

A actor-based architecture for customizing and controlling agent ensembles.

Nadeem Jamali, Prasanna Thati, Gul A. Agha

IEEE Intell. Syst., 1999