Search

Displaying 1 - 10 of 18 results.

Pages

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

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

  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. Study of SAT solvers improvement techniques
    By : Fitvoye, Florian[UCL] Directed by : Pecheur, Charles[UCL] Gillard, Xavier[UCL] (2019) Ecole polytechnique de Louvain

  5. Computing minimal representations with binary decision diagrams
    By : Royers, Amaury[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

  6. Visualization of binary decision diagram
    By : Dollé, Xavier[UCL] Directed by : Pecheur, Charles[UCL] Busard, Simon[UCL] (2016) Ecole polytechnique de Louvain

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

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

  9. Modelling and analysing parliamentary law with Alloy
    By : Munyabarenzi, Clémentine Zaninka[UCL] Directed by : Pecheur, Charles[UCL] (2016) Ecole polytechnique de Louvain

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

Pages