Projets par an
- 1 - 50 sur 60 résultats
Résultats de recherche
-
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
-
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
-
Thesis-M-Mahaux: Improvisational Theater for Software Requirements Engineering
1/12/09 → 30/11/13
Projet: Projet de thèse
-
Thèse-JC-Trigaux: Evaluation et Formalisation de Langages de Modélisation de "Features"
Heymans, P., Schobbens, P. Y. & Trigaux, J.
30/09/03 → 27/12/07
Projet: Projet de thèse
-
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 -
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-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-G-Perrouin: Modélisation d'architectures logicielles par l'utilisation de transformations de modèles et de cadres architecturaux
1/09/03 → 24/10/07
Projet: Projet de thèse
Fichier -
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
-
PHE: Animation de spécifications formelles des exigences
Schobbens, P. Y., DUBOIS, E. & Heymans, P.
20/12/96 → 20/05/01
Projet: Projet de thèse
-
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
-
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
-
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-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
-
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
-
Recherche
CREWS: Ingénierie des exigences coopérative à l'aide de scénarios
DUBOIS, E., Schobbens, P. Y. & Heymans, P.
1/08/96 → 31/10/99
Projet: Recherche
-
-
-
-
Outil d'Aide à la Décision sur Base de Mesures Paramétrables (D-side)
21/12/04 → 30/06/06
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
-
Interop: Réseau d'Excellence en Interopérabilité de Systèmes d'Information pour Entreprises en Réseaux (InterOP)
Schobbens, P. Y., DALLONS, G., Heymans, P., Petit, M., POLLET, I. & VERMAUT, F.
1/12/03 → 1/05/07
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
-
CIGMOL: Comparaison et Intégration de Langages de Modélisation d'Objectifs
Heymans, P. & MATULEVICIUS, R.
1/11/06 → 31/10/08
Projet: Recherche
-
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
-
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
-
Assurance Qualité Automatisée de Systèmes Hautement Variables basée sur les Modèles.
1/10/12 → 30/09/15
Projet: Recherche
-
POC PoCoLoCo: PoCoLoCo - Proof of Concept d'un Configurateur Logiciel
1/09/11 → 31/08/13
Projet: Recherche
-
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
-
2RARE: 2 applications réelles pour l'ingénierie des exigences
DUBOIS, E., Heymans, P. & Schobbens, P. Y.
1/10/95 → 30/09/96
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
-
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
-
DISSCO: Système intégré de gestion de documents pour les organisations scientifiques
Schobbens, P. Y., DE VOS, A., Heymans, P., Lobet-Maris, C. & Petit, M.
1/12/01 → 31/10/02
Projet: Recherche
-
-
Problem-driven Specification and Verification of Software Product Lines
Classen, A. & Heymans, P.
1/10/07 → 30/09/11
Projet: Recherche
-
PLENTY: Ingénierie de lignes de produits pour logiciels de traçabilité alimentaire
Heymans, P., Schobbens, P. Y. & Trigaux, J.
1/03/03 → 28/02/07
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
-
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
-
SecureProcMetrics: Security Certification of Processes
Heymans, P. & Mangin, O.
1/09/09 → 31/08/12
Projet: Recherche
-
ARC 13/18-054: Modeling, Design and Optimization of Software defined Networks
1/09/13 → 31/08/18
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
-
-
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
-
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
-
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
-
-
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