Publications

Journals

[FGV04] (gzipped)

G. Feuillade, T. Genet and V. Viet Triem Tong. Reachability Analysis over Term Rewriting Systems. In Journal of Automated Reasonning. Volume 33 (3-4). 2004.

[GR09] (pdf)

T. Genet and V. Rusu. Equational Tree Automata Completion. In Journal of Symbolic Computation. 2010. To Appear.

Conferences

[BGJ08] (pdf)

B. Boyer, T. Genet and T. Jensen. Certifying a Tree Automata Completion Checker. In Proceedings of IJCAR'08, volume 5195 of Lecture Notes in Computer Science. Springer-Verlag, 2008.

[BBGM08] (pdf)

Y. Boichut, E. Balland, T. Genet and P.-E. Moreau. Towards an Efficient Implementation of Tree Automata Completion. In Proceedings of AMAST'08, volume 5140 of Lecture Notes in Computer Science. Springer-Verlag, 2008.

[BGGH07] (pdf)

Y. Boichut, T. Genet, Y. Glouche and O. Heen. Using Animation to Improve Formal Specifications of Security Protocols. In Proceedings of SAR-SSI'07, 2007.

[BGJL07] (pdf)

Y. Boichut, T. Genet, T. Jensen and L. Le Roux. Rewriting Approximations for Fast Prototyping of Static Analyzers. In Proceedings of 18th International Conference on Rewriting Techniques and Applications, volume 4533 of Lecture Notes in Computer Science. Springer-Verlag, 2007.

[BG06] (pdf or .ps gzipped)

Y. Boichut and T. Genet. Feasible Trace Reconstruction for Rewriting Approximations. In Proceedings of 17th International Conference on Rewriting Techniques and Applications, Seattle (USA), volume 4098 of Lecture Notes in Computer Science. Springer-Verlag, 2006.

[GT01] (gzipped or not)

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.

[GK00] (gzipped or not)

T. Genet and F. Klay. Rewriting for Cryptographic Protocol Verification. In Proceedings 17th International Conference on Automated Deduction, Pittsburgh (Pen., USA), volume 1831 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2000.

[Gen98a] (zipped or not)

T. Genet. Decidable approximations of sets of descendants and sets of normal forms. In T. Nipkow, editor, Proceedings 9th International Conference on Rewriting Techniques and Applications, Tsukuba (Japan), volume 1379 of Lecture Notes in Computer Science, pages 151-165. Springer-Verlag, 1998.

[GG97a] (zipped or not)

T. Genet and I. Gnaedig. Termination proofs using gpo ordering constraints. In M. Dauchet, editor, Proceedings 22nd International Colloquium on Trees in Algebra and Programming, Lille (France), volume 1214 of Lecture Notes in Computer Science, pages 249-260. Springer-Verlag, 1997.

Workshops

[HGG09] (pdf)

O. Heen, G. Guette, T. Genet. On the unobservability of a trust relation in mobile ad hoc networks. In Proc. of WISTP'09, Brussels, volume 5746 of Lecture Notes in Computer Science, Springer, 2009.

[BG09] (pdf)

B. Boyer, T. Genet. Verifying Temporal Regular properties of Abstractions of Term Rewriting Systems. In Proc. of RULE'09, Brasilia, volume ??? of Electronic Proceedings in Theoretical Computer Science. June 2009.

[HGGP08] (pdf)

O. Heen, T. Genet, S. Geller and N. Prigent. An Industrial and Academic Joint Experiment on Automated Verification of a Security Protocol. In IFIP Networking  Workshop on Mobile and Networks Security, Singapore, May 2008.

[GGHC06] (pdf)

Y. Glouche, T. Genet, O. Heen and O. Courtay. A Security Protocol Animator Tool for AVISPA. In ARTIST2 Workshop on Security Specification and Verification of Embedded Systems , Pisa, May 2006.

[FG03] (gzipped)

G. Feuillade and T. Genet. Reachability in Conditional Term Rewriting Systems. In Proc. of FTP'03, Workshop on First Order Theorem Proving , Electr. Notes Theor. Comput. Sci., volume 86, No 1. May 2003.

[GJKP03] (gzipped)

T. Genet, T. Jensen, V. Kodati and D. Pichardie. A JavaCard CAP Converter in PVS. In Proc. of COCV'03, Workshop on Compiler Optimization Meets Compiler Verification, volume 82 of ENTCS, No 2, April 2003.

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

Posters

[RAVAJ08] (pdf)

RAVAJ Team. Réécriture pour la vérification d'applications Java. In Journées du GDR Génie de la Programmation et du Logiciel (GPL), Toulouse, Janvier 2009. (Best poster award).

French Journals

[G08] (link)

T. Genet. Le protocole cryptographique de paiement par carte bancaire. In Interstices, Février 2008.

[HGH08] 

O. Heen, T. Genet, E. Houssay. Votre protocole est-il vérifié? In MISC 39, p 58--68, Septembre 2008.

Technical Reports

[BGJ08] (pdf)

Benoît Boyer, Thomas Genet and Thomas Jensen. Certifying a Tree Automata Completion Checker. Technical Report RR-6462, INRIA, 2008.

[BGJL06] (pdf, ps gzipped)

Yohan Boichut, Thomas Genet, Thomas Jensen and Luka Leroux. Rewriting Approximations for Fast Prototyping of Static Analyzers. Technical Report RR-5997, INRIA, 2006.

[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, or not)

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

[GK00] (zipped, gzipped or not)

Thomas Genet and Francis Klay. Rewriting For Cryptographic Protocol Verification (extended version). Technical Report RR-3921, INRIA, 2000.

[Gen97a] (zipped or not)

Thomas Genet. Proving Termination of Sequential Reduction Relation using Tree Automata. Technical report, CRIN, 1997. 97-R-091.

[Gen97b] (zipped or not)

Thomas Genet. Decidable approximations of sets of descendants and sets of normal forms (extended version). Technical Report RR-3325, Institut National de Recherche en Informatique et Automatique, 1997.

[GG97b] (zipped or not)

Thomas Genet and Isabelle Gnaedig. Termination proofs using gpo ordering constraints (extended version). Technical report, Institut National de Recherche en Informatique et Automatique, 1997. RR-3087.

Habilitation Thesis

[Gen09] (pdf)

Thomas Genet. Reachability analysis of rewriting for software verification. Habilitation à diriger des recherches, Université de Rennes 1, 2009.

PhD Thesis

[Gen98b] (zipped, gzipped or not)

Thomas Genet. Contraintes d'ordre et automates d'arbres pour les preuves de terminaison. Thèse de Doctorat d'Université, Université Henri Poincaré - Nancy 1, 1998.