Search

Displaying 6 results.

  1. Detection of vacuously true properties
    By : Xu, Xiao[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  2. Élaboration d'un module de gestion de données d'entrée du logiciel HydroAxe, destiné à la prévision des niveaux d'eau sur la Meuse
    By : Couniot, Antoine[UCL] Directed by : Pecheur, Charles[UCL] Soares Frazao, Sandra[UCL] (2015) Ecole polytechnique de Louvain

  3. Génération de feedback enrichis pour la plateforme INGInious
    By : Le, Pham Anh Tuan[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  4. A framework for visualizing and manipulating structured execution graphs
    By : Nauw, Olivier[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  5. Systematics validation of a software hardening framework
    By : Vermeylen, Alex[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  6. Implementing temporal logic queries with PyNuSMV
    By : Thibert, Simon[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain