BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Thati:Prasanna

Contributed to:

CAV 20052005
RTA 20052005
LOPSTR 20042004
WRLA 20042005
WRLA 20042007
WRLA 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.