En tant que centre de recherche impliqué dans la recherche appliquée tant au niveau régional qu’européen, le CETIC est impliqué dans la publication de résultats de recherches dans diverses conférences et journaux liés à ces domaines de recherche.
La politique de publication du CETIC privilégie les contributions à caractère appliqué, impliquant des études de cas industrielles menées lors des projets correspondant.
03.11.2015
03.11.2015
Publications scientifiques
Raphael Michel. Automated Reasoning on Cardinality-based Feature Models. PhD Thesis. University of Namur, November 2015...
En savoir plus
30.06.2012
30.06.2012
Scientific communication
Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel and Margus Veanes, An SMT-LIB Format for Sequences and Regular Expressions, 10th International...
En savoir plus
30.06.2012
30.06.2012
Publications scientifiques
Raphaël Michel, Vijay Ganesh, Arnaud Hubaux and Patrick Heymans, An SMT-based approach to automated configuration, 10th International Workshop on...
En savoir plus
19.06.2012
19.06.2012
Communication scientifique
Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Next-Generation Model-based Variability Management : Languages and Tools (Tutorial), in...
En savoir plus
04.06.2012
04.06.2012
Publications scientifiques
Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Philippe COLLET, Philippe LAHIRE, Languages and Tools for Managing Feature Models , in Proceedings...
En savoir plus
29.01.2011
29.01.2011
Communication scientifique
Raphaël Michel, Andreas Classen, Arnaud Hubaux and Quentin Boucher, A Formal Semantics for Feature Cardinalities in Feature Diagrams, Fifth...
En savoir plus
12.10.2010
12.10.2010
Publications scientifiques
Hubaux, A., Classen, A., Boucher Q., Michel R., Heymans P. - "Evaluating a Textual Feature Modelling Language : Four Industrial Case Studies",...
En savoir plus