Thèses défendues
Faculté d'informatique (40)
2012
2012
2011
Modelling and model checking variability-intensive systems
Andreas CLASSEN
Andreas CLASSEN
2010
2010
2009
2009
2009
QAMML: probability distributions for functional data
Etienne CUVELIER
Etienne CUVELIER
2009
2009
2008
Quality of feature diagram languages: formal evaluation and comparison
Jean-Christophe TRIGAUX
Jean-Christophe TRIGAUX
2008
2008
2008
2007
2007
2007
2007
2005
2005
2004
2004
2004
2004
2003
Computing Minimal Changes of Models of Systems
Nikos GOROGIANNIS
Nikos GOROGIANNIS
2003
Legacy database federation: a combined forward-reverse approach
Philippe THIRAN
Philippe THIRAN
2003
2003
Database engineering process modelling
Didier ROLAND
Didier ROLAND
2001
2001
Animating Albert II Specifications
Patrick HEYMANS
Patrick HEYMANS
2001
Evolution d'applications de bases de données relationnelles
Jean-Marc HICK
Jean-Marc HICK
2000
a logic for KARO agents (?)
Bernd VAN LINDER
Bernd VAN LINDER
2000
A smart Meta-CASE: towards an integrated solution
Vincent ENGLEBERT
Vincent ENGLEBERT
1999
1999
Logics, Automata and Classical Theories for Deciding Real Time
Jean-Francois RASKIN
Jean-Francois RASKIN
1998
1997
Control of Recrystallisation in a B2 Aluminide Alloy
Véronique PIROT
Véronique PIROT
1997
1997
1992
Exceptions in Algebraic Specifications
Pierre-Yves SCHOBBENS
Pierre-Yves SCHOBBENS
