Archives for INGI

Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution By Felix Rath, PhD student at the COMSYS chair at RWTH Aachen University The main reason for the standardization of network protocols, like QUIC, is to ensure interoperability between implementations, which...

Visualization of Dynamic and Complex Data: from Hierarchical Time Series to Multilayer Graphs By Erick CUENCA, Postdoctoral researcher at UCLouvain The analysis of complex data, large and from different sources (e.g. internet, social networks, etc.) is a difficult task. However, it remains...

À propos d'une famille d'algorithmes pour compresser/abstraire une table de valeurs en une table de conditions sur/entre ces valeurs par Baudouin Le Charlier, professeur ordinaire émérite à l'université catholique de Louvain Le problème discuté dans cette présentation a...

Improving network flexibility Computer networks are deeply ingrained in our daily lives. We rely on them to place audio calls, to watch movies, or even to automate parts of our houses. Each of these use-cases comes with its own requirements to ensure its proper operation and generates unique...