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.
07.04.2017
07.04.2017
Communication scientifique
Christophe Ponsard, Philippe Massonet and Gautier Dallons, Cross-Domain Fertilisation in the Evolution towards Autonomous Vehicles, ERCIM News...
En savoir plus
07.06.2016
07.06.2016
Communication scientifique
EclipseCON France 2016
En savoir plus
23.05.2016
23.05.2016
Communication scientifique
Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard, Building Event-B Interlocking Theories : Lessons Learned using the Theory Plug-in, 6th...
En savoir plus
24.09.2014
24.09.2014
Publications scientifiques
Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos. A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of...
En savoir plus
03.06.2014
03.06.2014
Publications scientifiques
D. Deharbe, P. Fontaine, Y. Guyot, F. Voisin. Introduction to the Integration of SMT-Solvers in Rodin. 1st International Workshop about Sets and...
En savoir plus
29.04.2014
29.04.2014
Publications scientifiques
David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin, Integrating SMT solvers in Rodin, Science of Computer Programming, 2014, ISSN...
En savoir plus