Projets par an
- 1 - 50 sur 60 résultats
Résultats de recherche
-
Terminé
LIFTS: Apprentissage de Featured Transition Systems
Fortz, S., Perrouin, G. & Heymans, P.
1/01/22 → 30/09/23
Projet: Recherche
-
LIFTS: Apprentissage de Featured Transition Systems
Fortz, S., Perrouin, G. & Heymans, P.
1/10/20 → 31/12/21
Projet: Recherche
-
CoPSyRI: Accompagner le processus d'achat impliquant: Conception et Performance des Systèmes de Recommandations Interactifs
Deventer, C., Zidda, P. & Heymans, P.
1/01/20 → 31/12/23
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
-
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
-
-
-
Recommandations Adaptatives dans les Systèmes Complexes de Personnalisation de Produits
Heymans, P. & DAVRIL, J.
1/10/15 → 31/12/17
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
-
SEAMPAT: Amélioration de la continuité des traitements médicamenteux par le développement d'une plate-forme de réconciliation médicamenteuse favorisant la participation active du patient
VANMEERBEEK, P., BURNET, C., Heymans, P., De Terwangne, C., PAGACZ, P., Forget, C. & Lobet-Maris, C.
1/06/14 → 31/05/17
Projet: Recherche
-
-
ARC 13/18-054: Modeling, Design and Optimization of Software defined Networks
1/09/13 → 31/08/18
Projet: Recherche
-
-
Assurance Qualité Automatisée de Systèmes Hautement Variables basée sur les Modèles.
1/10/12 → 30/09/15
Projet: Recherche
-
MIRROR: MedIcal Resource Real Time Optimizer
Lucas, S., Schobbens, P. Y., Cleve, A., Lobet-Maris, C., Hainaut, J., Heymans, P. & DE NIZZA, D.
1/01/12 → 31/12/15
Projet: Recherche
-
Variability in Base Models: Annotative vs. Compositional Approaches
1/10/11 → 30/09/12
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
-
CONF&TI: Conf&ti : aide au développement de configurateurs logiciels pour les technologies de l'information
Heymans, P. & SAVAL, G.
1/09/11 → 31/08/15
Projet: Recherche
-
POC PoCoLoCo: PoCoLoCo - Proof of Concept d'un Configurateur Logiciel
1/09/11 → 31/08/13
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
-
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
-
Thesis-R-Michel: Configuration Support for a Rich Feature Modelling Language
Heymans, P. & MICHEL, R.
1/09/10 → 31/08/14
Projet: Projet de thèse
-
Formal Issues in Modelling and Automated Checking of Software Product Lines
1/09/10 → 31/08/11
Projet: Recherche
-
Thesis-Q-Boucher: Génération d'interfaces de configuration à partir de modèles de variabilité
BOUCHER, Q. & Heymans, P.
12/03/10 → 26/09/14
Projet: Projet de thèse
Fichier -
NAPLES - SPW: New Agile Platform for a Lifelong Engineering of Software.
Heymans, P., BOUCHER, Q. & Perrouin, G.
1/03/10 → 28/02/13
Projet: Recherche
-
CALiPro: Automated Configuration of Software Product Lines
Heymans, P. & MICHEL, R.
1/01/10 → 1/01/14
Projet: Recherche
Fichier -
Thesis-M-Mahaux: Improvisational Theater for Software Requirements Engineering
1/12/09 → 30/11/13
Projet: Projet de thèse
-
S@T: SAT : Centre de Compétences pour l'industrie Aéronautique (Plan Marshall) : Aspects liés à la Certification
Habra, N., Heymans, P. & PEETERS, C.
1/09/09 → 31/08/11
Projet: Recherche
-
SecureProcMetrics: Security Certification of Processes
Heymans, P. & Mangin, O.
1/09/09 → 31/08/12
Projet: Recherche
-
-
Thesis-O-Mangin: Capturing and Managing Security Management Requirements
DUBOIS, E., Heymans, P. & Mangin, O.
1/09/09 → 31/08/13
Projet: Projet de thèse
-
Thesis-E-Abbasi: Operational Semantics of Multi-Level Staged Configuration
1/06/09 → 31/05/11
Projet: Projet de thèse
-
-
-
RW/FEDER-IQS: Centre d'Expertise en Ingénierie et Qualité des Systèmes
Habra, N., Heymans, P., Montero Redondo, E., BOUCHER, Q., DEMOULIN, M., KAMSEU, F. & MAHAUX, M.
1/09/08 → 31/12/13
Projet: Recherche
-
FEDER-CELLaVI: Mise sur pied d'un centre d'expertise en matière de logiciels libres / Open Source
DUSOLLIER, S., Heymans, P. & LAURENT, P.
1/09/08 → 31/12/13
Projet: Recherche
-
-
Re2adapt: Réseau de recherche sur l'adaptabilité du logiciel
Heymans, P., BOUCHER, Q., Classen, A., HUBAUX, A. & Schobbens, P. Y.
1/06/08 → 1/06/12
Projet: Recherche
-
Problem-driven Specification and Verification of Software Product Lines
Classen, A. & Heymans, P.
1/10/07 → 30/09/11
Projet: Recherche
-
Thèse-A-Classen: Modélisation et vérification de lignes de produits logiciel
Classen, A., Heymans, P. & Schobbens, P. Y.
1/10/07 → 1/10/11
Projet: Projet de thèse
-
Thesis-A-Hubaux: Séparation des préoccupations dans les modèles de variabilité
Heymans, P., HUBAUX, A. & Schobbens, P. Y.
1/09/07 → 31/12/11
Projet: Projet de thèse
-
IRIS: Integration of Research in Information Systems
Englebert, V., Habra, N., Hainaut, J., Heymans, P., Petit, M. & Schobbens, P. Y.
1/03/07 → 31/12/11
Projet: Recherche
-
MoVES: Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications
Schobbens, P. Y., BAINA, S., Bontemps, Y., BROGNEAUX, A., Classen, A., Cleve, A., DETIENNE, V., Englebert, V., Faulkner, S., GENON, N., Habra, N., Hainaut, J., Heymans, P., HUBAUX, A., Jureta, I., MATULEVICIUS, R., Mayer, N., OGER, L., Petit, M., RAMDOYAL, R., SANDRON, S., SAVAL, G., Toussaint, H., Trigaux, J., Vanderose, B. & Zeippen, J.
1/01/07 → 31/12/11
Projet: Recherche
-
CIGMOL: Comparaison et Intégration de Langages de Modélisation d'Objectifs
Heymans, P. & MATULEVICIUS, R.
1/11/06 → 31/10/08
Projet: Recherche
-
Thèse-G-Saval: Sélection de Systèmes de Gestion de Conférences
Heymans, P. & SAVAL, G.
1/09/06 → 31/08/11
Projet: Projet de thèse
-
Rigorous-UEML: Définition Rigoureuse d'un Langage Unifié de Modélisation d'Entreprises (UEML)
Heymans, P. & MATULEVICIUS, R.
1/11/05 → 31/10/06
Projet: Recherche
-
Outil d'Aide à la Décision sur Base de Mesures Paramétrables (D-side)
21/12/04 → 30/06/06
Projet: Recherche
-
Model-based Management of Information System Security Risk
DUBOIS, E., Heymans, P. & Mayer, N.
22/09/04 → 31/08/10
Projet: Projet de thèse