Publications

SecureBFL : a Blockchain-enhanced federated learning architecture with MPC

Tanguy Vansnick, Leandro Collier, Saïd Mahmoudi, "SecureBFL : a Blockchain-enhanced federated learning architecture with MPC", 33th European...

Dynamic reconfiguration of deep neural networks for resource-constrained FPGA...

Rashed Al Koutayni, Alain Pagani, Didier Stricker, Gerard Florence, Amel Achour, Philippe Massonet, "Dynamic Reconfiguration of Deep Neural...

Challenges in Comparing Code Maintainability across Different Programming...

Christophe Ponsard, Gustavo Ospina, Denis Darquennes, Challenges in Comparing Code Maintainability across Different Programming Languages, 23rd...

Towards Cyber Security Risk Analysis for Digital Products

Christophe Ponsard, Jean-François Daune, Towards Cyber Security Risk Analysis for Digital Products, ERCIM News 139, Special Theme on Software Security

Double Shot Transfer Learning and Vision Transformers for Binary Breast...

Xavier Lessage, Anthony Moulin, Saïd Mahmoudi, Salvatore Murgo, "Double Shot Transfer Learning and Vision Transformers for Binary Breast Cancer...

Systematic Derivation of a Global Constraint for Routing

Renaud De Landtsheer, Systematic Derivation of a Global Constraint for Routing, , ORBEL 38, 38th Annual Conference of the Belgian Operational...

Bandit Algorithms for Neighborhood Selection in Local Search

Stefano Michelini, Renaud De Landtsheer, Moisés Silva-Muñoz, Alberto Franzin, Augustin Delecluse, "Bandit Algorithms for Neighborhood Selection in...

Towards Data and Security Federation of multiple Steel Plants using a...

Rami Sellami, Sebastien Dupont, Guillaume Ginis and Nikolaos Matskanis, Towards Data and Security Federation of multiple Steel Plants using a...

Analysis on the Technological Needs and Requirements of SMEs in Rail

Garazi Carranza Ruiz de Loizaga, Oihane de la Rua, Olatz Amorrortu, Bérengère Nihoul and Nikolaos Matskanis, Author of Part, "Analysis on the...

Product Incremental Security Risk Assessment using DevSecOps Practices

Product Incremental Security Risk Assessment using DevSecOps Practices. Sébastien Dupont, Artsiom Yautsiukhin, Guillaume Ginis, Giacomo Iadarola,...

A Global Constraint for Modeling Time in Scheduling Problems for Local Search

Stefano Michelini, Fabian Germeau, A Global Constraint for Modeling Time in Scheduling Problems for Local Search, ORBEL36, Gent, Belgium, September...

Towards Model-Driven DevSecOps for Cyberattack Prevention, Detection and...

Christophe Ponsard, Philippe Massonet, Valéry Ramon : Towards Model-Driven DevSecOps for Cyberattack Prevention, Detection and Recovery. ERCIM News...

INAH : The Ethical & Secure Platform for Medical data Analysis

ERCIM News : Privacy Preserving Computation Special Theme

Analyse SWOT des Systèmes d’Information pervasifs dans les bâtiments...

Christophe Ponsard, Mounir Touzani, Analyse SWOT des Systèmes d’Information pervasifs dans les bâtiments intelligents sur les modes BIM, BAM et...

Fairness Analysis of Pandemic Management using a Sustainability Pattern Library

Christophe Ponsard and Bérengère Nihoul, Fairness Analysis of Pandemic Management using a Sustainability Pattern Library, ERCIM News 124 on...

Photographic Heritage Restoration Through Deep Neural Networks

Michaël Tits, Mohamed Boukhebouze and Christophe Ponsard: Photographic Heritage Restoration Through Deep Neural Networks, ERCIM News 123,October...

A Living Lab Approach for Sustainable Forest Management

Christophe Ponsard et Bérengère Nihoul, A Living Lab Approach for Sustainable Forest Management, ERCIM News 121,The Climate Action: Mathematics,...

Towards Improved Mobility Support in Wireless Sensor Networks

Amel Achour, Lotfi Guedria and Christophe Ponsard, Towards Improved Mobility Support in Wireless Sensor Networks, ERICM News 119, Special theme :...

