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.
22.11.2024
22.11.2024
Communication scientifique
Christophe Ponsard, Gustavo Ospina, Denis Darquennes, Challenges in Comparing Code Maintainability across Different Programming Languages, 23rd...
En savoir plus
05.04.2023
05.04.2023
Communication scientifique
Rami Sellami, Sebastien Dupont, Guillaume Ginis and Nikolaos Matskanis, Towards Data and Security Federation of multiple Steel Plants using a...
En savoir plus
09.05.2022
09.05.2022
Publications scientifiques
Christophe Ponsard, Valery Ramon, Survey of Automation Practices in Model-Driven Development and Operations, BotSE 4th International Workshop on...
En savoir plus
18.10.2021
18.10.2021
Publications scientifiques
Christophe Ponsard, Valery Ramon, Mounir Touzani, Improving Cyber Security Risk Assessment by Combined Use of i* and Infrastructure Models, the...
En savoir plus
21.09.2021
21.09.2021
Publications scientifiques
Christophe Ponsard, Jean-Christophe Deprez, Survey and Consistency Checking of Formal Requirements Animations, Formal Requirements 2021 at RE2021 –...
En savoir plus
04.01.2021
04.01.2021
Communication scientifique
Christophe Ponsard and Bérengère Nihoul, Fairness Analysis of Pandemic Management using a Sustainability Pattern Library, ERCIM News 124 on...
En savoir plus
01.09.2020
01.09.2020
Publications scientifiques
Christophe Ponsard, Robert Darimont, Regulation and Security Modelling of Essential Services in Network of Information Systems, iStar 2020 : The...
En savoir plus
07.07.2020
07.07.2020
Publications scientifiques
Christophe Ponsard, Robert Darimont, Towards Quantitative Trade-Off Analysis in Goal Models with Multiple Obstacles Using Constraint Programming,...
En savoir plus
25.02.2020
25.02.2020
Publications scientifiques
Christophe Ponsard, Denis Darquennes, Valery Ramon and Jean-Christophe Deprez Assessment of EMF Model to Text Generation Strategies and Libraries...
En savoir plus
06.12.2019
06.12.2019
Publications scientifiques
Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard, Valéry Ramon, Edward D. Willink : Emerging Topics in...
En savoir plus
25.10.2018
25.10.2018
Communication scientifique
Christophe Ponsard, Renaud De Landtsheer, Birgit Palm, Accurate Reasoning Using Imperfect Digital Twins : A Steel Industry Case Study, ERCIM News...
En savoir plus
14.10.2018
14.10.2018
Publications scientifiques
Renaud De Landtsheer, Jean-Christophe Deprez, Christophe Ponsard, Optimal Mapping of Task-based Computation Models over Heterogeneous Hardware...
En savoir plus
06.10.2017
06.10.2017
Publications scientifiques
Boucher Q., Perrouin G., Davril JM., Heymans P. (2017) Engineering Configuration Graphical User Interfaces from Variability Models. In : Sottet...
En savoir plus
22.06.2017
22.06.2017
Business publications
Presentation at EclipseCON 2017
En savoir plus
03.10.2016
03.10.2016
Communication scientifique
Christophe Ponsard, Quentin Boucher, Gustavo Ospina, SimQRi - A Query-oriented Tool for the Efficient Simulation and Analysis of Process Models,...
En savoir plus
20.09.2016
20.09.2016
Publications scientifiques
Christophe Ponsard, Gautier Dallons, Philippe Massonet, Goal-Oriented Co-engineering of Security and Safety Requirements in Cyber-Physical Systems,...
En savoir plus
12.09.2016
12.09.2016
Publications scientifiques
Christophe Ponsard, Renaud De Landtsheer, Gustavo Ospina, Towards a Quantitative Assessment of Supply Chain Sustainability using Queries over Model...
En savoir plus
29.07.2016
29.07.2016
Publications scientifiques
Stephan Printz, Johann Philipp von Cube, Christophe Ponsard, Renaud De Landtsheer and Gustavo Ospina, A Survey on Risk-Management and Tooling...
En savoir plus
29.07.2016
29.07.2016
Publications scientifiques
Christophe Ponsard, Renaud De Landtsheer, Gustavo Ospina, Stephan Printz and Johann Philipp von Cube, Query-based Risks Management of Manufacturing...
En savoir plus
07.06.2016
07.06.2016
Communication scientifique
EclipseCON France 2016
En savoir plus
23.05.2016
23.05.2016
Communication scientifique
Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard, Building Event-B Interlocking Theories : Lessons Learned using the Theory Plug-in, 6th Rodin...
En savoir plus
23.04.2016
23.04.2016
Publications scientifiques
Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer, and Gustavo Ospina, Towards Design-time Simulation Support for Energy-Aware...
En savoir plus
24.03.2016
24.03.2016
Publications scientifiques
Christophe Ponsard, Jean-Christophe Deprez, and Raphael Michel, Guiding Cloud Developers to Build Energy Aware Applications, in Software...
En savoir plus
09.12.2015
09.12.2015
Communication scientifique
R. Darimont, C. Ponsard, A. van Lamsweerde, A. Caillau, Quantifying goal models to assess risks and evaluate costs, Workshop on the practice of...
En savoir plus
03.11.2015
03.11.2015
Publications scientifiques
Raphael Michel. Automated Reasoning on Cardinality-based Feature Models. PhD Thesis. University of Namur, November 2015 (confidential).
En savoir plus
19.10.2015
19.10.2015
Publications scientifiques
Alvaro E. Arenas, Philippe Massonet, Christophe Ponsard, and Benjamin Aziz Goal-Oriented Requirement Engineering Support for Business Continuity...
En savoir plus
06.10.2015
06.10.2015
Publications scientifiques
Zakaria Maamar, Noura Faci, Ejub Kajan, Sherif Sakr, Mohamed Boukhebouze, Ahmed Barnawi : How to Make Business Processes “Socialize” ? EAI Endorsed...
En savoir plus
05.10.2015
05.10.2015
Publications scientifiques
Christophe Ponsard, Raphael Michel, Jean-Christophe Deprez, Sanae Saadaoui, Guiding Cloud Application Developers in Designing Balanced Trade-off...
En savoir plus
20.07.2015
20.07.2015
Publications scientifiques
Christophe Ponsard, Jean-Christophe Deprez, Jacques Flamand, A UML KPI Profile for Energy Aware Design and Monitoring of Cloud Services, 10th...
En savoir plus
06.07.2015
06.07.2015
Communication scientifique
Christophe Ponsard, Jean-Christophe Deprez, Dimitri Durieux, Driving the Evolution of Cloud Software towards Energy Awareness, Seminar Series on...
En savoir plus
02.07.2015
02.07.2015
Communication scientifique
Christophe Ponsard, Philippe Massonet and Jean-Christophe Deprez, Goal-Oriented Reasoning about Systems of Systems, ERCIM News 102, Trustworthy...
En savoir plus
26.05.2015
26.05.2015
Publications scientifiques
Christophe Ponsard, Robert Darimont, Arnaud Michot, Combining Models, Diagrams and Tables for Efficient Requirements Engineering : Lessons Learned...
En savoir plus
27.04.2015
27.04.2015
Publications scientifiques
Christophe Ponsard, Annick Majchrowski, Driving the Adoption of Enterprise Architecture Inside Small Companies, 17th International Conference on...
En savoir plus
03.01.2015
03.01.2015
Communication scientifique
C. Ponsard, Towards Smarter Airborne Technologies : a panorama of Belgian Research. AIAA Intelligent Systems Technical Committee, Fall 2014 ISTC...
En savoir plus
17.10.2014
17.10.2014
Publications scientifiques
Karim Djemame, D. Armstrong, Richard E. Kavanagh, Ana Juan Ferrer, D. G. Perez, D. R. Antona, Jean-Christophe Deprez, Christophe Ponsard, D. Ortiz,...
En savoir plus
06.10.2014
06.10.2014
Publications scientifiques
Jean-Christophe Deprez and Christophe Ponsard, Energy related Goals and Questions for Cloud Services, Measurement and Metrics for Green and...
En savoir plus
28.08.2014
28.08.2014
Publications scientifiques
Benjamin Aziz, Philippe Massonet, Christophe Ponsard, A Formal Model for Forensic Storage Media Preparation Tools, in Proc. SECRYPT 2014 : 11th...
En savoir plus
30.06.2014
30.06.2014
Publications scientifiques
Isabelle Linden, Myriam Derbali, Gabriel Schwanen, Jean-Marie Jacquet, Ravi Ramdoyal, and Christophe Ponsard, On Dynamically Building Process in...
En savoir plus
03.06.2014
03.06.2014
Publications scientifiques
D. Deharbe, P. Fontaine, Y. Guyot, F. Voisin. Introduction to the Integration of SMT-Solvers in Rodin. 1st International Workshop about Sets and...
En savoir plus
28.05.2014
28.05.2014
Publications scientifiques
Mohamed Boukhebouze, Ravi Ramdoyal, Dimitri Diakodimitris, Ugo Sangiorgi, Mathieu Zen and Jean Vanderdonckt, QualiHM : A Requirement Engineering...
En savoir plus
29.04.2014
29.04.2014
Publications scientifiques
David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin, Integrating SMT solvers in Rodin, Science of Computer Programming, 2014, ISSN 0167-6423.
En savoir plus
08.04.2014
08.04.2014
Publications scientifiques
Christophe Ponsard, Jean-Christophe Deprez and Robert Darimont, Towards Requirements Engineering Patterns for Cyber-Physical Systems, ERCIM News...
En savoir plus
24.12.2013
24.12.2013
Publications scientifiques
Annick Majchrowski, Christophe Ponsard, Mathieu Ocaña, Confrontation d’un modèle d’échange de données dosimétriques avec l’état des pratiques...
En savoir plus
23.09.2013
23.09.2013
Publications scientifiques
C. Ponsard, J.C. Deprez, R. De Landtsheer, Manager Guidelines for the Industrial Deployment of Formal Methods, 18th International Workshop on...
En savoir plus
02.09.2013
02.09.2013
Publications scientifiques
Christophe Ponsard, Pascal Beaujeant, Jean Vanderdonckt, Augmenting Accessibility Guidelines with User Ability Rationales, IFIP Conference on...
En savoir plus
04.07.2013
04.07.2013
Publications scientifiques
Ravi Ramdoyal, Christophe Ponsard, Myriam-Amina Derbali, Gabriel Schwanen, Isabelle Linden and Jean-Marie Jacquet, A Generic Workflow Metamodel to...
En savoir plus
29.05.2013
29.05.2013
Publications scientifiques
Isabelle Linden, MyriamDerbali, Gabriel Schwanen, Jean-MarieJacquet, Ravi Ramdoyal, and Christophe Ponsard, Supporting unexpected situations in...
En savoir plus
29.05.2013
29.05.2013
Publications scientifiques
Christophe Ponsard, Mathieu Ocaña, Annick Majchrowski, Confrontation d’un modèle d’échange de données dosimétriques avec l’état des pratiques...
En savoir plus
30.04.2013
30.04.2013
Scientific papers
DEPLOY BOOK Chapter
En savoir plus
30.06.2012
30.06.2012
Publications scientifiques
Raphaël Michel, Vijay Ganesh, Arnaud Hubaux and Patrick Heymans, An SMT-based approach to automated configuration, 10th International Workshop on...
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 Proceedings...
En savoir plus
04.06.2012
04.06.2012
Publications scientifiques
Mathieu ACHER, Raphaël MICHEL, Patrick HEYMANS, Philippe COLLET, Philippe LAHIRE, Languages and Tools for Managing Feature Models , in Proceedings...
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
05.09.2011
05.09.2011
Publications scientifiques
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
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 2011
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
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
12.10.2010
12.10.2010
Publications scientifiques
Hubaux, A., Classen, A., Boucher Q., Michel R., Heymans P. - "Evaluating a Textual Feature Modelling Language : Four Industrial Case Studies", SLE...
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
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 (University...
En savoir plus
17.06.2008
17.06.2008
Communication scientifique
Christophe Ponsard, Gaetan Deberdt, Joel Tournemenne, "Modelling Parliamentary Workflows a Case Study in Belgian Parliaments”, Interdisciplinary...
En savoir plus
13.09.2007
13.09.2007
Communication scientifique
Dallons G., Massonet P., Molderez J.F., Ponsard C., Arenas A., ’An Analysis of the Chinese Wall Pattern for Guaranteeing Confidentiality in...
En savoir plus
13.06.2007
13.06.2007
Publications scientifiques
C. Ponsard, P. Massonet, J.F. Molderez, A. Rifaut, A. van Lamsweerde, Tran Van Hung, ’Early verification and validation of mission critical...
En savoir plus
13.06.2006
13.06.2006
Communication scientifique
C. Ponsard, E. Dieul, From Requirements Models to Formal Specifications in B, in proc. International Workshop on regulations Modelling and their...
En savoir plus
12.09.2004
12.09.2004
Publications scientifiques
C. Ponsard, P. Massonet, A. Rifaut, J.F. Molderez, A. van Lamsweerde and H. Tran Van, Early Verification and Validation of Mission Critical...
En savoir plus
01.03.2004
01.03.2004
Publications scientifiques
J.F. Molderez, C. Ponsard, Deriving Acceptance Tests from Goal Requirements, 2nd International Mozart/Oz Conference, Charleroi (Belgium), September...
En savoir plus