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

Thèse

About adding utility and usability to FDNet: a flat distributed network architecture

Auteur: Achbany, Y. & Jadoulle, J., 2004

Superviseur: Schobbens, P. (Promoteur)

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

Administrative management of clinical studies in hospitals

Auteur: Benats, P., 4 sept. 2014

Superviseur: Schobbens, P. (Promoteur)

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

Agent de détection et de notification d'erreurs EDNA : annexe F: code source complet

Auteur: Van Hout, A. & Delmarche, E., 2003

Superviseur: Schobbens, P. (Promoteur)

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

Alignement business-IT: le cas de l’ERP Odoo

Auteur: Patz, M., 28 août 2017

Superviseur: Schobbens, P. (Président), Petit, M. (Promoteur) & Vanderose, B. (Copromoteur)

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

Fichier

All I Know

Auteur: van Ditmarsch, H., 2010

Superviseur: Schobbens, P. (Jury)

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

a logic for KARO agents (?)

Auteur: van Linder, B., 2000

Superviseur: Schobbens, P. (Jury)

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

An architectural framework for describing BDI Multi-Agent Information systems

Auteur: Faulkner, S., 2004

Superviseur: Kolp, M. (Personne externe) (Promoteur) & Schobbens, P. (Jury)

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

An experiment in agent development using non-monotonic reasoning

Auteur: Ligny, T. & Marlier, B., 2000

Superviseur: Schobbens, P. (Promoteur)

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

Animating Albert II Specifications

Auteur: Heymans, P., 2001

Superviseur: Jarke, M. (Personne externe) (Jury), Fichefet, J. (Jury), Dubois, É. (Jury), Habra, N. (Jury) & Schobbens, P. (Promoteur)

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

Application à la méthode B d'éléments de logique temporelle ATL

Auteur: Safin, A., 2006

Superviseur: Schobbens, P. (Promoteur)

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

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

Apprentissage automatique. Application en Ingénierie des protéines

Auteur: MONNEAUX, J. & Lambert, C., 2009

Superviseur: Depiereux, É. (Promoteur) & Schobbens, P. (Promoteur)

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

Architecting software systems using model transformations and architectural frameworks

Auteur: Perrouin, G., 20 sept. 2007

Superviseur: Heymans, P. (Promoteur), Hainaut, J. (Jury), Guelfi, N. (Personne externe) (Copromoteur), Bouvry, P. (Personne externe) (Jury), VAN DER LINDEN, F. (Personne externe) (Jury), Jézéquel, J. (Personne externe) (Jury) & Schobbens, P. (Jury)

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

Fichier

A rectification-based approach to panoramic generation and depth estimation in computer vision

Auteur: Stouffs, J. & Willame, Y., 2003

Superviseur: Schobbens, P. (Promoteur)

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

Fichier

Argumentation for security: a comparative study

Auteur: François, S., 2010

Superviseur: Schobbens, P. (Promoteur)

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

Fichier

ArThUR: Un outil d'aide à la manipulation d'ontologies et de la logique de Markov

Auteur: Bodart, A. & Evrard, K., 29 août 2014

Superviseur: Schobbens, P. (Promoteur) & Ortiz Vega, J. J. (Copromoteur)

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

Fichier

Automata oriented program verification

Auteur: Grégoire, B., 2002

Superviseur: Schobbens, P. (Promoteur)

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

Fichier

Automated verification of state-based specifications against scenarios: a step towards relating inter-object to intra-object specifications

Auteur: Bontemps, Y., 2001

Superviseur: Schobbens, P. (Promoteur) & Heymans, P. (Promoteur)

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

Automates et logique pour la vérification de systèmes temps réel et multi-agents: HDR

Auteur: Dima, C., 2010

Superviseur: Schobbens, P. (Jury)

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

Behavioural model-based testing of software product lines

Auteur: Devroey, X., 30 août 2017

Superviseur: Schobbens, P. (Promoteur), Heymans, P. (Promoteur), Englebert, V. (Président), Baudry, B. (Personne externe) (Jury), Cohen, M. B. (Personne externe) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

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

Fichier

Comparaison & amélioration de l'efficacité cognitive des notations visuelles dans l'ingénierie de lignes de produits logiciels

Auteur: Féduniak, D., 2009

Superviseur: Schobbens, P. (Promoteur)

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

Computing Minimal Changes of Models of Systems

Auteur: Gorogiannis, N., 2003

Superviseur: Schobbens, P. (Jury)

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

Conception des cahiers des charges pour des systèmes distribués temps réel

Auteur: Nahimana, A., 1999

Superviseur: Schobbens, P. (Promoteur)

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

Conception d'un outil d'aide à l'analyse par la méthode des Problem frames de Jackson

Auteur: Gonze, M. & Martinez, F., 2005

Superviseur: Schobbens, P. (Promoteur) & Heymans, P. (Promoteur)

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

Création d'un Outil Interactif d'Analyse de Données Patients

Auteur: Volvert, S., 4 sept. 2015

Superviseur: Schobbens, P. (Promoteur) & Ortiz Vega, J. J. (Copromoteur)

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

Fichier