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.
22.06.2017
22.06.2017
Business publications
Presentation at EclipseCON 2017
En savoir plus
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