Faculty of Computer Science

  • 5000

    Belgium

Activities

Filter
External Thesis

Formal verification of railway interlocking systems

Gilles Perrouin (Supervisor)

18 Dec 2019

Activity: Examination typesExternal Thesis

Ahmed Tayeh: "A Dynamically Extensible Cross-Document Link Service"

Bruno Dumas (Jury Member)

21 Oct 2016

Activity: Examination typesExternal Thesis

Context-Aware Prediction techniques with Applications in Mobile Broadband Networks

Laurent Schumacher (Jury Member)

8 Apr 2016

Activity: Examination typesExternal Thesis

Jury de la thèse de S. Frémal

Jean-Noël Colin (Jury Member)

7 Jul 2015

Activity: Examination typesExternal Thesis

Jury de thèse de D. Shirnin

Jean-Noël Colin (Jury Member)

18 Nov 2014

Activity: Examination typesExternal Thesis

Improving Multipath TCP

Laurent Schumacher (Jury Member)

24 Nov 2014

Activity: Examination typesExternal Thesis

Schedule-based Multi-channel Wireless Sensor Networks Protocol Design and Evaluation

Laurent Schumacher (Jury Member)

21 Aug 2014

Activity: Examination typesExternal Thesis

Multiple Live Videos Delivery in Underprovisioned Networks

Laurent Schumacher (Reviewer)

4 Nov 2013

Activity: Examination typesExternal Thesis

Automatic parallelisation for Mercury

Wim Vanhoof (Jury Member)

1 Mar 201315 Mar 2013

Activity: Examination typesExternal Thesis