Research Group on the Foundations of Computer Science

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

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/21

Project: Research

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

Ortiz Vega, J. J. & Schobbens, P.

1/09/17 → 31/08/23

Project: PHD

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

Schobbens, P.

21/03/16 → 20/03/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 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 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

Leveraging the Value of Mobile Data in Depth and Breadth

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

1/10/15 → …

Project: Research

CFV: Federated Centre for Software Verification

Schobbens, P., Bontemps, Y., Ortiz Vega, J. J. & Kang, E.

1/10/99 → …

Project: Research

Algorithmic equivalence by generalization-driven transformations of logic programs

Yernaux, G. & Vanhoof, W.

Project: PHD

THCS: Testing Highly-configurable Systems

Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.

1/01/18 → 31/12/19

Project: Research

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/19

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

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 → 1/11/19

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

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

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

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