As an applied research center, active at the regional and european level, CETIC is involved in the publication of research results in various conferences and journals related to these fields, as well as documents aimed at industry.
Our policy is to favor contributions that are close to the application fields, based on industrial case studies resulting from the research projects.
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
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