Student theses
- 1,125 - 1,150 out of 1,619 results
Search results
-
Model checking for the Masses
Author: Cordy, M., 11 Sept 2014Supervisor: Heymans, P. (Supervisor), Schobbens, P. (Supervisor), Petit, M. (Jury), ATLEE, J. (External person) (Jury), Greenyer, J. (External person) (Jury) & Legay, A. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
-
Modèle, principes et outils pour un infomédiaire au service du contrôle téléonomique de l’information des internautes
Author: Dinant, J., 19 May 2009Supervisor: Ramaekers, J. (Supervisor), Jacquet, J. (President), Poulin, D. (External person) (Jury), REIDENBERG, J. (External person) (Jury) & Schumacher, L. (Jury)
Student thesis: Doc types › Doctor of Sciences
-
Modèle de réseau de files d'attente pour la navigation aérienne
Author: Mimbe, B. T., 2000Supervisor: FRAITURE, M. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modèle de simulation par événements discrets pour les performances de synchronisation de la blockchain
Author: El Hamdaoui, J., 2 Sept 2021Supervisor: Remiche, M. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modèles, systèmes, hétérogénéite: HDR
Author: Boulanger, F., 2011Supervisor: Schobbens, P. (Jury)
Student thesis: Master types › Master in Computer science
-
Modèles d'affection de ressources pour la gestion universitaire
Author: Compere, J., 1977Student thesis: Master types › Master in Computer science
-
Modeling and resolving conflicts and apprehensions in multimodal models
Author: Pirau, J., 26 Aug 2016Supervisor: Dumas, B. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks
Author: Ortiz Vega, J. J., 4 Jul 2023Supervisor: SCHOBBENS, P. (Supervisor), JACQUET, J. (Jury), Vanhoof, W. (Jury), Raskin, J. (External person) (Jury), Tripakis, S. (External person) (Jury) & Akshay, S. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
File -
Modeling Distributed Systems with Petri Nets and Temporal Logic
Author: Ligny, B. & Raskin, J., 1995Supervisor: DUBOIS, E. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modélisation des données et des processus: gestion du dossier patient dans un hôpital
Author: Tungila Sedi, M., 2009Supervisor: Thiran, P. (Supervisor)
Student thesis: Master types › Master in Management
-
Modélisation des processus de conception de bases de données
Author: Aubert, S., 1994Supervisor: Hainaut, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modélisation des processus ITIL à l'aide d'autres approches qualité
Author: Picard, M. & Lejeune, V., 2004Supervisor: Habra, N. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modélisation d'une application interactive
Author: Chandelon, M. & Warnant, G., 1987Supervisor: Bodart, F. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modélisation d'un système de messagerie sous la forme d'un "Domain specific language"
Author: Hellebaut, B., 2008Supervisor: Englebert, V. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modélisation d’échanges d’opinions dans un ensemble de robots avec individus têtus
Author: Rauw, A., 21 Jun 2021Supervisor: MAUROY, A. (Supervisor) & Tuci, E. (Co-Supervisor)
Student thesis: Master types › Master in Mathematics Professional focus in Data Science
File -
Modélisation en Intelligence Artificielle
Author: Zampelli, S., 2002Supervisor: Berleur, J. (Jury)
Student thesis: Master types › Master in Computer science
File -
Modélisation et déploiement des politiques de sécurité
Author: Vu, H. T., 2009Supervisor: Schumacher, L. (Supervisor) & Colin, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modélisation et résolution d'un problème majeur de production d'acier à partir de la théorie des ensembles flous
Author: Piret, F., 1995Student thesis: Master types › Master in Computer science
File -
Modélisations de systèmes coopératifs mobiles à temps réels: évaluation du processus de développement ROPES: analyse de cas pour des systèmes ATC (Air Traffic Control) (Air Traffic Control)
Author: Honet, J., 2004Supervisor: Englebert, V. (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 -
Modelling e-business: an approach based on combining UMM and UEML
Author: Riquet, N., 2005Supervisor: Petit, M. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modelling security during early requirements: contributions to and usage of a domain model for information system security risk management
Author: Genon, N., 2007Supervisor: Heymans, P. (Supervisor)
Student thesis: Master types › Master in Computer science
File -
Modification conviviale d'arbres de décision par l'utilisateur via l'interaction avec des règles décisionnelles induites
Author: Bernard, F., 2021Supervisor: Frénay, B. (Supervisor) & Nanfack, G. (Co-Supervisor)
Student thesis: Master types › Master in Business Engineering Professional focus in Data Science
File -
MongoDB Code Smells: Defining, Classifying and Detecting Code Smells for MongoDB Interactions in Java Programs
Author: Bernard, J. & Kintziger, T., 30 Aug 2021Supervisor: Cleve, A. (Supervisor)
Student thesis: Master types › Master in Computer Science Professional focus in Software engineering
File -
Moteur de recherche sémantique
Author: OtJacques, N., 2009Supervisor: Hainaut, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File