Timothée Haudebourg

According to our database, Timothée Haudebourg authored at least 6 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

PhD thesis, 2020

Regular language type inference with term rewriting.

Timothée Haudebourg, Thomas Genet, Thomas P. Jensen

Proc. ACM Program. Lang., 2020

2018

Extending Timbuk to Verify Functional Programs.

Thomas Genet, Tristan Gillard, Timothée Haudebourg, Sébastien Lê Cong

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

Verifying Higher-Order Functions with Tree Automata.

Thomas Genet, Timothée Haudebourg, Thomas P. Jensen

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

On the Energy Efficiency of Sleeping and Rate Adaptation for Network Devices.

Timothée Haudebourg, Anne-Cécile Orgerie

Proceedings of the Algorithms and Architectures for Parallel Processing, 2017

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

Proceedings of the 13th International Conference on Network and Service Management, 2017