Combining Predictive and Prescriptive Analytics to Improve Clinical Pathways

Christophe Ponsard, Renaud De Landtsheer, Combining Predictive and Prescriptive Analyticsto Improve Clinical Pathways, ERCIM News 118 Special theme...

Eco-conception logicielle d’une plateforme de gestion de microsystèmes autonomes

Christophe Ponsard, Frederic China, Eco-conception logicielle d’une plateforme de gestion de microsystèmes autonomes, Atelier QualityIoT, 37eme...

Éco-conception logicielle pour systèmes durables

Christophe Ponsard, Bérengère Nihoul, Mounir Touzani, Éco-conception logicielle pour systèmes durables : retours d’expérience en matière de...

Accurate Reasoning Using Imperfect Digital Twins : A Steel Industry Case Study

Christophe Ponsard, Renaud De Landtsheer, Birgit Palm, Accurate Reasoning Using Imperfect Digital Twins : A Steel Industry Case Study, ERCIM News...

Systems for Electronic Evidence Handling and Exchange

Nikolaos Matskanis, Jean-Christophe Deprez, Fabrice Estievenart, Christophe Ponsard, Systems for Electronic Evidence Handling and Exchange, Book...

Generic Support for Global Routing Constraint in Constraint-Based Local...

Quentin Meurisse, Renaud De Landtsheer, Generic Support for Global Routing Constraint in Constraint-Based Local Search Frameworks, ORBEL32, Liège,...

Easily Building Complex Neighbourhoods With the Cross-Product Combinator

Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Fabian Germeau, Christophe Ponsard, Easily Building Complex Neighbourhoods With the...

On the Interplay between Physical and Digital World Accessibility

Christophe Ponsard, Jean Vanderdonckt and Lyse Saintjean, On the Interplay between Physical and Digital World Accessibility, ERCIMS News 111,...

Toward a Framework for Embedded & Collaborative Data Analysis with...

Applications Deployment in Multiple PaaS Environments: Requirements,...

Rami Sellami, Mehdi Ahmed-Nacer, and Stéphane Mouton, "Applications Deployment in Multiple PaaS Environments: Requirements, Challenges and...

Cross-Domain Fertilisation in the Evolution towards Autonomous Vehicles

Christophe Ponsard, Philippe Massonet and Gautier Dallons, Cross-Domain Fertilisation in the Evolution towards Autonomous Vehicles, ERCIM News 109,...

La croissance dans les industries culturelles et créatives : le cas de la...

R. Viseur, K Kristoforidis, "La croissance dans les industries culturelles et créatives : le cas de la Digital Innovation Valley", 2nde Journée de...

Stratégies ouvertes d’intégration de règles métier pour la géomatique dans...

Mounir Touzani, Lirmm, Christophe Ponsard, Thérèse Libourel, Joël Quinqueton, Anne Laurent, Stratégies ouvertes d’intégration de règles métier pour...

SimQRi - A Query-oriented Tool for the Efficient Simulation and Analysis of...

Christophe Ponsard, Quentin Boucher, Gustavo Ospina, SimQRi - A Query-oriented Tool for the Efficient Simulation and Analysis of Process Models,...

Co-engineering Security and Safety Requirements for Cyber-Physical Systems

Christophe Ponsard, Philippe Massonet and Gautier Dallons, Co-engineering Security and Safety Requirements for Cyber-Physical Systems, ERCIM News...

Problèmes pratiques de propriété intellectuelle dans les hotspots créatifs...

Robert Viseur, Problèmes pratiques de propriété intellectuelle dans les hotspots créatifs wallons : bases d’un cadre légal adapté aux activités...

Success Factors of an Open Source Outsider : the Case of Nginx Web Server

Robert Viseur, Success Factors of an Open Source Outsider : the Case of Nginx Web Server, CPMMI conference.

A generic REST API on top of Eclipse CDO for web-based modelling

EclipseCON France 2016

Retour d’expérience sur l’analyse des exigences centrées sur les données pour...

Christophe Ponsard, Annick Majchrowski, Stéphane Mouton, Analyse des exigences pour des SI Big-Data - Retour d’expérience pour la gestion d’alarmes...

