#### Filter Results:

- Full text PDF available (13)

#### Publication Year

2000

2008

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Prasanna Thati, Grigore Rosu
- Electr. Notes Theor. Comput. Sci.
- 2005

Program execution traces can be so large in practical testing and monitoring applications that it would be very expensive, if not impossible, to store them for detailed analysis. Monitoring executionâ€¦ (More)

- JosÃ© Meseguer, Prasanna Thati
- Electr. Notes Theor. Comput. Sci.
- 2005

Mobile agents are useful for certain classes of applications. One important technical hurdle blocking their adoption is their lack of reliability. Designing a reliable mobile agent system isâ€¦ (More)

- Prasad Naldurg, Koushik Sen, Prasanna Thati
- FORTE
- 2004

We propose a framework for intrusion detectionthat is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expressively rich and efficientlyâ€¦ (More)

- Gul A. Agha, Prasanna Thati
- Essays in Memory of Ole-Johan Dahl
- 2004

The development of Simula by Ole-Johan Dahl and Kristen Nygaard introduced a number of important programming language concepts â€“ object which supports modularity in programming through encapsulationâ€¦ (More)

- JosÃ© Meseguer, Prasanna Thati
- Higher-Order and Symbolic Computation
- 2007

Narrowing was introduced, and has traditionally been used, to solve equations in initial and free algebras modulo a set of equations E. This paper proposes a generalization of narrowing which can beâ€¦ (More)

We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non-circular assume-guarantee proofâ€¦ (More)

- Santiago Escobar, JosÃ© Meseguer, Prasanna Thati
- LOPSTR
- 2004

We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the most efficient of allâ€¦ (More)

- Santiago Escobar, JosÃ© Meseguer, Prasanna Thati
- Electr. Notes Theor. Comput. Sci.
- 2007

Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both cases, narrowingâ€¦ (More)

- Prasanna Thati, Reza Ziaei, Gul A. Agha
- FMOODS
- 2002

The Actor model and Ï€-calculus have served as the basis of a large body of research on concurrency. We represent the Actor model as a typed asynchronous Ï€-calculus, called AÏ€. The type system imposesâ€¦ (More)