Projets par an
Projets
Résultats de recherche
-
Actif
ARIAC by DigitalWallonia4.AI: Applications et Recherche pour une Intelligence Artificielle de Confiance (TRAIL-Foundations)
FRENAY, B., JACQUET, J. & Dumas, B.
1/01/21 → 31/12/26
Projet: Recherche
-
MP-Loth-Info: Recherche universitaire sur l’exploitation des données des pouvoirs locaux
Burnay, C., CASTIAUX, A., Dodeigne, J. & LINDEN, I.
1/01/21 → 31/12/22
Projet: Recherche
-
-
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., Amrani, M., ORTIZ VEGA, J. J. & HEYMANS, P.
1/01/18 → 31/12/22
Projet: Recherche
-
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
Projet: Recherche
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
ORTIZ VEGA, J. J. & SCHOBBENS, P.
1/09/17 → 31/08/23
Projet: Projet de thèse
-
CFV: Centre Fédéré en Vérification de Logiciel
SCHOBBENS, P., Bontemps, Y., ORTIZ VEGA, J. J. & KANG, E.
1/10/99 → …
Projet: Recherche
-
Pas commencé
-
Terminé
-
UNII: Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES
1/06/16 → 31/07/18
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
-
Leveraging the Value of Mobile Data in Depth and Breadth
Colot, C., LINDEN, I. & Baecke, P.
1/10/15 → 29/01/20
Projet: Recherche
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
SCHOBBENS, P., HEYMANS, P. & Amrani, M.
21/11/14 → 24/11/18
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., GILSON, F., COUGNON, L., Delvaux, B., Fairon, C. & Roekhaut, S.
1/09/14 → 31/01/18
Projet: Recherche
-
SEMIA: Architecture pour l'imagerie médicale augmentée sémantiquement
SCHOBBENS, P., ORTIZ VEGA, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
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
-
IFLEC : Informatisation du flux des études cliniques
SCHOBBENS, P. & 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.
1/10/11 → 30/09/15
Projet: Projet de thèse
-
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
Projet: Projet de thèse
-
TPA: Théorie et Pratique des Automates et des Logiques
SCHOBBENS, P., 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., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/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
-
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