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

20.05.2011

Aide à la mise en oeuvre d'un centre relais de télé-interprétation vidéo pour personnes sourdes et malentendantes

20.05.2011

Case studies

Aide à la mise en oeuvre d’un centre relais de télé-interprétation vidéo pour...

DirectEye

En savoir plus

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

En savoir plus

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

En savoir plus

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

En savoir plus

20.05.2011

Validation de bout en bout des flux de données au sein d'un framework médical critique

20.05.2011

Case studies

Validation de bout en bout des flux de données au sein d’un framework médical...

IBA

En savoir plus

17.05.2011

A Monitoring and Audit Logging Architecture for Data Location Compliance in Federated Cloud Infrastructures

17.05.2011

Publications scientifiques

A Monitoring and Audit Logging Architecture for Data Location Compliance in...

Massonet P., Naqvi S., Ponsard C., Latanicki J., Rochwerger B., Villari M., A Monitoring and Audit Logging Architecture for Data Location...

En savoir plus

06.04.2011

Using Organisational Security Policy for Ensuring Privacy of Electronic Health Records

06.04.2011

Communication scientifique

Using Organisational Security Policy for Ensuring Privacy of Electronic...

Naqvi S., Dallons G., Michot A., Ponsard C., Using Organisational Security Policy for Ensuring Privacy of Electronic Health Records, The...

En savoir plus