Travelled to:1 × Italy
1 × Japan
1 × United Kingdom
Collaborated with:J.Meseguer S.Escobar K.Sen N.Martí-Oliet S.Chaki E.M.Clarke N.Sinha
Talks about:rewrit (3) narrow (3) cryptograph (2) reachabl (2) protocol (2) general (2) analysi (2) system (2) symbol (2) applic (2)
Person: Prasanna Thati
DBLP: Thati:Prasanna
Contributed to:
2005
2005
2004
200520072002Wrote 6 papers:
- CAV-2005-ChakiCST #automation #consistency #reasoning #simulation
- Automated Assume-Guarantee Reasoning for Simulation Conformance (SC, EMC, NS, PT), pp. 534–547.
- RTA-2005-EscobarMT #term rewriting
- Natural Narrowing for General Term Rewriting Systems (SE, JM, PT), pp. 279–293.
- LOPSTR-2004-EscobarMT #term rewriting
- Natural Rewriting for General Term Rewriting Systems (SE, JM, PT), pp. 101–116.
- WRLA-2004-MeseguerT05 #analysis #encryption #protocol #reachability #using #verification
- Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols (JM, PT), pp. 153–182.
- WRLA-J-2004-MeseguerT07 #analysis #encryption #protocol #reachability #using #verification
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (JM, PT), pp. 123–160.
- WRLA-2002-ThatiSM #execution #maude #semantics #specification #testing #π-calculus
- An Executable Specification of Asynchronous π-Calculus Semantics and May Testing in Maude 2.0 (PT, KS, NMO), pp. 261–281.