Search

Pages

1. Extension of PyNuSMV SAT toolbox

   By : Feyens, Victor[UCL] Directed by : Pecheur, Charles[UCL] (2018) Ecole polytechnique de Louvain

2. Création d'une application web de réseau social musical

   By : Ivinza Mbe, Scott[UCL] Directed by : Pecheur, Charles[UCL] (2018) 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. 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. 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

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

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