Projets par an
Résultats de 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
-
BEM: Business Event Manager
DERBALI, M. A., Jacquet, J., Linden, I., Schwanen, G. & STAICU, M.
1/05/10 → 30/10/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
-
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
-
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
-
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
-
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
-
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
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. Y. & Ortiz Vega, J. J.
21/09/13 → 20/09/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
-
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
-
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
-
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
-
EUTYPES: The European research network on types for programming and verification
21/03/16 → 20/03/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
-
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
-
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
-
STS-Bach: a Contextual Coordination Model for Socio-Technical Systems
1/10/19 → …
Projet: Projet de thèse
-
Passage de la variabilité à l'échelle
Schobbens, P. Y. & Cordy, M.
1/01/21 → 31/12/24
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
-
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
-
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
-
-
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
-
-
Sandbox4CS: Sandbox4CS : une infrastructure de recherche pour les sciences informatiques
1/01/24 → 31/12/25
Projet: Recherche