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.
17.03.2016
17.03.2016
Communication scientifique
Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Christophe Ponsard, Local Search with OscaR.CBLS, Workshop Design and Analysis of...
En savoir plus
23.02.2016
23.02.2016
Publications scientifiques
Renaud De Landtsheer, Christophe Ponsard, Verifying Geostatistical Travel Time Properties on Routing Networks, International Conference on...
En savoir plus
23.02.2016
23.02.2016
Publications scientifiques
Renaud De Landtsheer, Gustavo Ospina, Philippe Massonet, Christophe Ponsard,Stephan Printz, Lasse Härtel and Johann Philipp von Cube, A Discrete...
En savoir plus
28.01.2016
28.01.2016
Communication scientifique
Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Christophe Ponsard, Towards the Complexity of Differentiation Through Lazy Updates in Local...
En savoir plus
08.07.2015
08.07.2015
Communication scientifique
Renaud De Landtsheer, Christophe Ponsard, L’optimisation par recherche locale avec OscaR, expliquée à mon voisin, 16es Rencontres Mondiales du...
En savoir plus
08.06.2015
08.06.2015
Publications scientifiques
Renaud De Landtsheer, Yoann Guyot, Christophe Ponsard, François Roucoux, Optimal Scheduling of Chemotherapy Deliveries under Quality of Care,...
En savoir plus
07.06.2015
07.06.2015
Publications scientifiques
Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Christophe Ponsard, Combining Neighborhoods into Local Search Strategies, 11th MetaHeuristics...
En savoir plus
19.01.2015
19.01.2015
Publications scientifiques
Renaud De Landtsheer, Yoann Guyot, Christophe Ponsard, Combining Neighborhoods into Search Strategies, ORBEL29, Antwerp, February 5-6,...
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
30.01.2014
30.01.2014
Publications scientifiques
Renaud De Landtsheer, Yoann Guyot, Christophe Ponsard, A high-level, modular and declarative modeling framework for routing problems, 28th annual...
En savoir plus
23.09.2013
23.09.2013
Publications scientifiques
C. Ponsard, J.C. Deprez, R. De Landtsheer, Manager Guidelines for the Industrial Deployment of Formal Methods, 18th International Workshop on...
En savoir plus
30.04.2013
30.04.2013
Scientific papers
DEPLOY BOOK Chapter
En savoir plus
07.02.2013
07.02.2013
Communication scientifique
Renaud De Landtsheer, Christophe Ponsard, OscaR.cbls : an open source framework for constraint-based local search, 27th ORBEL Annual Meeting,...
En savoir plus
17.09.2011
17.09.2011
Communication scientifique
Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer, Is my Formal Method Tool Ready for the Industry ?, AVOCS 2011 - 11th...
En savoir plus
20.06.2011
20.06.2011
Communication scientifique
Deprez J.C., Ponsard C., De Landtsheer R., A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage, FM 2011 Industry Day, June...
En savoir plus
16.06.2010
16.06.2010
Communication scientifique
De Landtsheer R, Ponsard C, Massonet P., "Deriving Event-Based Usage Control Policies from Declarative Security Requirements Models", Second...
En savoir plus
15.06.2010
15.06.2010
Communication scientifique
Christophe Ponsard, Renaud De Landtsheer, "Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems", First...
En savoir plus
01.12.2009
01.12.2009
Communication scientifique
Christophe Ponsard, Arnaud Michot, Renaud De Landtsheer, "Towards Event-B Metrics Support in RODIN", in proc. DEPLOY Technical Workshop...
En savoir plus