Publications

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.

Filtrer par

Réinitialiser

24.03.2016

Guiding Cloud Developers to Build Energy Aware Applications

24.03.2016

Publications scientifiques

Guiding Cloud Developers to Build Energy Aware Applications

Christophe Ponsard, Jean-Christophe Deprez, and Raphael Michel, Guiding Cloud Developers to Build Energy Aware Applications, in Software...

En savoir plus

03.11.2015

Automated Reasoning on Cardinality-based Feature Models

03.11.2015

Publications scientifiques

Automated Reasoning on Cardinality-based Feature Models

Raphael Michel. Automated Reasoning on Cardinality-based Feature Models. PhD Thesis. University of Namur, November 2015...

En savoir plus

05.10.2015

Guiding Cloud Application Developers in Designing Balanced Trade-off among Energy impacting Requirements

05.10.2015

Publications scientifiques

Guiding Cloud Application Developers in Designing Balanced Trade-off among...

Christophe Ponsard, Raphael Michel, Jean-Christophe Deprez, Sanae Saadaoui, Guiding Cloud Application Developers in Designing Balanced Trade-off...

En savoir plus

30.06.2012

An SMT-LIB Format for Sequences and Regular Expressions

30.06.2012

Scientific communication

An SMT-LIB Format for Sequences and Regular Expressions

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

An SMT-based approach to automated configuration

30.06.2012

Publications scientifiques

An SMT-based approach to automated configuration

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

Next-Generation Model-based Variability Management : Languages and Tools (Tutorial)

19.06.2012

Communication scientifique

Next-Generation Model-based Variability Management : Languages and Tools...

Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Next-Generation Model-based Variability Management : Languages and Tools (Tutorial), in...

En savoir plus

04.06.2012

Languages and Tools for Managing Feature Models

04.06.2012

Publications scientifiques

Languages and Tools for Managing Feature Models

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

A Formal Semantics for Feature Cardinalities in Feature Diagrams

29.01.2011

Communication scientifique

A Formal Semantics for Feature Cardinalities in Feature Diagrams

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

Evaluating a Textual Feature Modelling Language : Four Industrial Case Studies

12.10.2010

Publications scientifiques

Evaluating a Textual Feature Modelling Language : Four Industrial Case...

Hubaux, A., Classen, A., Boucher Q., Michel R., Heymans P. - "Evaluating a Textual Feature Modelling Language : Four Industrial Case Studies",...

En savoir plus