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

30.06.2012

An SMT-based approach to automated configuration

30.06.2012

Publications scientifiques

An SMT-based approach to automated configuration

Raphaël Michel, Vijay Ganesh, Arnaud Hubaux and Patrick Heymans, An SMT-based approach to automated configuration, 10th International Workshop on...

En savoir plus

25.06.2012

Analysing Impact of Scalability and Heterogeneity on the Performance of Federated Cloud Security

25.06.2012

Publications scientifiques

Analysing Impact of Scalability and Heterogeneity on the Performance of...

Syed Naqvi, Arnaud Michot, Michael Van de Borne, Analysing Impact of Scalability and Heterogeneity on the Performance of Federated Cloud...

En savoir plus

19.06.2012

Next-Generation Model-based Variability Management : Languages and Tools (Tutorial)

19.06.2012

Communication scientifique

Next-Generation Model-based Variability Management : Languages and Tools...

Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Next-Generation Model-based Variability Management : Languages and Tools (Tutorial), in...

En savoir plus

04.06.2012

Languages and Tools for Managing Feature Models

04.06.2012

Publications scientifiques

Languages and Tools for Managing Feature Models

Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Philippe COLLET, Philippe LAHIRE, Languages and Tools for Managing Feature Models , in Proceedings...

En savoir plus

02.06.2012

Efficient Reuse of Domain-Specific Test Knowledge : An Industrial Case in the Smart Card Domain

02.06.2012

Publications scientifiques

Efficient Reuse of Domain-Specific Test Knowledge : An Industrial Case in...

Nicolas Devos, Christophe Ponsard, Jean-Christophe Deprez, Renaud Bauvin, Benedicte Moriau, Guy Anckaerts, Efficient Reuse of Domain-Specific...

En savoir plus

20.04.2012

An OCR-enabled Digital Comic Books Viewer

20.04.2012

Publications scientifiques

An OCR-enabled Digital Comic Books Viewer

Christophe Ponsard, Ravi Ramdoyal, Daniel Dziamski, An OCR-enabled Digital Comic Books Viewer, Int. Conf. on Computer Helping People with Special...

En savoir plus

19.03.2012

Integrating Energy and Eco-Aware Requirements Engineering in the Development of Services-Based Applications on Virtual Clouds

19.03.2012

Publications scientifiques

Integrating Energy and Eco-Aware Requirements Engineering in the...

Jean-Christophe Deprez, Ravi Ramdoyal, Christophe Ponsard, Integrating Energy and Eco-Aware Requirements Engineering in the Development of...

En savoir plus

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

En savoir plus

28.02.2012

Assessment of the Evolution of the RODIN Open Source platform

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

En savoir plus

01.02.2012

Digital Investigations for Enterprise Information Architectures

01.02.2012

Publications scientifiques

Digital Investigations for Enterprise Information Architectures

Syed Naqvi, Gautier Dallons, Christophe Ponsard, Digital Investigations for Enterprise Information Architectures, The Sixth International...

En savoir plus

30.11.2011

Securing the External Interfaces of a Federated Infrastructure Cloud

30.11.2011

Publications scientifiques

Securing the External Interfaces of a Federated Infrastructure...

Massonet P., Michot A., Naqvi S., Villari M., Latanicki J., Securing the External Interfaces of a Federated Infrastructure Cloud, In Open Source...

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

05.09.2011

From Pattern-based User Interfaces to Conceptual Schemas and Back

05.09.2011

Publications scientifiques

From Pattern-based User Interfaces to Conceptual Schemas and...

Ravi Ramdoyal, Anthony Cleve, From Pattern-based User Interfaces to Conceptual Schemas and Back, in Proceedings of the 30th International...

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

17.05.2011

Designing Efficient Security Services Infrastructure for Virtualization Oriented Architectures

17.05.2011

Publications scientifiques

Designing Efficient Security Services Infrastructure for Virtualization...

Naqvi S. "Designing Efficient Security Services Infrastructure for Virtualization Oriented Architectures, in Pervasive Information Security and...

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

29.01.2011

A Formal Semantics for Feature Cardinalities in Feature Diagrams

29.01.2011

Communication scientifique

A Formal Semantics for Feature Cardinalities in Feature Diagrams

Raphaël Michel, Andreas Classen, Arnaud Hubaux and Quentin Boucher, A Formal Semantics for Feature Cardinalities in Feature Diagrams, Fifth...

En savoir plus

12.10.2010

Evaluating a Textual Feature Modelling Language : Four Industrial Case Studies

12.10.2010

Publications scientifiques

Evaluating a Textual Feature Modelling Language : Four Industrial Case...

Hubaux, A., Classen, A., Boucher Q., Michel R., Heymans P. - "Evaluating a Textual Feature Modelling Language : Four Industrial Case Studies",...

En savoir plus

08.10.2010

Protecting Corporate ICT Infrastructures by using Digital Forensics

08.10.2010

Publications scientifiques

Protecting Corporate ICT Infrastructures by using Digital Forensics

Naqvi S., Dallons G., Ponsard C., "Protecting Corporate ICT Infrastructures by using Digital Forensics", IEEE International Conference on...

En savoir plus

01.10.2010

Précision relative à la visiophonie

01.10.2010

Communication scientifique

Précision relative à la visiophonie

J. Sutera, B. Le Maire, C. Ponsard, J. Hanoteau, J. Verstraete, "Précision relative à la visiophonie", Sournal 108, Octobre...

En savoir plus

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

En savoir plus

0 | 24 | 48 | 72 | 96 | 120