User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 2 results.
    • Speech
    C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
    Chenoy, Antoine[UCL] Duchêne, Fabien[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2021) SPIN 2021 - 27th International SPIN Symposium on Model Checking of Software — Online
    • Speech
    Exploiting Virtualisation for Interactive Virtual Teaching
    Duchêne, Fabien[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] Strebelle, Sébastien[UCL] (2020) Teaching and Learning Computer Networking During the Pandemic and Beyond — Online