Term Rewriting and All That, 1998. ,
Tom: Piggybacking Rewriting on Java, Proceedings of the 18th Conference on Rewriting Techniques and Applications, pp.36-47, 2007. ,
DOI : 10.1007/978-3-540-73449-9_5
URL : https://hal.archives-ouvertes.fr/inria-00142045
Optimizing pattern matching compilation by program transformation, 3rd Workshop on Software Evolution through Transformations (SeTra'06). Electronic Communications of EASST, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00001127
Rewriting Approximations for Fast Prototyping of Static Analyzers, Proceedings of the 18th Conference on Rewriting Techniques and Applications, pp.48-62, 2007. ,
DOI : 10.1007/978-3-540-73449-9_6
URL : https://hal.archives-ouvertes.fr/hal-00463418
Automatic Verification of Security Protocols Using Approximations, Research Report RR, vol.5727, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00070291
Introducing the ITP tool: a tutorial, J. UCS, vol.12, issue.11, pp.1618-1650, 2006. ,
Handbook of Theoretical Computer Science, volume B, chapter 6: Rewrite Systems, pp.244-320, 1990. ,
The Maude LTL Model Checker and Its Implementation, SPIN, volume 2648 of LNCS, pp.230-234, 2003. ,
DOI : 10.1007/3-540-44829-2_16
Formal Analysis of Java Programs in JavaFAN, CAV, pp.501-505, 2004. ,
DOI : 10.1007/978-3-540-27813-9_46
Decidable approximations of sets of descendants and sets of normal forms, Proc. 9th RTA Conf., Tsukuba (Japan), volume 1379 of LNCS, pp.151-165, 1998. ,
DOI : 10.1007/BFb0052368
URL : https://hal.archives-ouvertes.fr/inria-00073364
Rewriting for Cryptographic Protocol Verification, Proc. 17th CADE Conf., Pittsburgh (Pen., USA), volume 1831 of LNAI, 2000. ,
DOI : 10.1007/10721959_21
URL : https://hal.archives-ouvertes.fr/inria-00072731
Verification of Copy Protection Cryptographic Protocol using Approximations of Term Rewriting Systems, Proceedings of Workshop on Issues in the Theory of Security, 2003. ,
Timbuk 2.0 ? a Tree Automata Library, 2000. ,
Regular tree languages and rewrite systems, Fundamenta Informaticae, vol.24, pp.157-175, 1995. ,
URL : https://hal.archives-ouvertes.fr/inria-00538882
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools, IJCAR, pp.1-44, 2004. ,
DOI : 10.1007/978-3-540-25984-8_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.4371
A Verification Technique Using Term Rewriting Systems and Abstract Interpretation, Proc. 15th RTA Conf, pp.119-133, 2004. ,
DOI : 10.1007/978-3-540-25979-4_9
Smartright technical white paper v1.0, 2001. ,