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

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

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

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

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

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

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

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

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

En savoir plus

01.10.2010

A European Cloud Computing Project

01.10.2010

Communication scientifique

A European Cloud Computing Project

Naqvi S. and Massonet P., RESERVOIR - "A European Cloud Computing Project", ERCIM News number 83, Special Theme : Cloud Computing - Platform,...

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

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

En savoir plus

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

En savoir plus

20.07.2009

A lightweight specialized meta-scheduler for business and applications constrains management

20.07.2009

Publications scientifiques

A lightweight specialized meta-scheduler for business and applications...

J. Chevalier, S. Mouton, “A lightweight specialized meta-scheduler for business and applications constrains management”, COMPSAC 2009, IEEE...

En savoir plus

29.06.2009

The European industrial Grid landscape - the BEinGRID experience

29.06.2009

Communication scientifique

The European industrial Grid landscape - the BEinGRID experience

Damien Hubaux, "The European industrial Grid landscape - the BEinGRID experience"- 3rd EDGES User and Industry Forum, collocated with ISC09,...

En savoir plus

22.09.2008

Business Experiments in Grid : SME Success

22.09.2008

Communication scientifique

Business Experiments in Grid : SME Success

Damien Hubaux, "Business Experiments in Grid : SME Success", Business Models and Grid Economics - SME Perspectives, EGEE ’08 Business Track,...

En savoir plus

25.08.2008

Using SLA based Approach to handle Sabotage Tolerance in the Grids

25.08.2008

Communication scientifique

Using SLA based Approach to handle Sabotage Tolerance in the...

Naqvi S., Mouton S., Massonet P., Silaghi G., Battre D., Hovestadt M., Djemame K., "Using SLA based Approach to handle Sabotage Tolerance in the...

En savoir plus

0 | 24 | 48 | 72 | 96