Thati, Prasanna, Jose Meseguer. "Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing," International Conference on Algebra and Coalgebra in Computer Science, to appear, 2005. [bib]
Agha, Gul, Carl Gunter, Michael Greenwald, Sanjeev Khanna, Jose Meseguer, Koushik Sen, Prasanna Thati. "Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories," Foundations of Computer Security (FCS), 2005. [bib]
Escobar, Santiago, Jose Meseguer, Prasanna Thati. "Natural Narrowing for General Term Rewriting Systems," International Conference on Term Rewriting Techniques and Applications, 2005. [pdf] [ps] [bib]
Meseguer, Jose, Prasanna Thati. "Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols," to appear in Journal of Higher Order and Symbolic Computation , 2005. [pdf] [ps] [bib]
Naldurg, Prasad, Koushik Sen, Prasanna Thati. "A Temporal Logic Based Approach to Intrusion Detection," In 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'04), volume 3235 of Lecture Notes in Computer Science, pages 359-376, Madrid, Spain, September 2004. Springer., 2004. [pdf] [ps] [bib]
Thati, Prasanna, Grigore Rosu. "Monitoring Algorithms for Metric Temporal Logic Specifications," Runtime Verification (RV), 2004. [pdf] [ps] [bib]
Escobar, Santiago, Jose Meseguer, Prasanna Thati. "Natural Rewriting for General Term Rewriting Systems," Submitted to International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR), 2004. [pdf] [ps] [bib]
Thati, Prasanna, Carolyn Talcott, Gul Agha. "Techniques for Executing and Reasoning About Specification Diagrams," International Conference on Algebraic Methodology and Software Technology (AMAST), 2004. [pdf] [ps] [bib]
Thati, Prasanna, Mahesh Viswanathan. "Verification of Asynchronous Systems with Unbounded and Unordered Message Buffers," International Workshop on Automated Verification of Infinite State Systems (AVIS), 2004. [pdf] [ps] [bib]
Thati, Prasanna. "A theory of testing for asynchronous concurrent systems," Phd Dissertation, University of Illinois at Urbana Champaign, October, 2003. [pdf] [ps] [bib]
Ziaei, Reza, Gul Agha, Prasanna Thati. "A Theory of May Testing for Actors," International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2002. [pdf] [ps] [bib]
Agha, Gul, Prasanna Thati. "An Algebraic Theory of Actors and its Application to a Simple Object-Based Language," Festschrift in honour of Ole-Johan Dahl, to be published in LNCS, Springer Verlag, 2002. [bib]
Thati, Prasanna, Koushik Sen, Narciso Marti-Oliet. "An Executable Specification of Asynchronous Pi-Calculus and May-Testing in Maude 2.0," WRLA (ENTCS), 2002. [pdf] [ps] [bib]
Thati, Prasanna, Reza Ziaei, Gul Agha. "Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching," International Conference on Algebraic Methodology and Software Technology (AMAST), 2002. [pdf] [ps] [bib]
Agha, Gul, Prasanna Thati. "Actors: A model for reasoning about open distributed systems," in H. Bowman and J. Derrick (editors), Formal Methods for Distributed Processing - An Object Oriented Approach, Chap. 8, Cambridge University Press, 2001. [pdf] [ps] [bib]
Agha, Gul, Prasanna Thati, Reza Razavi. "Actors: A Model for Reasoning about Open Distributed Systems," Formal methods for distributed processing: a survey of object-oriented approaches, 2001. [bib] [pdf]
Thati, Prasanna, Po-Hao Chang, Gul Agha. "Crawlets: Agents for high performance web search engines," IEEE International Conference on Mobile Agents (MA), 2001. [ps] [bib]
Thati, Prasanna. "Towards an Algebriac Formulation of Actors," Masters Thesis, 2001. [pdf] [ps] [bib]
Mohindra, Ajay, Apratim Purakayastha, Prasanna Thati. "Exploiting non-determinism for reliability of mobile agent systems," International Conference on Dependable Systems and Networks (DSN), 2000. [pdf] [ps] [bib]
Jamali, Nadeem, Prasanna Thati, Gul Agha. "An Actor-based architecture for customizing and controlling agent ensembles," IEEE Intelligent Systems, vol. 14, no. 2, April, 1999. [pdf] [ps] [bib]
Mishra, Neelkanth, Prasanna Thati, Mukesh P. Singh, Bal K. Birla, Devendra Vidhani, Aditya N. Lal, Amitabha Mukerjee. "Experiments on gesture-based user interfaces," International Conference on Cognitive Science, 1995. [bib]