Search

Pages

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. Design and implementation of a web platform for running events

   By : Heraly, Michaël[UCL] Directed by : Pecheur, Charles[UCL] (2016) Ecole polytechnique de Louvain

4. 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

5. A framework for visualizing and manipulating structured execution graphs

   By : Nauw, Olivier[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

6. Computing minimal representations with binary decision diagrams

   By : Royers, Amaury[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

7. Visualization of binary decision diagram

   By : Dollé, Xavier[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

8. Création d'une plateforme de gestion de prestations en ligne

   By : de Potter d'Indoye, Aurian[UCL] Dechamps, Anthony[UCL] Directed by : Pecheur, Charles[UCL] (2017) Ecole polytechnique de Louvain

9. Specification and verification of a railway level crossing

   By : Ponchau, Thomas[UCL] Directed by : Pecheur, Charles[UCL] Limbrée, Christophe[UCL] (2020) Ecole polytechnique de Louvain

10. Systematics validation of a software hardening framework

    By : Vermeylen, Alex[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

Pages