Student theses
- 425 - 450 out of 779 results
Search results
-
Implémentation d'un langage de variabilité
Author: Warnon, P., 2012Supervisor: Heymans, P. (Supervisor), Michel, R. (Supervisor) & Saval, G. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Analysis of inefficiencies in financial institutions detection of money laundering
Author: LANOTTE , M., 2012Supervisor: LINDEN, I. (Jury) & JURETA, I. (Jury)
Student thesis: Master types › Master in Economics
File -
Déploiement de l'approche MoCQA en environnement professionnel
Author: Hanoteau, S., 2012Supervisor: Habra, N. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Développement d'applications intelligentes au-dessus d'un réseau de capteurs sans fil
Author: Woine, R., 2012Supervisor: Jacquet, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Feature-based configuration: collaborative, dependable, and controlled
Author: Hubaux, A., 9 Jan 2012Supervisor: Heymans, P. (Supervisor), Schumacher, L. (Jury), Schobbens, P. (Co-Supervisor), Colin, J. (Jury), Czarnecki, K. (External person) (Jury), Mens, K. (External person) (Jury) & Habra, N. (President)
Student thesis: Doc types › Doctor of Sciences
File -
Etude empirique de l'impact du patron architectural MVC et de ses variantes sur la maintenabilité interne des programmes
Author: De Smet, B. & Lempereur, L., 2011Supervisor: Habra, N. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Représentation, gestion et exploitation de données hétérogènes en e-Health
Author: Hainaut, J., 2011Supervisor: Hainaut, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Implémentation d'un simulateur d'un système de distribution de contenu vidéo sur internet
Author: Choquet, O., 2011Supervisor: Remiche, M. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Extraction automatisée d'un feature model à partir d'un catalogue de produits
Author: Vanbeneden, C., 2011Supervisor: Heymans, P. (Supervisor) & Boucher, Q. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File -
Comparative analysis of variability mapping techniques
Author: Leclercq, M., 2011Supervisor: Heymans, P. (Supervisor) & Perrouin, G. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File -
Improving the gognitive effectiveness of the KAOS requirements modelling language
Author: Dupriez, M., 2011Supervisor: Heymans, P. (Supervisor) & Genon, N. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modelling and model checking variability-intensive systems
Author: Classen, A., 3 Oct 2011Supervisor: Heymans, P. (Supervisor), Schobbens, P. (Co-Supervisor), Jacquet, J. (Jury), Habra, N. (External person) (Jury), PECHEUR, C. (External person) (Jury), Nuseibeh, B. (External person) (Jury) & KATOEN, J. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
File -
Development of a quasi-birth-and-death sensitivity analysis tool
Author: Cordy, M., 2011Supervisor: Remiche, M. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Towards Dynamic Software Product Lines: Unifying Design and Runtime Adaptations
Author: PARRA, C., 2011Supervisor: Heymans, P. (Jury)
Student thesis: Doc types › Doctor of Sciences
-
Game theory based web services collaborative mechanism
Author: Clacens, K. & Goffart, C., 2011Supervisor: Thiran, P. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Formal Domain Engineering: From Specification to Validation
Author: Mashkook, A., 2011Supervisor: Heymans, P. (Jury)
Student thesis: Doc types › Doctor of Sciences
-
A Generic Approach for Automated Verification of Product Line Models
Author: MAZO PENA, R., 2011Supervisor: Heymans, P. (Jury)
Student thesis: Doc types › Doctor of Sciences
-
Website navigability automated assessment: empirical validation of a multi-level quality model
Author: Moulart, A., 2011Supervisor: Habra, N. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Etude de la qualité des informations de personnalisation web
Author: Gilain, O., 2011Supervisor: Thiran, P. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Formal Modeling and Verification of Access-Control Policies
Author: Toussaint, H., 21 Sept 2011Supervisor: Schobbens, P. (Supervisor), Jacquet, J. (President), Colin, J. (Jury), Morisset, C. (External person) (Jury) & Le Traon, Y. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
File -
Développement d'un support pédagogique à la programmation orientée-objet avec leJOS
Author: Van den Nest, C., 2011Supervisor: Heymans, P. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Taming Complexity of Large Software Systems: Contracting, Self-Adaptation and Feature Modeling
Author: Collet, P., 2011Supervisor: Heymans, P. (Jury)
Student thesis: Doc types › Doctor of Sciences
-
Traduction de TVL en SMT-LIBv2
Author: Vanderveken, T., 2011Supervisor: Heymans, P. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Conception d'un logiciel automatisant le contrôle et l'analyse de modèles TVL
Author: Faber, P., 2010Supervisor: Heymans, P. (Supervisor), Classen, A. (Co-Supervisor) & Boucher, Q. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File -
Reverse engineering: user-drawn form-based interfaces for interactive database conceptual analysis: the rainbow approach
Author: Ramdoyal, R., 15 Dec 2010Supervisor: Hainaut, J. (Supervisor), Heymans, P. (Jury), Jacquet, J. (President), Vanderdonckt, J. (External person) (Jury) & PASTOR, O. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
File