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

08.02.2024

Systematic Derivation of a Global Constraint for Routing

08.02.2024

Communication scientifique

Systematic Derivation of a Global Constraint for Routing

Renaud De Landtsheer, Systematic Derivation of a Global Constraint for Routing, , ORBEL 38, 38th Annual Conference of the Belgian Operational...

08.02.2024

Bandit Algorithms for Neighborhood Selection in Local Search

08.02.2024

Communication scientifique

Bandit Algorithms for Neighborhood Selection in Local Search

Stefano Michelini, Renaud De Landtsheer, Moisés Silva-Muñoz, Alberto Franzin, Augustin Delecluse, "Bandit Algorithms for Neighborhood Selection in...

17.07.2019

Combining Predictive and Prescriptive Analytics to Improve Clinical Pathways

17.07.2019

Communication scientifique

Combining Predictive and Prescriptive Analytics to Improve Clinical...

Christophe Ponsard, Renaud De Landtsheer, Combining Predictive and Prescriptive Analyticsto Improve Clinical Pathways, ERCIM News 118 Special...

25.10.2018

Accurate Reasoning Using Imperfect Digital Twins : A Steel Industry Case Study

25.10.2018

Communication scientifique

Accurate Reasoning Using Imperfect Digital Twins : A Steel Industry Case...

Christophe Ponsard, Renaud De Landtsheer, Birgit Palm, Accurate Reasoning Using Imperfect Digital Twins : A Steel Industry Case Study, ERCIM...

02.02.2018

Generic Support for Global Routing Constraint in Constraint-Based Local Search Frameworks

02.02.2018

Communication scientifique

Generic Support for Global Routing Constraint in Constraint-Based Local...

Quentin Meurisse, Renaud De Landtsheer, Generic Support for Global Routing Constraint in Constraint-Based Local Search Frameworks, ORBEL32, Liège,...

02.02.2018

Easily Building Complex Neighbourhoods With the Cross-Product Combinator

02.02.2018

Communication scientifique

Easily Building Complex Neighbourhoods With the Cross-Product...

Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Fabian Germeau, Christophe Ponsard, Easily Building Complex Neighbourhoods With the...

23.05.2016

Building Event-B Interlocking Theories : Lessons Learned using the Theory Plug-in

23.05.2016

Communication scientifique

Building Event-B Interlocking Theories : Lessons Learned using the Theory...

Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard, Building Event-B Interlocking Theories : Lessons Learned using the Theory Plug-in, 6th...

17.03.2016

17.03.2016

Communication scientifique

Local Search with OscaR.CBLS

Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Christophe Ponsard, Local Search with OscaR.CBLS, Workshop Design and Analysis of...

28.01.2016

Towards the Complexity of Differentiation Through Lazy Updates in Local Search Engines

28.01.2016

Communication scientifique

Towards the Complexity of Differentiation Through Lazy Updates in Local...

Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Christophe Ponsard, Towards the Complexity of Differentiation Through Lazy Updates in Local...

08.07.2015

L'optimisation par recherche locale avec OscaR, expliquée à mon voisin

08.07.2015

Communication scientifique

L’optimisation par recherche locale avec OscaR, expliquée à mon...

Renaud De Landtsheer, Christophe Ponsard, L’optimisation par recherche locale avec OscaR, expliquée à mon voisin, 16es Rencontres Mondiales du...

07.02.2013

OscaR.cbls : an open source framework for constraint-based local search

07.02.2013

Communication scientifique

OscaR.cbls : an open source framework for constraint-based local...

Renaud De Landtsheer, Christophe Ponsard, OscaR.cbls : an open source framework for constraint-based local search, 27th ORBEL Annual Meeting,...

17.09.2011

Is my Formal Method Tool Ready for the Industry ?

17.09.2011

Communication scientifique

Is my Formal Method Tool Ready for the Industry ?

Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer, Is my Formal Method Tool Ready for the Industry ?, AVOCS 2011 - 11th...

20.06.2011

A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage

20.06.2011

Communication scientifique

A FAQ Approach for Collecting Evidence on Formal Method Industrial...

Deprez J.C., Ponsard C., De Landtsheer R., A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage, FM 2011 Industry Day, June...

16.06.2010

Deriving Event-Based Usage Control Policies from Declarative Security Requirements Models

16.06.2010

Communication scientifique

Deriving Event-Based Usage Control Policies from Declarative Security...

De Landtsheer R, Ponsard C, Massonet P., "Deriving Event-Based Usage Control Policies from Declarative Security Requirements Models", Second...

15.06.2010

Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems

15.06.2010

Communication scientifique

Comparison of the AADL and Event-B Model-Based Tool Chains for Designing...

Christophe Ponsard, Renaud De Landtsheer, "Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems", First...

01.12.2009

Towards Event-B Metrics Support in RODIN

01.12.2009

Communication scientifique

Towards Event-B Metrics Support in RODIN

Christophe Ponsard, Arnaud Michot, Renaud De Landtsheer, "Towards Event-B Metrics Support in RODIN", in proc. DEPLOY Technical Workshop...