Publications

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.

Filter by

Reset

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

02.09.2009

Experiment with COSMIC V3.0 : Case Studies in Business Applications

02.09.2009

Communication scientifique

Experiment with COSMIC V3.0 : Case Studies in Business Applications

Sanae Saadaoui, Annick Majchrowski, Christohe Ponsard, "Experiment with COSMIC V3.0 : Case Studies in Business Applications", EuroSPI 2009, 2-4...

01.03.2012

An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage

01.03.2012

Scientific communication

An Collaborative FAQ Approach for Collecting Evidence on Formal Method...

Jean Christophe Deprez, Christophe Ponsard, An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage, Deploy...

28.02.2012

Scientific communication

Assessment of the Evolution of the RODIN Open Source platform

Christophe Ponsard, Jean Christophe Deprez, Jacques Flamand, Assessment of the Evolution of the RODIN Open Source platform, Third RODIN Users and...

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

26.05.2011

Generating High-Level Event-B System Models from KAOS Requirements Models

26.05.2011

Communication scientifique

Generating High-Level Event-B System Models from KAOS Requirements...

Ponsard C., Devroey X., Generating High-Level Event-B System Models from KAOS Requirements Models, in INFormatique des ORganisations et Systèmes...

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