Building Event-B Interlocking Theories : Lessons Learned using the Theory...

Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard, Building Event-B Interlocking Theories : Lessons Learned using the Theory Plug-in, 6th Rodin...

Etude des facteurs de succès du projet open source Apache HTTP

Robert Viseur, Etude des facteurs de succès du projet open source Apache HTTP, 21ème colloque de l’AIM, Lille, IÉSEG School of Management,...

Using Blended Learning to Support Community Development Lessons Learnt from a...

Christophe Ponsard, Joël Chouassi, Vincent Snoeck, Anne-Sophie Marchal and Julie Vanhalewyn, Using Blended Learning to Support Community...

Local Search with OscaR.CBLS

Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Christophe Ponsard, Local Search with OscaR.CBLS, Workshop Design and Analysis of...

A Security Perspective on Federated Cloud Networks and Network Functions

Philippe Massonet, "A Security Perspective on Federated Cloud Networks and Network Functions ", Clouscape conference, March 8th 2016.

Open Source Hardware on the Cutting Edge : the Case of Open Source Cars

Robert Viseur, Open Source Hardware on the Cutting Edge : the Case of Open Source Cars in "International Workshop on the Sharing Economy", Paris...

Towards the Complexity of Differentiation Through Lazy Updates in Local...

Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, Christophe Ponsard, Towards the Complexity of Differentiation Through Lazy Updates in Local...

Quantifying goal models to assess risks and evaluate costs

R. Darimont, C. Ponsard, A. van Lamsweerde, A. Caillau, Quantifying goal models to assess risks and evaluate costs, Workshop on the practice of...

QualiXML - an XML-based Static Code Analysis Framework

Dimitri Durieux, Christophe Ponsard and Jean-Christophe Deprez. QualiXML - an XML-based Static Code Analysis Framework, BENEVOL, Lille, December 4,...

L’optimisation par recherche locale avec OscaR, expliquée à mon voisin

Renaud De Landtsheer, Christophe Ponsard, L’optimisation par recherche locale avec OscaR, expliquée à mon voisin, 16es Rencontres Mondiales du...

Driving the Evolution of Cloud Software towards Energy Awareness

Christophe Ponsard, Jean-Christophe Deprez, Dimitri Durieux, Driving the Evolution of Cloud Software towards Energy Awareness, Seminar Series on...

Goal-Oriented Reasoning about Systems of Systems

Christophe Ponsard, Philippe Massonet and Jean-Christophe Deprez, Goal-Oriented Reasoning about Systems of Systems, ERCIM News 102, Trustworthy...

Towards Smarter Airborne Technologies

C. Ponsard, Towards Smarter Airborne Technologies : a panorama of Belgian Research. AIAA Intelligent Systems Technical Committee, Fall 2014 ISTC...

Isolation d’environnements avec chroot

Dimitri Diakodimitris, Isolation d’environnements avec chroot, Linux Pratique, n°87, p.22-27, January 2015.

Paving the Way to Open Physical Accessibility Information

Christophe Ponsard, Vincent Snoeck, Paving the Way to Open Physical Accessibility Information, Accessible Way-Finding Using Web Technologies,...

Automating OW2 SQUaT Assessment and Reporting using Worklow and Metrics...

Dimitri Durieux, Jean-Christophe Deprez, Christophe Ponsard, Automating OW2 SQUaT Assessment and Reporting using Worklow and Metrics Collection...

Building Smarter Cities through ICT-driven Co-Innovation

Christophe Ponsard, Robert Viseur and Jean-Christophe Deprez, Building Smarter Cities through ICT-driven Co-Innovation, ERCIM News 98, p51, July 2014.

Web APIs : an Effective Tool for Co-creation in ICT Sector

Robert Viseur, Web APIs : an Effective Tool for Co-creation in ICT Sector, 2014 Science-to-Business Marketing Conference, Winterthur (Switzerland),...

Open data en Wallonie : quelles sont les perspectives après le Hackathon eGov...

Robert Viseur, Open data en Wallonie : quelles sont les perspectives après le Hackathon eGov Wallonia ?, 19ème conférence de l’Association...

Using Open Source software and Open data to support Clinical Trial Protocol...

Nikolaos Matskanis, Joseph Roumier, Fabrice Estiévenart, Using Open Source software and Open data to support Clinical Trial Protocol design,...

