Résultats de recherche

• 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)

  Student thesis: Master types › Master 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)

  Student thesis: Doc types › Docteur 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)

  Student thesis: Master types › Master 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)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Analyse de classes Android

  Auteur: Bastin, L., 22 juin 2020

  Superviseur: VANHOOF, W. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering

  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)

  Student thesis: Master types › Master 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)

  Student thesis: Doc types › Docteur 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)

  Student thesis: Doc types › Docteur 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)

  Student thesis: Master types › Master 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)

  Student thesis: Doc types › Docteur 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)

  Student thesis: Master types › Master 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)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Chromatin loops prediction with Machine Learning

  Auteur: Vanhaeren, T., juin 2019

  Superviseur: Vanhoof, W. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en data science

• Citizen Participation in Smart Cities: Facilitating Access through Awareness, Open Government Data, and Public Displays

  Auteur: Clarinval, A., 28 oct. 2021

  Superviseur: Dumas, B. (Promoteur), VANHOOF, W. (Président), Vanderose, B. (Jury), CASTIAUX, A. (Jury), Vande Moere, A. (Personne externe) (Jury) & Elsen, C. (Personne externe) (Jury)

  Student thesis: Doc types › Docteur en Sciences

  Fichier

• 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)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• 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)

  Student thesis: Master types › Master 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)

  Student thesis: Master types › Master 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)

  Student thesis: Master types › Master 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)

  Student thesis: Master types › Master 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)

  Student thesis: Master types › Master 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)

  Student thesis: Master types › Master en sciences informatiques à finalité spécialisée en Software engineering

  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)

  Student thesis: Master types › Master 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)

  Student thesis: Master types › Master 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)

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• Evaluation de règles SWRL en chaînage avant

  Auteur: Busard, F., 2008

  Superviseur: Vanhoof, W. (Promoteur)

  Student thesis: Master types › Master en sciences informatiques

  Fichier