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

23.04.2016

Towards Design-time Simulation Support for Energy-Aware Cloud Application Development

23.04.2016

Publications scientifiques

Towards Design-time Simulation Support for Energy-Aware Cloud Application...

Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer, and Gustavo Ospina, Towards Design-time Simulation Support for Energy-Aware...

06.04.2016

OscaR, an Open Source Toolbox for optimising Logistics and Supply Chain Systems

06.04.2016

Publications scientifiques

OscaR, an Open Source Toolbox for optimising Logistics and Supply Chain...

Renaud De Landtsheer, Christophe Ponsard, and Yoann Guyot, OscaR, an Open Source Toolbox for optimising Logistics and Supply Chain Systems, ERCIM...

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...

23.02.2016

Verifying Geostatistical Travel Time Properties on Routing Networks

23.02.2016

Publications scientifiques

Verifying Geostatistical Travel Time Properties on Routing Networks

Renaud De Landtsheer, Christophe Ponsard, Verifying Geostatistical Travel Time Properties on Routing Networks, International Conference on...

23.02.2016

A Discrete Event Simulation Approach for Quantifying Risks in Manufacturing Processes

23.02.2016

Publications scientifiques

A Discrete Event Simulation Approach for Quantifying Risks in Manufacturing...

Renaud De Landtsheer, Gustavo Ospina, Philippe Massonet, Christophe Ponsard,Stephan Printz, Lasse Härtel and Johann Philipp von Cube, A Discrete...

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...

08.06.2015

Optimal Scheduling of Chemotherapy Deliveries under Quality of Care, Resources and Ethical Constraints

08.06.2015

Publications scientifiques

Optimal Scheduling of Chemotherapy Deliveries under Quality of Care,...

Renaud De Landtsheer, Yoann Guyot, Christophe Ponsard, François Roucoux, Optimal Scheduling of Chemotherapy Deliveries under Quality of Care,...

07.06.2015

Combining Neighborhoods into Local Search Strategies

07.06.2015

Publications scientifiques

Combining Neighborhoods into Local Search Strategies

Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Christophe Ponsard, Combining Neighborhoods into Local Search Strategies, 11th MetaHeuristics...

19.01.2015

Combining Neighborhoods into Search Strategies

19.01.2015

Publications scientifiques

Combining Neighborhoods into Search Strategies

Renaud De Landtsheer, Yoann Guyot, Christophe Ponsard, Combining Neighborhoods into Search Strategies, ORBEL29, Antwerp, February 5-6,...

24.09.2014

A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour

24.09.2014

Publications scientifiques

A Constraint-Solving Approach for Achieving Minimal-Reset Transition...

Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos. A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of...

30.01.2014

A high-level, modular and declarative modeling framework for routing problems

30.01.2014

Publications scientifiques

A high-level, modular and declarative modeling framework for routing...

Renaud De Landtsheer, Yoann Guyot, Christophe Ponsard, A high-level, modular and declarative modeling framework for routing problems, 28th annual...

23.09.2013

Manager Guidelines for the Industrial Deployment of Formal Methods

23.09.2013

Publications scientifiques

Manager Guidelines for the Industrial Deployment of Formal Methods

C. Ponsard, J.C. Deprez, R. De Landtsheer, Manager Guidelines for the Industrial Deployment of Formal Methods, 18th International Workshop on...

30.04.2013

Evidence-based Assistance for the Adoption of Formal Methods in the Industry,

30.04.2013

Scientific papers

Evidence-based Assistance for the Adoption of Formal Methods in the...

DEPLOY BOOK Chapter

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...

0 | 24