Technical debt KPI for driving software quality evolution Feedback from an...

Nicolas Devos, Dimitri Durieux, Christophe Ponsard, Technical debt KPI for driving software quality evolution Feedback from an industrial survey,...

Redundant Border Routers for Mission-Critical 6LoWPAN Networks

Laurent Deru, Sebastien Dawans, Auteur : 66, Bruno Quoitin and Olivier Bonaventure, "Redundant Border Routers for Mission-Critical 6LoWPAN...

Extraction of Biographical Data from Wikipedia

Robert Viseur, Extraction of Biographical Data from Wikipedia, Proceedings of International Conference on Data Technologies and Applications 2013,...

Estimate the Market Share from the Search Engine Hit Counts

Robert Viseur, Estimate the Market Share from the Search Engine Hit Counts, Proceedings of International Conference on Data Technologies and...

Extraction de données biographiques depuis Wikipedia

Robert Viseur, Extraction de données biographiques depuis Wikipedia, 31ème congrès InforSID, Paris (France), 29-31 mai 2013.

Élaboration d’un schéma de valorisation pour l’édition de logiciels open source

Robert Viseur, Élaboration d’un schéma de valorisation pour l’édition de logiciels open source, 18ème conférence de l’Association Information et...

OscaR.cbls : an open source framework for constraint-based local search

Renaud De Landtsheer, Christophe Ponsard, OscaR.cbls : an open source framework for constraint-based local search, 27th ORBEL Annual Meeting,...

Connect ALM tools thanks to the Open Services for Lifecycle Collaboration...

Jean-Christophe Deprez, Dimitri Durieux, Connect ALM tools thanks to the Open Services for Lifecycle Collaboration Specification, DEVOXX 2012, 13...

Open Source Software and Linked Open Data Synergy Illustrated by Two Medical...

N. Matskanis, J. Roumier, F. Lawarrée, F. Estiévenart, R. Bendaoud, Open Source Software and Linked Open Data Synergy Illustrated by Two Medical...

Retroweb, un logiciel open-source pour l’extraction de données sur Internet

Fabrice Estiévenart, Retroweb, un logiciel open-source pour l’extraction de données sur Internet, Rencontres Mondiales du Logiciel Libre (RMLL),...

Experiment with COSMIC V3.0 : Case Studies in Business Applications

Sanae Saadaoui, Annick Majchrowski, Christohe Ponsard, "Experiment with COSMIC V3.0 : Case Studies in Business Applications", EuroSPI 2009, 2-4...

Problèmes pratiques de propriété intellectuelle dans les hotspots créatifs...

Robert Viseur,Problèmes pratiques de propriété intellectuelle dans les hotspots créatifs wallons : bases d’un cadre légal adapté aux activités...

Initial Results from the Study of the Open Source Sector in Belgium

Robert Viseur, Initial Results from the Study of the Open Source Sector in Belgium, OpenSym’14, August 27-29 2014, Berlin, Germany

Reliability of User-Generated Data : the Case of Biographical Data in Wikipedia

Robert Viseur, Reliability of User-Generated Data : the Case of Biographical Data in Wikipedia, OpenSym’14, August 27-29 2014, Berlin, Germany

Open Data in Wallonia: What is the Outlook after the Hackathon eGov Wallonia?

Robert Viseur, Open Data in Wallonia: What is the Outlook after the Hackathon eGov Wallonia?, Proceedings of ITS Europe 2014 Conference, June 22-25...

From Open Source Software to Open Source Hardware

Robert Viseur, From Open Source Software to Open Source Hardware, proceeding of the 8th International Conference on Open Source Systems (OSS 2012),...

PONTE : A Context-Aware Approach for Automated Clinical Trial Protocol Design

G. Tsatsaronis, K. Mourtzoukos, V. Andronikou, T. Tagaris, I. Varlamis, M. Schroeder, T. Varvarigou, D. Koutsouris and N. Matskanis, PONTE : A...

An SMT-LIB Format for Sequences and Regular Expressions

Nikolaj Bjørner, Vijay Ganesh, Raphaël Michel and Margus Veanes, An SMT-LIB Format for Sequences and Regular Expressions, 10th International...

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

Semantic Interoperability between Clinical Research and Healthcare : the...

