Research Group on the Foundations of Computer Sciences

Actif

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., FRENAY, B. & LINDEN, I.

27/11/19 → 28/11/23

Projet: Projet de thèse

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

Barkallah, M. & JACQUET, J.

1/10/19 → …

Projet: Projet de thèse

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

SCHOBBENS, P., Amrani, M. & ORTIZ VEGA, J. J.

1/08/19 → 31/07/22

Projet: Recherche

VeriLearn: Verifying Learning Artificial Intelligence Systems

HEYMANS, P., FRENAY, B., SCHOBBENS, P., TEMPLE, P., Nanfack, G., Amrani, M. & Bibal, A.

1/01/18 → 31/12/22

Projet: Recherche

THCS: Testing Highly-configurable Systems

PERROUIN, G., SCHOBBENS, P., Amrani, M., ORTIZ VEGA, J. J. & HEYMANS, P.

1/01/18 → 31/12/22

Projet: Recherche

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

ORTIZ VEGA, J. J. & SCHOBBENS, P.

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., Van Gyseghem, J., SCHOBBENS, P., Gebka, E. & Michel, A.

1/01/17 → 31/12/20

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., Van Gyseghem, J., Michel, A. & Gillard, N.

1/03/16 → 31/12/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., Dumas, B., Michel, A. & CLARINVAL, A.

1/03/16 → 31/12/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., Dumas, B., Michel, A. & CLARINVAL, A.

1/03/16 → 31/12/20

Projet: Recherche

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

LINDEN, I., WALLEMACQ, A., BOSSE, A., Deville, G. & Dumas, B.

2/11/15 → 31/12/20

Projet: Recherche

Leveraging the Value of Mobile Data in Depth and Breadth

Colot, C., LINDEN, I. & Baecke, P.

1/10/15 → …

Projet: Recherche

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

SCHOBBENS, P., Bontemps, Y., ORTIZ VEGA, J. J. & KANG, E.

1/10/99 → …

Projet: Recherche

Pas commencé

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

YERNAUX, G. & VANHOOF, W.

Projet: Projet de thèse

Terminé

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

SCHOBBENS, P. & Lambiotte, R.

1/06/16 → 31/07/18

Projet: Recherche

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

SCHOBBENS, P.

21/03/16 → 20/03/20

Projet: Recherche

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

SCHOBBENS, P., HEYMANS, P. & Amrani, M.

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., GILSON, F., COUGNON, L., Delvaux, B., Fairon, C. & Roekhaut, S.

1/09/14 → 31/01/18

Projet: Recherche

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

SCHOBBENS, P., ORTIZ VEGA, J. J. & DEBIECHE, A.

1/01/14 → 31/12/15

Projet: Recherche

POC ProCEPlanS: PROof of Concept of an Estate PLANning Software

JACQUET, J., Helbois, D. & LINDEN, I.

1/11/13 → 31/10/14

Projet: Recherche

IFLEC : Informatisation du flux des études cliniques

SCHOBBENS, P. & ORTIZ VEGA, J. J.

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., HEYMANS, P. & SCHOBBENS, P.

1/10/11 → 30/09/15

Projet: Projet de thèse

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

DEVROEY, X., HEYMANS, P., SCHOBBENS, P. & PERROUIN, G.

1/09/11 → 30/08/17

Projet: Projet de thèse

VLPL: Vérification de Lignes de Produits Logiciels

HEYMANS, P., SCHOBBENS, P., Classen, A., CORDY, M., KANG, E. & Legay, A.

1/01/11 → 1/01/13

Projet: Recherche

TPA: Théorie et Pratique des Automates et des Logiques

SCHOBBENS, P., CORDY, M., KANG, E. & ORTIZ VEGA, J. J.

1/01/11 → 31/12/14

Projet: Recherche

Génération de données de test basée sur les contraintes pour des programmes orientés base de données.

VANHOOF, W.

1/10/10 → 30/09/14

Projet: Recherche

Declarative Approach to Dynamic Workflow Management

Schwanen, G., LINDEN, I. & VANHOOF, W.

28/06/10 → 30/09/13

Projet: Projet de thèse

BEM: Business Event Manager

DERBALI, M. A., JACQUET, J., LINDEN, I., Schwanen, G. & STAICU, M.

1/05/10 → 30/10/13

Projet: Recherche