Prasanna Thati
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2005
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | CALCO | Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. | Prasanna Thati, Jos Meseguer |
| 2005 | CAV | Automated Assume-Guarantee Reasoning for Simulation Conformance. | Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati |
| 2004 | FORTE | A Temporal Logic Based Framework for Intrusion Detection. | Prasad Naldurg, Koushik Sen, Prasanna Thati |
| 2004 | LOPSTR | Natural Rewriting for General Term Rewriting Systems. | Santiago Escobar, Jos Meseguer, Prasanna Thati |