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

Using Feature Modelling and Automations to Select among Cloud Solutions

02.06.2012

Publications scientifiques

Using Feature Modelling and Automations to Select among Cloud...

Clément Quinton, Laurence Duchien, Patrick Heymans, Stéphane Mouton, and Etienne Charlier, "Using Feature Modelling and Automations to Select among...

29.08.2011

Advancing Cloud Computing : What To Do Now ?

29.08.2011

Rapports techniques

Advancing Cloud Computing : What To Do Now ?

World Economic Forum en partenariat avec Accenture

20.05.2011

Rapports techniques

Intégration des concepts SOA et cloud computing

Haulogy

17.01.2011

Security and Resilience in Governmental Clouds

17.01.2011

Rapports techniques

Security and Resilience in Governmental Clouds

European Network and Information Security Agency (ENISA)

20.11.2009

Cloud Computing : Benefits, Risks and Recommendations for Information Security

20.11.2009

Rapports techniques

Cloud Computing : Benefits, Risks and Recommendations for Information...

European Network and Information Security Agency (ENISA)

01.10.2009

Approaching the Cloud : Better Business Using Grid Solutions

01.10.2009

Rapports techniques

Approaching the Cloud : Better Business Using Grid Solutions

"Approaching the Cloud : Better Business Using Grid Solutions", public deliverable released by the BEinGRID consortium.

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

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

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

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

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

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

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

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

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

20.05.2011

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

20.05.2011

Rapports techniques

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

IBA

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

16.02.2011

Reservoir - When One Cloud Is Not Enough

16.02.2011

Publications scientifiques

Reservoir - When One Cloud Is Not Enough

Benny Rochwerger, David Breitgand, Amir Epstein, David Hadas, Irit Loy, Kenneth Nagin, Johan Tordsson, Carmelo Ragusa, Massimo Villari, Stuart...

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

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

01.10.2010

Addressing Aggregation of Utility Metering by using Cloud - The Power Grid Case Study

01.10.2010

Communication scientifique

Addressing Aggregation of Utility Metering by using Cloud - The Power Grid...

Cassano O. and Mouton S., "Addressing Aggregation of Utility Metering by using Cloud - The Power Grid Case Study", ERCIM News number 83, Special...

0 | 24 | 48 | 72 | 96