Projects per year
Search results
-
Finished
ROBIN: A high level Reconstruction Of BIological PipeliNes
Jacquet, J.-M. (PI) & Zeippen, J.-M. (Researcher)
1/09/21 → 31/10/22
Project: Research
-
MP: Academic research on the exploitation of local government data
Burnay, C. (PI), Castiaux, A. (PI), Dodeigne, J. (PI), Linden, I. (PI) & Jacquet, V. (Researcher)
1/01/21 → 31/12/22
Project: Research
-
CoTu: Erasmus+ICM: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
Schobbens, P. Y. (PI), Amrani, M. (PI) & Ortiz Vega, J. J. (PI)
1/08/19 → 31/07/22
Project: Research
-
THCS: Testing Highly-configurable Systems
Perrouin, G. (Researcher), Schobbens, P. Y. (PI), Amrani, M. (Researcher), Ortiz Vega, J. J. (Researcher) & Heymans, P. (Researcher)
1/01/18 → 31/12/22
Project: Research
-
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P. (PI), Frénay, B. (CoI), Schobbens, P. Y. (CoI), Temple, P. (Researcher), Nanfack, G. (Researcher), Amrani, M. (Researcher) & BIBAL, A. (Researcher)
1/01/18 → 31/12/22
Project: Research
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. (Researcher) & Schobbens, P. Y. (PI)
1/09/17 → 31/08/23
Project: PHD
-
wal-e-cities ECO: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities
Castiaux, A. (PI), Van Gyseghem, J.-M. (PI), Schobbens, P. Y. (PI), Gebka, E. (Researcher) & Michel, A. (Researcher)
1/01/17 → 31/12/23
Project: Research
-
UNII: Erasmus+ICM: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
Schobbens, P. Y. (PI) & Lambiotte, R. (PI)
1/06/16 → 31/07/18
Project: Research
-
EUTYPES: The European research network on types for programming and verification
Schobbens, P. Y. (PI)
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. Y. (PI), Van Gyseghem, J.-M. (PI), Michel, A. (Researcher) & Gillard, N. (PI)
1/03/16 → 31/12/23
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. Y. (PI), Dumas, B. (PI), Michel, A. (PI) & Clarinval, A. (PI)
1/03/16 → 31/12/23
Project: Research
-
EFFaTA-MeM: Evocative Frameworks for Texts Analysis – Mediality Models – A transdisciplinary Approach
Linden, I. (CoI), Wallemacq, A. (CoI), BOSSE, A. (CoI), Deville, G. (CoI) & Dumas, B. (CoI)
2/11/15 → 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. Y. (PI), Dumas, B. (PI), Michel, A. (Researcher) & Clarinval, A. (PI)
1/10/15 → 31/03/23
Project: Research
-
Leveraging the Value of Mobile Data in Depth and Breadth
Colot, C. (PI), Linden, I. (Supervisor) & Baecke, P. (Co-supervisor)
1/10/15 → 29/01/20
Project: Research
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y. (Researcher), Heymans, P. (Researcher) & Amrani, M. (Researcher)
21/11/14 → 24/11/18
Project: Research
-
WebDeb: The Web Deb Project
Schobbens, P. Y. (PI), GILSON, F. (Researcher), COUGNON, L.-A. (Researcher), Delvaux, B. (CoI), Fairon, C. (CoI) & Roekhaut, S. (CoI)
1/09/14 → 31/01/18
Project: Research
-
SEMIA: Semantics Enhanced Medical Imaging Architecture
Schobbens, P. Y. (PI), Ortiz Vega, J. J. (Researcher) & DEBIECHE, A. (Researcher)
1/01/14 → 31/12/15
Project: Research
-
POC ProCEPlanS: PROof of Concept of an Estate PLANning Software
Jacquet, J.-M. (PI), Helbois, D. (CoI) & Linden, I. (PI)
1/11/13 → 31/10/14
Project: Research
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. (PI) & Ortiz Vega, J. J. (Researcher)
21/09/13 → 20/09/15
Project: Research
-
Thesis-M-Cordy: Modular Modelling and Verification of Real-Time Software Product Lines
CORDY, M. (Researcher), Heymans, P. (CoI) & Schobbens, P. Y. (CoI)
1/10/11 → 30/09/15
Project: PHD
-
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X. (Researcher), Heymans, P. (CoI), Schobbens, P. Y. (CoI) & Perrouin, G. (Researcher)
1/09/11 → 30/08/17
Project: PHD
-
TPA: Theory and Practice of Automata and Logics
Schobbens, P. Y. (PI), CORDY, M. (Researcher), KANG, E.-Y. (Researcher) & Ortiz Vega, J. J. (Researcher)
1/01/11 → 31/12/14
Project: Research
-
VLPL: Software Product Lines Verification
Heymans, P. (PI), Schobbens, P. Y. (PI), Classen, A. (Researcher), CORDY, M. (Researcher), KANG, E.-Y. (Researcher) & Legay, A. (Researcher)
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. (PI)
1/10/10 → 30/09/14
Project: Research
-
Declarative Approach to Dynamic Workflow Management
Schwanen, G. (Researcher), Linden, I. (CoI) & Vanhoof, W. (CoI)
28/06/10 → 30/09/13
Project: PHD
-
BEM: Business Event Manager
DERBALI, M. A. (Researcher), Jacquet, J.-M. (CoI), Linden, I. (CoI), Schwanen, G. (Researcher) & STAICU, M.-O. (Researcher)
1/05/10 → 30/10/13
Project: Research