• Journaux

    • "Reachability Analysis over Term Rewriting Systems"

    Guillaume Feuillade, Thomas Genet, Valérie Viêt Triêm Tông

    accepter en mars 2004 -- à paraître dans Journal of Automated Reasonning

  • Conférences Internationales

    • [GT01] (ps)
    T. Genet and V. Viet Triem Tong. Reachability Analysis of Term Rewriting Systems with Timbuk. In Proceedings 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Havana (Cuba), volume 2250 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2001.

  • Workshop

    • [GTTT03] (gzipped)
    T. Genet, Y.-M. Tang-Talpin, and V. Viet Triem Tong. Verification of copy-protection cryptographic protocol using approximations of term rewriting systems. In Proc. of WITS'03, Workshop on Issues in the Theory of Security, 2003.



  • Rapport INRIA

    • [FGT03] (gzipped)
    Guillaume Feuillade, Thomas Genet and Valérie Viet Triem Tong. Reachability Analysis of Term Rewriting Systems. Technical Report RR-4970, INRIA, 2003.

    [GT02] (gzipped,
    Thomas Genet and Valérie Viet Triem Tong. Proving Negative Conjectures on Equational Theories using Induction and Abstract Interpretation. Technical Report RR-4576, INRIA, 2002.

    [GT01] (gzipped,
    Thomas Genet and Valérie Viet Triem Tong. Reachability Analysis of Term Rewriting Systems with Timbuk (extended version). Technical Report RR-4266, INRIA, 2001.