Projets par an
Résultats de 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
-
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
-
BEM: Business Event Manager
DERBALI, M. A., Jacquet, J., Linden, I., Schwanen, G. & STAICU, M.
1/05/10 → 30/10/13
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
-
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
-
-
Declarative Approach to Dynamic Workflow Management
Schwanen, G., Linden, I. & Vanhoof, W.
28/06/10 → 30/09/13
Projet: Projet de thèse
-
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
-
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
-
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
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
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
-
Leveraging the Value of Mobile Data in Depth and Breadth
Colot, C., Linden, I. & Baecke, P.
1/10/15 → 29/01/20
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
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Projet: Recherche
-
Passage de la variabilité à l'échelle
Schobbens, P. Y. & Cordy, M.
1/01/21 → 31/12/24
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
-
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
-
Sandbox4CS: Sandbox4CS : une infrastructure de recherche pour les sciences informatiques
1/01/24 → 31/12/25
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
-
STS-Bach: a Contextual Coordination Model for Socio-Technical Systems
1/10/19 → …
Projet: Projet de thèse
-
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
-
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/20
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
-
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
-
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