Research Group on the Foundations of Computer Sciences

Actif

SQUAL.AI: Qualité des logiciels grâce à l'intelligence artificielle

Devroey, X. (Responsable du Projet), Schobbens, P. Y. (Responsable du Projet), Perrouin, G. (Responsable du Projet) & Vanderose, B. (Responsable du Projet)

1/01/25 → 31/12/26

Projet: Recherche

ERNEST: schEduler foR eNErgy autonomouS ioT

Schobbens, P. Y. (Responsable du Projet)

1/10/24 → 30/09/25

Projet: Recherche

Sandbox4CS: Sandbox4CS : une infrastructure de recherche pour les sciences informatiques

Vanhoof, W. (Responsable du Projet)

1/01/24 → 31/12/25

Projet: Recherche

CyberExcellence - les semestres thématiques

Colin, J.-N. (Responsable du Projet) & Jacquet, J.-M. (Responsable du Projet)

1/01/23 → 30/09/28

Projet: Recherche

CYBEREXCELLENCE: Le projet d’excellence de la cyber sécurité dans le cadre du plan de la Région Wallonne (CyberWal)

Colin, J.-N. (Responsable du Projet), Schobbens, P. Y. (Co-investigateur), Dejaeghere, J. (Chercheur), Devroey, X. (Co-investigateur), Nguyen, G. (Chercheur), Rochet, F. (Co-investigateur), Schumacher, L. (Co-investigateur), Knockaert, M. (Chercheur), Jacquet, J.-M. (Co-investigateur), Linden, I. (Responsable du Projet), Elkoulak, H. (Chercheur), Poeng, K. (Chercheur), Ouardi, D. (Chercheur), Goffaux, L. (Chercheur) & Barkallah, M. (Chercheur)

1/01/22 → 31/12/27

Projet: Recherche

SmartTune - Optimisation robuste et durable des hyperparamètres pour le Deep Learning

Gratia, A. (Responsable du Projet), Perrouin, G. (Promoteur), Schobbens, P. Y. (Co-Promoteur), Temple, P. (Rôle de support), Tuci, E. (Rôle de support) & Acher, M. (Rôle de support)

1/07/21 → 28/06/25

Projet: Projet de thèse

ARIAC by DigitalWallonia4.AI: Applications et Recherche pour une Intelligence Artificielle de Confiance (TRAIL-Foundations)

Frénay, B. (Responsable du Projet), Jacquet, J.-M. (CoPI) & Dumas, B. (CoPI)

1/01/21 → 30/09/27

Projet: Recherche

STS-Bach: a Contextual Coordination Model for Socio-Technical Systems

Barkallah, M. (Responsable du Projet) & Jacquet, J.-M. (Promoteur)

1/10/19 → …

Projet: Projet de thèse

Optimisation de la performance et de la qualité d'un système de production, à travers des techniques d'intelligence artificielle, dans un contexte d'Industry 4.0

BOUGAHAM, A. (Chercheur), Frénay, B. (Co-Promoteur) & Linden, I. (Co-Promoteur)

6/03/19 → 30/11/25

Projet: Projet de thèse

CFV: Centre Fédéré en Vérification de Logiciel

Schobbens, P. Y. (Responsable du Projet), Bontemps, Y. (Chercheur), Ortiz Vega, J. J. (Chercheur) & KANG, E.-Y. (Chercheur)

1/10/99 → …

Projet: Recherche

Pas commencé

CYBEREXCELLENCE - Av1: Le projet d’excellence de la cyber sécurité dans le cadre du plan de la Région Wallonne (CyberWal)

Colin, J.-N. (Responsable du Projet) & Jacquet, J.-M. (Responsable du Projet)

1/01/26 → 31/12/27

Projet: Recherche

Equivalence algorithmique sur base de transformations axées sur la généralisation de programmes logiques

Yernaux, G. (Responsable du Projet) & Vanhoof, W. (Promoteur)

Projet: Projet de thèse

Terminé

ROBIN: A high level Reconstruction Of BIological PipeliNes

Jacquet, J.-M. (Responsable du Projet) & Zeippen, J.-M. (Chercheur)

1/09/21 → 31/10/22

Projet: Recherche

MP: Recherche universitaire sur l’exploitation des données des pouvoirs locaux

Burnay, C. (Responsable du Projet), Castiaux, A. (Responsable du Projet), Dodeigne, J. (Responsable du Projet), Linden, I. (Responsable du Projet) & Jacquet, V. (Chercheur)

1/01/21 → 31/12/22

Projet: Recherche

Passage de la variabilité à l'échelle

Schobbens, P. Y. (Responsable du Projet) & Cordy, M. (Co-investigateur)

1/01/21 → 31/12/24

Projet: Recherche

CoTu: Erasmus+ICM: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES

Schobbens, P. Y. (Responsable du Projet), Amrani, M. (Responsable du Projet) & Ortiz Vega, J. J. (Responsable du Projet)

1/08/19 → 31/07/22

Projet: Recherche

VeriLearn: Verifying Learning Artificial Intelligence Systems

