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.
31.08.2012
31.08.2012
Communication scientifique
G. Tsatsaronis, K. Mourtzoukos, V. Andronikou, T. Tagaris, I. Varlamis, M. Schroeder, T. Varvarigou, D. Koutsouris and N. Matskanis, PONTE : A...
En savoir plus
30.06.2012
30.06.2012
Scientific communication
Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel and Margus Veanes, An SMT-LIB Format for Sequences and Regular Expressions, 10th International...
En savoir plus
19.06.2012
19.06.2012
Communication scientifique
Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Next-Generation Model-based Variability Management : Languages and Tools (Tutorial), in...
En savoir plus
27.05.2012
27.05.2012
Communication scientifique
Tassos Tagaris, Efthymios Chondrogiannis , Joseph Roumier, George Tsatsaronis, Vassiliki Andronikou, Nikolaos Matskanis, Konstantinos...
En savoir plus
24.05.2012
24.05.2012
Communication scientifique
Robert Viseur, Le chercheur peut-il se fier aux volumétries indiquées par les moteurs de recherche commerciaux ?, 10ème séminaire M@rsouin, Brest...
En savoir plus
21.05.2012
21.05.2012
Communication scientifique
Robert Viseur, Gérer la propriété intellectuelle dans les projets à base de logiciels libres, 17ème conférence de l’Association Information et...
En savoir plus
18.04.2012
18.04.2012
Scientific communication
Syed Naqvi, Philippe Drugmand, Sébastien Rousseaux, "Security Challenges for Remote Patient Care Systems using m-Health Technologies", Medetel,...
En savoir plus
01.03.2012
01.03.2012
Scientific communication
Jean Christophe Deprez, Christophe Ponsard, An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage, Deploy...
En savoir plus
28.02.2012
28.02.2012
Scientific communication
Christophe Ponsard, Jean Christophe Deprez, Jacques Flamand, Assessment of the Evolution of the RODIN Open Source platform, Third RODIN Users and...
En savoir plus
02.02.2012
02.02.2012
Communication scientifique
Robert Viseur, Forks impacts and motivations in free and open source projects, International Journal of Advanced Computer Science and...
En savoir plus
30.01.2012
30.01.2012
Communication scientifique
Syed Naqvi, Digital Investigations and Forensic Analysis - Practices and Technologies, Sixth International Conference on Digital Society (ICDS...
En savoir plus
17.09.2011
17.09.2011
Communication scientifique
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
20.06.2011
Communication scientifique
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
26.05.2011
Communication scientifique
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
06.04.2011
06.04.2011
Communication scientifique
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
29.01.2011
Communication scientifique
Raphaël Michel, Andreas Classen, Arnaud Hubaux and Quentin Boucher, A Formal Semantics for Feature Cardinalities in Feature Diagrams, Fifth...
En savoir plus
01.10.2010
01.10.2010
Communication scientifique
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
01.10.2010
Communication scientifique
Naqvi S. and Massonet P., RESERVOIR - "A European Cloud Computing Project", ERCIM News number 83, Special Theme : Cloud Computing - Platform,...
En savoir plus
01.10.2010
01.10.2010
Communication scientifique
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
16.06.2010
Communication scientifique
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
15.06.2010
Communication scientifique
Christophe Ponsard, Renaud De Landtsheer, "Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems", First...
En savoir plus
31.05.2010
31.05.2010
Communication scientifique
Daniel Izquierdo-Cortazar and Jesús M. González-Barahona and Gregorio Robles and Jean-Christophe Deprez and Vincent Auvray "FLOSS Communities :...
En savoir plus
18.12.2009
18.12.2009
Communication scientifique
Frédéric Fleurial Monfils, Jacques Flamand, Nicolas Devos, Jean-Christophe Deprez, Evaluating Maintainability Related Risks of Free/Open Source...
En savoir plus
01.12.2009
01.12.2009
Communication scientifique
Christophe Ponsard, Arnaud Michot, Renaud De Landtsheer, "Towards Event-B Metrics Support in RODIN", in proc. DEPLOY Technical Workshop...
En savoir plus