Tom Rousseaux
Tom Rousseaux is a teaching assistant at ICTEAM, UCLouvain and a PhD student in the INL. He works at the intersection of formal methods and network protocol engineering, focusing on making networked systems safer. One of his major contributions is the Network Simulator-centric Compositional Testing (NSCT) methodology, which unifies model-based testing with network simulation—combining tools such as Ivy and Shadow—to uncover correctness issues in real protocol implementations. In his studies, he supported investigation in routing architectures to make them more modular and efficient. He is currently working on the improvement of NSCT with mixed emulation-simulation techniques.
Publications from this member
Implementing the plugin distribution system
Authors: Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay, Olivier Bonaventure
Published: Proceedings of the SIGCOMM 21 Poster and Demo Sessions
Download the paperCite paperVerifying QUIC implementations using Ivy
Authors: Christophe Crochet, Tom Rousseaux, Maxime Piraux Jean-Francois Sambon, Axel Legay
Published: ACM CoNEXT 2021 Workshop on the Evolution, Performance, and Interoperability of QUIC
Download the paperCite paperxBGP: Faster innovation in routing protocols
Authors: Thomas Wirtgen, Tom Rousseaux, Quentin De Coninck, Nicolas Rybowski, Randy Bush, Laurent Vanbever, Axel Legay, Olivier Bonaventure
Published: 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)
Download the paperDownload the slidesCite paperNetwork Simulator-centric Compositional Testing
Authors: Tom Rousseaux, Christophe Crochet, John Aoga, Axel Legay
Published: Formal Techniques for Distributed Objects, Components, and Systems 2024
Download the paperCite paper