Simulation toolbox for studying energy consumption in wired networks. - Anne-Cécile Orgerie; Betsegaw Lemma Amersho; Timothée Haudebourg; Martin Quinson; Myriana Rifai; Dino Lopez Pacheco; Laurent Lefèvre (CNSM, 2017)

On the Energy Efficiency of Sleeping and Rate Adaptation for Network Devices. - Timothée Haudebourg; Anne-Cécile Orgerie (ICA3PP, 2017)

Verifying Higher-Order Functions with Tree Automata. - Thomas Genet; Timothée Haudebourg; Thomas P. Jensen (FoSSaCS, 2018)

Extending Timbuk to Verify Functional Programs. - Thomas Genet; Tristan Gillard; Timothée Haudebourg; Sébastien Lê Cong (WRLA@ETAPS, 2018)

Regular language type inference with term rewriting. - Timothée Haudebourg; Thomas Genet; Thomas P. Jensen (Proc. ACM Program. Lang., 2020)

Automatic verification of higher-order functional programs using regular tree languages. (Vérification automatique de programmes fonctionnels d'ordre supérieur à l'aide de languages réguliers d'arbres). - Timothée Haudebourg (2020)