Tassos Tagaris, Efthymios Chondrogiannis , Joseph Roumier, George Tsatsaronis, Vassiliki Andronikou, Nikolaos Matskanis, Konstantinos Mourtzoukos,...

Le chercheur peut-il se fier aux volumétries indiquées par les moteurs de...

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

Gérer la propriété intellectuelle dans les projets à base de logiciels libres

Robert Viseur, Gérer la propriété intellectuelle dans les projets à base de logiciels libres, 17ème conférence de l’Association Information et...

Security Challenges for Remote Patient Care Systems using m-Health Technologies

Syed Naqvi, Philippe Drugmand, Sébastien Rousseaux, "Security Challenges for Remote Patient Care Systems using m-Health Technologies", Medetel,...

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

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

Forks impacts and motivations in free and open source projects

Robert Viseur, Forks impacts and motivations in free and open source projects, International Journal of Advanced Computer Science and...

Digital Investigations and Forensic Analysis - Practices and Technologies

Syed Naqvi, Digital Investigations and Forensic Analysis - Practices and Technologies, Sixth International Conference on Digital Society (ICDS...

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

A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage

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

Generating High-Level Event-B System Models from KAOS Requirements Models

Ponsard C., Devroey X., Generating High-Level Event-B System Models from KAOS Requirements Models, in INFormatique des ORganisations et Systèmes...

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

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

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

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

Précision relative à la visiophonie

J. Sutera, B. Le Maire, C. Ponsard, J. Hanoteau, J. Verstraete, "Précision relative à la visiophonie", Sournal 108, Octobre 2010.

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

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

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

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

Evaluating Maintainability Related Risks of Free/Open Source Software...

Frédéric Fleurial Monfils, Jacques Flamand, Nicolas Devos, Jean-Christophe Deprez, Evaluating Maintainability Related Risks of Free/Open Source...

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

Addressing IEC 61508 Certification in a multi-norms context : A generic approach

Gautier Dallons, Annick Majchrowski, Jean-Christophe Trigaux, "Addressing IEC 61508 Certification in a multi-norms context : A generic approach",...

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

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

Using SLA based Approach to handle Sabotage Tolerance in the Grids

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

Modelling Parliamentary Workflows a Case Study in Belgian Parliaments

Christophe Ponsard, Gaetan Deberdt, Joel Tournemenne, "Modelling Parliamentary Workflows a Case Study in Belgian Parliaments”, Interdisciplinary...

Développer une application eID - rapport d’expérience : réalisation d’un chat...

Christophe Ponsard et Jérôme Jonckers, Développer une application eID - rapport d’expérience : réalisation d’un chat eID, eID newsletter, décembre...

FlOSS Managed Data Sources Maturity Level : An attempt

Frédéric Fleurial Monfils and Jean-Christophe Deprez, F/OSS Managed Data Sources Maturity Level : An attempt, In Proc. of 2nd Workshop on Software...

An Analysis of the Chinese Wall Pattern for Guaranteeing Confidentiality in...

Dallons G., Massonet P., Molderez J.F., Ponsard C., Arenas A., ’An Analysis of the Chinese Wall Pattern for Guaranteeing Confidentiality in...

A High Performance FPGA-Based Accelerator for BLAS Library Implementation

S. Rousseaux, D. Hubaux, P. Guisset, J.-D. Legat, "A High Performance FPGA-Based Accelerator for BLAS Library Implementation", Proceeding of the...

From Requirements Models to Formal Specifications in B

C. Ponsard, E. Dieul, From Requirements Models to Formal Specifications in B, in proc. International Workshop on regulations Modelling and their...

Publications - Embedded and Communicating Systems

Publications - Embedded and Communication Systems

Adaptation of Cyclic Redundancy Check Computation to a VLIW Architecture"

D. Hubaux, J-D. Legat, "Adaptation of Cyclic Redundancy Check Computation to a VLIW Architecture", Proceedings 2th PACT-Symposium, September 2002,...

Nouvelles méthodes de conception de systèmes électroniques intégrés

D. Hubaux, L. Guedria, L. Vandendorpe, M. Verleysen, J-D. Legat, Nouvelles méthodes de conception de systèmes électroniques intégrés, Proceedings...