Search

Displaying 9 results.

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

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

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

  4. Visualization of binary decision diagram
    By : Dollé, Xavier[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) 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. Modelling and analysing parliamentary law with Alloy
    By : Munyabarenzi, Clémentine Zaninka[UCL] Directed by : Pecheur, Charles[UCL] (2016) Ecole polytechnique de Louvain

  7. Adding SAT-based model checking to the PyNuSMV framework
    By : Gillard, Xavier[UCL] Directed by : Pecheur, Charles[UCL] (2016) Ecole polytechnique de Louvain

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

  9. COMUTE : Étude de faisabilité d'une plateforme de covoiturage basée sur le principe des communautés
    By : De Cnuydt, Benjamin[UCL] Deudon, Corentin[UCL] Pampfer, Eléonore[UCL] Directed by : Pecheur, Charles[UCL] Zintz, Thierry[UCL] Dubois, Michaël[UCL] (2020) Ecole polytechnique de Louvain — Faculté des sciences de la motricité — Faculté de psychologie et des sciences de l'éducation