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

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

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

29.08.2011

29.08.2011

Publications scientifiques

Beamforming in Wireless Sensor Networks

J. Nsenga, S. Dawans, V. Ramon, A. Bourdoux, F. Horlin, "Residual Energy-Aware Collaborative Transmission Beamforming in Wireless Sensor...

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

05.06.2011

Joint TX/RX Analog Linear Transformation for Maximizing the Capacity at 60 GHz

05.06.2011

Publications scientifiques

Joint TX/RX Analog Linear Transformation for Maximizing the Capacity at 60...

Jimmy Nsenga, Andre Bourdoux, Wim Van Thillo, Valery Ramon, François Horlin (ULB), "Joint TX/RX Analog Linear Transformation for Maximizing the...

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

25.05.2011

Case studies

BizzLink, un atout construit en collaboration avec le CETIC

BizzDev

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

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

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

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

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

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

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

01.10.2010

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

01.10.2010

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

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

31.05.2010

FLOSS Communities : Analyzing Evolvability and Robustness from an Industrial Perspective

31.05.2010

Communication scientifique

FLOSS Communities : Analyzing Evolvability and Robustness from an...

Daniel Izquierdo-Cortazar and Jesús M. González-Barahona and Gregorio Robles and Jean-Christophe Deprez and Vincent Auvray "FLOSS Communities :...

23.05.2010

Mixed analog/digital beamforming for 60 GHz MIMO frequency selective channels

23.05.2010

Publications scientifiques

Mixed analog/digital beamforming for 60 GHz MIMO frequency selective...

Jimmy Nsenga, André Bourdoux, François Horlin, "Mixed analog/digital beamforming for 60 GHz MIMO frequency selective channels", IEEE ICC 2010 -...

16.05.2010

Applying Digital Forensics in the Future Internet Enterprise Systems

16.05.2010

Publications scientifiques

Applying Digital Forensics in the Future Internet Enterprise...

Naqvi S., Dallons G., Ponsard C., "Applying Digital Forensics in the Future Internet Enterprise Systems" - European SMEs’ Perspective, Fifth...

16.05.2010

Ensuring Security of the Future Internet-based Virtualization Infrastructures

16.05.2010

Publications scientifiques

Ensuring Security of the Future Internet-based Virtualization...

Naqvi S., Dallons G., Ponsard C., Massonet P., "Ensuring Security of the Future Internet-based Virtualization Infrastructures" (Position Paper),...

0 | ... | 120 | 144 | 168 | 192 | 216 | 240 | 264 | 288 | 312 | 336