Prasanna Thati

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols.
High. Order Symb. Comput., 2007

2006
Complete symbolic reachability analysis using back-and-forth narrowing.
Theor. Comput. Sci., 2006

Narrowing and Rewriting Logic: from Foundations to Applications.
Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

2005
Natural Narrowing for General Term Rewriting Systems.
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

Automated Assume-Guarantee Reasoning for Simulation Conformance.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Monitoring Algorithms for Metric Temporal Logic Specifications.
Proceedings of the Fourth Workshop on Runtime Verification, 2004

Natural Rewriting for General Term Rewriting Systems.
Proceedings of the Logic Based Program Synthesis and Transformation, 2004

A Temporal Logic Based Framework for Intrusion Detection.
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.
Proceedings of the From Object-Orientation to Formal Methods, 2004

Techniques for Executing and Reasoning about Specification Diagrams.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
A Theory of Testing for Asynchronous Concurrent Systems
PhD thesis, 2003

2002
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

A Theory of May Testing for Actors.
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.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
Crawlets: Agents for High Performance Web Search Engines.
Proceedings of the Mobile Agents, 5th International Conference, 2001

2000
Exploiting Non-Determinism for Reliability of Mobile Agent Systems.
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.
IEEE Intell. Syst., 1999


  Loading...