Projets par an
- 1 - 50 sur 64 résultats
Résultats de recherche
-
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
-
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
-
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
-
Variability in Base Models: Annotative vs. Compositional Approaches
1/10/11 → 30/09/12
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
-
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
-
-
-
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
-
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
-
SecureProcMetrics: Security Certification of Processes
Heymans, P. & Mangin, O.
1/09/09 → 31/08/12
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
-
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
-
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
-
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
-
-
Recommandations Adaptatives dans les Systèmes Complexes de Personnalisation de Produits
Heymans, P. & DAVRIL, J.
1/10/15 → 31/12/17
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
-
Problem-driven Specification and Verification of Software Product Lines
Classen, A. & Heymans, P.
1/10/07 → 30/09/11
Projet: Recherche
-
-
POC PoCoLoCo: PoCoLoCo - Proof of Concept d'un Configurateur Logiciel
1/09/11 → 31/08/13
Projet: Recherche
-
PloneGov: PloneGov - A Configurable Open-Source Platform for e-Government
1/09/07 → …
Projet: Recherche
-
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
-
Outil d'Aide à la Décision sur Base de Mesures Paramétrables (D-side)
21/12/04 → 30/06/06
Projet: Recherche
-
Thesis-E-Abbasi: Operational Semantics of Multi-Level Staged Configuration
1/06/09 → 31/05/11
Projet: Projet de thèse
-
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
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
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
-
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-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 -
ARC 13/18-054: Modeling, Design and Optimization of Software defined Networks
1/09/13 → 31/08/18
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
-
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
-
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
-
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
-
-
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
-
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
-
Thesis-M-Mahaux: Improvisational Theater for Software Requirements Engineering
1/12/09 → 30/11/13
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
-
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 -
Formal Issues in Modelling and Automated Checking of Software Product Lines
1/09/10 → 31/08/11
Projet: Recherche
-
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
-
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
-
-
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
-
-
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