Outils personnels
 
Thèses défendues

Faculté d'informatique (40)

2012
Multistream scheduling in cellular networks as a coupled optimization problem
Joël VANDERPYPEN
2012
Feature-based configuration: collaborative, dependable, and controlled
Arnaud HUBAUX
2011
Modelling and model checking variability-intensive systems
Andreas CLASSEN
2010
Methods for Improving QoS-driven Management of Web Services and their Services and their Service Level Agreements
Caroline HERSSENS
2010
Reverse engineering: user-drawn form-based interfaces for interactive database conceptual analysis: the rainbow approach
Ravi RAMDOYAL
2009
Program analysis and transformation for data-intensive system evolution
Anthony CLEVE
2009
Model-based management of information system security risk
Nicolas MAYER
2009
QAMML: probability distributions for functional data
Etienne CUVELIER
2009
Techniques de visualisation d'information pour l'analyse de situations coopératives
Benoît OTJACQUES
2009
Modèle, principes et outils pour un informédiaire au service du contrôle téléonomique de l'information des internautes
Jean-Marc DINANT
2008
Quality of feature diagram languages: formal evaluation and comparison
Jean-Christophe TRIGAUX
2008
Building a tested emulating cellular networks: design, implementation, cross-validation and exploitation of a real-time framework to evaluate QoS and QoE in the UTRAN
Hugues VAN PETEGHEM
2008
Application des Machines à Etats Finis en Synthèse de la Parole. Sélection d'unités non uniformes et Correction orthographique
Richard BEAUFORT
2008
Essays in information management : contributions to the modeling and analysis of quality in information systems engineering
Ivan JURETA
2007
Le Knowledge Management : une question de convention? Analyse d'un cas dans le secteur de la conception automobile
Anne DE VOS
2007
La théorie du chaos et de la géométrie fractale : application à l'analyse du rythme cardiaque
Sanae SAADAOUI
2007
Architecting software systems using model transformations and architectural frameworks
Gilles PERROUIN
2007
On the introduction of time in coordination languages : semantic, expressiveness and programming methodologies
Isabelle LINDEN
2005
dSL, a Language and Environment for the Design of Distributed Industrial Controllers
Bram DE WACHTER
2005
Relating inter-agent and intra-agent specifications : the case of life sequence chart
Yves BONTEMPS
2004
Le dilemme du déterminisme technologique et du constructivisme social: ses enjeux pour l'informatique: Technologie et cycles longs dans la théorie économique (thèse annexe)
Gérard VALENDUC
2004
On the design of some operations to combine domains for abstract interpretation
Christophe LECLÈRE
2004
Un Cadre Formel pour la Modélisation Hétérogène et la Vérification Compositionnelle des Systèmes Avioniques Modulaires Intégrés
Remi DELMAS
2004
Methodology for automating web usability and accessibility evaluation by guideline
Abdo BEIREKDAR
2003
Computing Minimal Changes of Models of Systems
Nikos GOROGIANNIS
2003
Legacy database federation: a combined forward-reverse approach
Philippe THIRAN
2003
Program understanding in database reverse engineering
Jean HENRARD
2003
Database engineering process modelling
Didier ROLAND
2001
Evolution d'applications de bases de données relationnelles : Annexes
Jean-Marc HICK
2001
Animating Albert II Specifications
Patrick HEYMANS
2001
Evolution d'applications de bases de données relationnelles
Jean-Marc HICK
2000
a logic for KARO agents (?)
Bernd VAN LINDER
2000
A smart Meta-CASE: towards an integrated solution
Vincent ENGLEBERT
1999
Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach
Michaël PETIT
1999
Logics, Automata and Classical Theories for Deciding Real Time
Jean-Francois RASKIN
1998
Integration of ATM under TCP/IP to provide services with minimum guaranteed bandwidth
Olivier BONAVENTURE
1997
Control of Recrystallisation in a B2 Aluminide Alloy
Véronique PIROT
1997
The sharing tree data structure:: theory and applications in formal verification
Denis ZAMPUNIERIS
1997
Conception assistée de la présentation d'une interface homme-machine ergonomique pour une application de gestion hautement interactive
Jean VANDERDONCKT
1992
Exceptions in Algebraic Specifications
Pierre-Yves SCHOBBENS