Searching for authors named "Prasanna Thati" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
unknown title
- …'e Meseguer2, and Prasanna Thati2 1 Universidad Polit'ecnica de Valencia, Spain sescobar@(email omitted); 2…
- Add To MetaCart
-
Complete symbolic reachability analysis using back-and-forth narrowing
- …Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing Prasanna Thati 1 and José…
- Cited by 4 (2 self) – Add To MetaCart
-
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols
- … to Verification of Cryptographic Protocols ⋆ Abstract José Meseguer, and Prasanna Thati Department of Computer…
- Cited by 11 (4 self) – Add To MetaCart
-
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0
- … in Maude 2.0 Prasanna Thati Koushik Sen Department of Computer Science University of Illinois at Urbana…
- Cited by 17 (4 self) – Add To MetaCart
-
A Temporal Logic Based Framework for Intrusion Detection
- …A Temporal Logic Based Framework for Intrusion Detection Prasad Naldurg, Koushik Sen, and Prasanna…
- Cited by 1 (0 self) – Add To MetaCart
-
Natural narrowing for general term rewriting systems
- … , and Prasanna Thati 3 1 Universidad Politécnica de Valencia, Spain. sescobar@(email omitted); 2 University…
- Cited by 5 (2 self) – Add To MetaCart
-
Techniques for Executing and Reasoning about Specification Diagrams
- …Techniques for Executing and Reasoning About Specication Diagrams Prasanna Thati 1 , Carolyn…
- Cited by 1 (0 self) – Add To MetaCart
-
Natural narrowing as a general unified mechanism for programming and proving
- … , José Meseguer 2 , and Prasanna Thati 3 1 Universidad Politécnica de Valencia, Spain. sescobar…
- Cited by 2 (2 self) – Add To MetaCart
-
Natural rewriting for general term rewriting systems
- … , and Prasanna Thati 3 1 Universidad Politécnica de Valencia, Spain. sescobar@(email omitted); 2 University…
- Cited by 1 (1 self) – Add To MetaCart
-
Verification of Asynchronous Systems with Unbounded and Unordered Message Buffers
- … Message Buffers Prasanna Thati, and Mahesh Viswanathan Department of Computer Science, UIUC, Urbana…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
