Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Thèse

A declarative approach to Java Virtual Machine modelisation and Bytecode execution

Auteur: Laffineur, G., 23 juin 2017

Superviseur: Cleve, A. (Président) & Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

A distributed collaborative model editing framework for domain specific modeling languages

Auteur: Koshima, A., 12 janv. 2016

Superviseur: Englebert, V. (Promoteur), Thiran, P. (Copromoteur), Vanhoof, W. (Président), Cleve, A. (Jury), Mens, T. (Personne externe) (Jury) & Van Gorp, P. (Personne externe) (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier

Aide à la distribution et exploitation électrique : simulation et optimisation

Auteur: Braun, C., 29 août 2017

Superviseur: Vanhoof, W. (Président) & Jacquet, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

A multi-objective genetic algorithm for biclustering of gene expression data with probabilistic encoding and overlapping control

Auteur: Marcozzi, M., 29 sept. 2010

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Analyse d'exécutables x86 par transformation sous forme de clauses de Horn

Auteur: Devos, A., 26 juin 2017

Superviseur: Cleve, A. (Président) & Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Analyzing, Understanding and Supporting the Evolution of Dynamic and Heterogeneous Data-Intensive Software Systems

Auteur: Meurice, L., 22 juin 2017

Superviseur: Cleve, A. (Promoteur), Englebert, V. (Président), Lanza, M. (Personne externe) (Jury), Mens, T. (Personne externe) (Jury), Frenay, B. (Jury) & Vanhoof, W. (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier

Application des Machines à Etats Finis en Synthèse de la Parole: Sélection d'unités non uniformes et Correction orthographique

Auteur: Beaufort, R., 2008

Superviseur: Jacquet, J. (Promoteur), Deville, G. (Copromoteur), Vanhoof, W. (Jury), DUTOIT, T. (Personne externe) (Copromoteur), FLUHR, C. (Personne externe) (Jury) & Schobbens, P. (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier

Approche déclarative pour la modélisation et l'exécution de processus métiers: les workflow Saturn

Auteur: Demeyer, R., 2009

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Automatic Test Generation for Data-driven Applications

Auteur: Marcozzi, M., 24 oct. 2014

Superviseur: Vanhoof, W. (Promoteur), Habra, N. (Jury), Hainaut, J. (Jury), Englebert, V. (Jury), WIJSEN, J. (Personne externe) (Jury) & Serebrenik, A. (Personne externe) (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Building a bridge between goal-oriented requirements with KAOS and event-B system specifications

Auteur: Devroey, X., 2010

Superviseur: Vanhoof, W. (Promoteur), Ponsard, C. (Personne externe) (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Calculus of Communicating Systems: A web based tool in Scala

Auteur: Gillet, J. & Willame, D., 26 juin 2017

Superviseur: Vanhoof, W. (Président) & Jacquet, J. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Chromatin loops prediction with Machine Learning

Auteur: Vanhaeren, T., juin 2019

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques à finalité spécialisée en data science

Co-analyse schéma-données-programmes en rétro-ingénierie des bases de données

Auteur: Folisi, P., 2009

Superviseur: Hainaut, J. (Promoteur), Cleve, A. (Copromoteur), Schumacher, L. (Jury), Vanhoof, W. (Jury) & Henrard, J. (Jury)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Co-Design Urbain: Un modèle théorique pour une plate-forme numérique de co-design dans le contexte Smart City

Auteur: Carlier, C., 30 août 2017

Superviseur: Vanhoof, W. (Président) & Thiran, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Construction d'arbres de décision adaptée aux attributs quantitatifs et à l'asymétrie

Auteur: Elias, A., 2011

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Débogage de modèles B événementiels en utilisant le plugin ProB disprover

Auteur: Ligot, O., 2007

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Définition d’un DSML destiné à modéliser des applications mobiles multi-plateformes

Auteur: Trapletti, L., 20 juin 2017

Superviseur: Vanhoof, W. (Président) & Englebert, V. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Description de l’interaction multimodale :extension du langage SMUIML

Auteur: Tallier, M., 26 juin 2017

Superviseur: Vanhoof, W. (Président) & Dumas, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Description et approche expérimentale de raisonnement hybride au sein du Web sémantique

Auteur: Sirjacques, J., 3 sept. 2018

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques à finalité spécialisée en informatique des organisations

Fichier

Edsger Wybe Dijkstra: first years in the computing science (1951-1968)

Auteur: van den Hove, G., 2009

Superviseur: Vanhoof, W. (Promoteur) & Le Charlier, B. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

En quoi consiste la pertinence liée à l'utilisation d'un pipeline d'extraction de données génétiques dans le milieu médical

Auteur: Dartevelle, J., 2 sept. 2016

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Equivalence algorithmique par transformations de programmes logiques avec contraintes

Auteur: Yernaux, G., 23 juin 2017

Superviseur: Cleve, A. (Président), Vanhoof, W. (Promoteur) & Schobbens, P. (Jury)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Evaluation de règles SWRL en chaînage avant

Auteur: Busard, F., 2008

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Génération automatique de données de test pour Mercury

Auteur: Mweze Nabintu Feza, N., 2005

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Génération de contraintes pour le test de programmes manipulant une base de donnée

Auteur: Hardenne, R., 3 sept. 2015

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier