Projets par an
- 1 - 50 sur 64 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
-
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
-
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-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
-
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-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
-
HCI Patterns and Tools for AI-based Interactive Applications
14/09/17 → 30/09/24
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
-
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
-
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-N-Genon: Vers des Langages de Modélisation de Processus Business Cognitivement Efficaces
Englebert, V., GENON, N. & Heymans, P.
1/09/07 → …
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
-
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-M-Mahaux: Improvisational Theater for Software Requirements Engineering
1/12/09 → 30/11/13
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 -
Recherche
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
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
-
-
Problem-driven Specification and Verification of Software Product Lines
Classen, A. & Heymans, P.
1/10/07 → 30/09/11
Projet: Recherche
-
RENOIR: Réseau de recherche international en ingénierie des exigences
Schobbens, P. Y., Heymans, P. & Petit, M.
1/06/97 → 31/05/00
Projet: Recherche
-
-
METADONE: Environnement graphique de méta-modélisation
Englebert, V., CONSTANTIN, G. C., GENON, N., GILSON, F., Heymans, P., KOSHIMA, A. & VERMAUT, F.
1/01/03 → …
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
-
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
-
-
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
-
LIFTS: Apprentissage de Featured Transition Systems
Fortz, S., Perrouin, G. & Heymans, P.
1/01/22 → 30/09/23
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
-
Variability in Base Models: Annotative vs. Compositional Approaches
1/10/11 → 30/09/12
Projet: Recherche
-
-
-
CALiPro: Automated Configuration of Software Product Lines
Heymans, P. & MICHEL, R.
1/01/10 → 1/01/14
Projet: Recherche
Fichier -
CAT: Outils de Conception et d'Analyse de cahiers de charges pour des systèmes informatiques de Télécommunication
Schobbens, P. Y., DUBOIS, E., Heymans, P., Petit, M. & Zeippen, J.
1/04/95 → 1/07/01
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
-
SecureProcMetrics: Security Certification of Processes
Heymans, P. & Mangin, O.
1/09/09 → 31/08/12
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
-
ARC 13/18-054: Modeling, Design and Optimization of Software defined Networks
1/09/13 → 31/08/18
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
-
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
-
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
-
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
-
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
-
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
-
Formal Issues in Modelling and Automated Checking of Software Product Lines
1/09/10 → 31/08/11
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