Research Group on the Foundations of Computer Science

Projects

Projects per year

1999 2026

• 1 Not started
• 9 Active
• 20 Finished

Projects per year

Search results

• Active

  MP-Loth-Info: Academic research on the exploitation of local government data

  Burnay, C., CASTIAUX, A., DODEIGNE, J. & LINDEN, I.

  1/01/21 → 31/12/22

  Project: Research

• ARIAC by DigitalWallonia4.AI: Applications and Research for Trusted Artificial Intelligence (TRAIL-Foundations)

  FRENAY, B., JACQUET, J. & Dumas, B.

  1/01/21 → 31/12/26

  Project: Research

• Manufacturing system performance and quality optimization, through artificial intelligence techniques, in an Industry 4.0 context

  BOUGAHAM, A., FRENAY, B. & LINDEN, I.

  27/11/19 → 28/11/23

  Project: PHD

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

  Barkallah, M. & JACQUET, J.

  1/10/19 → …

  Project: PHD

• 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

  Project: Research

• THCS: Testing Highly-configurable Systems

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

  1/01/18 → 31/12/22

  Project: Research

• 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

  Project: Research

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

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

  1/09/17 → 31/08/23

  Project: PHD

• CFV: Federated Centre for Software Verification

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

  1/10/99 → …

  Project: Research
• Not started

  Algorithmic equivalence by generalization-driven transformations of logic programs

  Yernaux, G. & VANHOOF, W.

  Project: PHD

• Finished

  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

  Project: Research

• 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

  Project: Research

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

  SCHOBBENS, P.

  21/03/16 → 20/03/20

  Project: Research

• 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

  Project: Research

• 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

  Project: Research

• 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

  Project: Research

• 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

  Project: Research

• Leveraging the Value of Mobile Data in Depth and Breadth

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

  1/10/15 → 29/01/20

  Project: Research

• MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

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

  21/11/14 → 24/11/18

  Project: Research

• WebDeb: The Web Deb Project

  SCHOBBENS, P., GILSON, F., COUGNON, L., Delvaux, B., Fairon, C. & Roekhaut, S.

  1/09/14 → 31/01/18

  Project: Research

• SEMIA: Semantics Enhanced Medical Imaging Architecture

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

  1/01/14 → 31/12/15

  Project: Research

• POC ProCEPlanS: PROof of Concept of an Estate PLANning Software

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

  1/11/13 → 31/10/14

  Project: Research

• IFLEC : Informatisation du flux des études cliniques

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

  21/09/13 → 20/09/15

  Project: Research

• Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines

  CORDY, M., HEYMANS, P. & SCHOBBENS, P.

  1/10/11 → 30/09/15

  Project: PHD

• 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

  Project: PHD

• VLPL: Software Product Lines Verification

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

  1/01/11 → 1/01/13

  Project: Research

• TPA: Theory and Practice of Automata and Logics

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

  1/01/11 → 31/12/14

  Project: Research

• 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

  Project: Research

• Declarative Approach to Dynamic Workflow Management

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

  28/06/10 → 30/09/13

  Project: PHD

• BEM: Business Event Manager

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

  1/05/10 → 30/10/13

  Project: Research