Heymans, P. (Responsable du Projet), Frénay, B. (Co-investigateur), Schobbens, P. Y. (Co-investigateur), Temple, P. (Chercheur), Nanfack, G. (Chercheur), Amrani, M. (Chercheur) & BIBAL, A. (Chercheur)

1/01/18 → 31/12/22

Projet: Recherche

THCS: Testing Highly-configurable Systems

Perrouin, G. (Chercheur), Schobbens, P. Y. (Responsable du Projet), Amrani, M. (Chercheur), Ortiz Vega, J. J. (Chercheur) & Heymans, P. (Chercheur)

1/01/18 → 31/12/22

Projet: Recherche

Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems

Ortiz Vega, J. J. (Chercheur) & Schobbens, P. Y. (Responsable du Projet)

1/09/17 → 31/08/23

Projet: Projet de thèse

wal-e-cities ECO: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

Castiaux, A. (Responsable du Projet), Van Gyseghem, J.-M. (Responsable du Projet), Schobbens, P. Y. (Responsable du Projet), Gebka, E. (Chercheur) & Michel, A. (Chercheur)

1/01/17 → 31/12/23

Projet: Recherche

UNII: Erasmus+ICM: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES

Schobbens, P. Y. (Responsable du Projet) & Lambiotte, R. (Responsable du Projet)

1/06/16 → 31/07/18

Projet: Recherche

EUTYPES: The European research network on types for programming and verification

Schobbens, P. Y. (Responsable du Projet)

21/03/16 → 20/03/20

Projet: Recherche

wal-e-cities LIV: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

Schobbens, P. Y. (Responsable du Projet), Dumas, B. (Responsable du Projet), Michel, A. (Responsable du Projet) & Clarinval, A. (Responsable du Projet)

1/03/16 → 31/12/23

Projet: Recherche

wal-e-cities GOV: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

Schobbens, P. Y. (Responsable du Projet), Van Gyseghem, J.-M. (Responsable du Projet), Michel, A. (Chercheur) & Gillard, N. (Responsable du Projet)

1/03/16 → 31/12/23

Projet: Recherche

EFFaTA-MeM: Evocative Frameworks for Texts Analysis – Mediality Models – A transdisciplinary Approach

Linden, I. (Co-investigateur), Wallemacq, A. (Co-investigateur), BOSSE, A. (Co-investigateur), Deville, G. (Co-investigateur) & Dumas, B. (Co-investigateur)

2/11/15 → 31/12/20

Projet: Recherche

Leveraging the Value of Mobile Data in Depth and Breadth

Colot, C. (Responsable du Projet), Linden, I. (Promoteur) & Baecke, P. (Co-Promoteur)

1/10/15 → 29/01/20

Projet: Recherche

wal-e-cities MOB: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

Schobbens, P. Y. (Responsable du Projet), Dumas, B. (Responsable du Projet), Michel, A. (Chercheur) & Clarinval, A. (Responsable du Projet)

1/10/15 → 31/03/23

Projet: Recherche

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

Schobbens, P. Y. (Chercheur), Heymans, P. (Chercheur) & Amrani, M. (Chercheur)

21/11/14 → 24/11/18

Projet: Recherche

WebDeb: Création d'une application pédagogique open source de cartographie des débats et de sa plateforme générique

Schobbens, P. Y. (Responsable du Projet), GILSON, F. (Chercheur), COUGNON, L.-A. (Chercheur), Delvaux, B. (Co-investigateur), Fairon, C. (Co-investigateur) & Roekhaut, S. (Co-investigateur)

1/09/14 → 31/01/18

Projet: Recherche

SEMIA: Architecture pour l'imagerie médicale augmentée sémantiquement

Schobbens, P. Y. (Responsable du Projet), Ortiz Vega, J. J. (Chercheur) & DEBIECHE, A. (Chercheur)

1/01/14 → 31/12/15

Projet: Recherche

POC ProCEPlanS: PROof of Concept of an Estate PLANning Software

Jacquet, J.-M. (Responsable du Projet), Helbois, D. (Co-investigateur) & Linden, I. (Responsable du Projet)

1/11/13 → 31/10/14

Projet: Recherche

IFLEC : Informatisation du flux des études cliniques

Schobbens, P. Y. (Responsable du Projet) & Ortiz Vega, J. J. (Chercheur)

21/09/13 → 20/09/15

Projet: Recherche

Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.

CORDY, M. (Chercheur), Heymans, P. (Co-investigateur) & Schobbens, P. Y. (Co-investigateur)

1/10/11 → 30/09/15

Projet: Projet de thèse

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines

Devroey, X. (Chercheur), Heymans, P. (Co-investigateur), Schobbens, P. Y. (Co-investigateur) & Perrouin, G. (Chercheur)

1/09/11 → 30/08/17

Projet: Projet de thèse

VLPL: Vérification de Lignes de Produits Logiciels

Heymans, P. (Responsable du Projet), Schobbens, P. Y. (Responsable du Projet), Classen, A. (Chercheur), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Legay, A. (Chercheur)

1/01/11 → 1/01/13

Projet: Recherche