Projets par an
Résultats de recherche
-
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P., Schobbens, P. Y., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
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
-
Génération de données de test basée sur les contraintes pour des programmes orientés base de données.
1/10/10 → 30/09/14
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
-
TPA: Théorie et Pratique des Automates et des Logiques
Schobbens, P. Y., CORDY, M., KANG, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
Projet: Recherche
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. & 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. Y.
1/10/11 → 30/09/15
Projet: Projet de thèse
-
SEMIA: Architecture pour l'imagerie médicale augmentée sémantiquement
Schobbens, P. Y., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Projet: Recherche
-
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., Heymans, P., Schobbens, P. Y. & Perrouin, G.
1/09/11 → 30/08/17
Projet: Projet de thèse
-
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., GILSON, F., COUGNON, L., Delvaux, B., Fairon, C. & Roekhaut, S.
1/09/14 → 31/01/18
Projet: Recherche
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Projet: Recherche
-
Leveraging the Value of Mobile Data in Depth and Breadth
Colot, C., Linden, I. & Baecke, P.
1/10/15 → 29/01/20
Projet: Recherche
-
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/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
-
-
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P. Y., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/22
Projet: Recherche
-
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frénay, B., Schobbens, P. Y., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/22
Projet: Recherche
-
MP: Recherche universitaire sur l’exploitation des données des pouvoirs locaux
Burnay, C., Castiaux, A., Dodeigne, J., Linden, I. & Jacquet, V.
1/01/21 → 31/12/22
Projet: Recherche
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
Ortiz Vega, J. J. & Schobbens, P. Y.
1/09/17 → 31/08/23
Projet: Projet de thèse
-
Passage de la variabilité à l'échelle
Schobbens, P. Y. & Cordy, M.
1/01/21 → 31/12/24
Projet: Recherche
-
SmartTune - Optimisation robuste et durable des hyperparamètres pour le Deep Learning
Gratia, A., Perrouin, G., Schobbens, P. Y., Temple, P., Tuci, E. & Acher, M.
1/07/21 → 28/06/25
Projet: Projet de thèse
-
Sandbox4CS: Sandbox4CS : une infrastructure de recherche pour les sciences informatiques
1/01/24 → 31/12/25
Projet: Recherche
-
-
ARIAC by DigitalWallonia4.AI: Applications et Recherche pour une Intelligence Artificielle de Confiance (TRAIL-Foundations)
Frénay, B., Jacquet, J. & Dumas, B.
1/01/21 → 31/12/26
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., Schobbens, P. Y., Dejaeghere, J., Devroey, X., Nguyen, G., Rochet, F., Schumacher, L., Knockaert, M., Jacquet, J., Linden, I., Elkoulak, H., Poeng, K., Ouardi, D., Goffaux, L. & Barkallah, M.
1/01/22 → 31/12/27
Projet: Recherche
-
CFV: Centre Fédéré en Vérification de Logiciel
Schobbens, P. Y., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Projet: Recherche
-
STS-Bach: a Contextual Coordination Model for Socio-Technical Systems
1/10/19 → …
Projet: Projet de thèse