]
]
]
]
Membre du personnel
Patrick HEYMANS
- présentation
- cours
- projets
- activités
- publications (123)
- jurys (2)
- mémoires et thèses supervisés (19)
- fiche complète
Projets en cours
- Vérification de Lignes de Produits Logiciels (VLPL)
(2011-2013)
Andreas CLASSEN, Maxime CORDY, Patrick HEYMANS, Eun-Young KANG, Axel LEGAY, Pierre-Yves SCHOBBENS - SAT : Centre de Compétences pour l'industrie Aéronautique (Plan Marshall) : Aspects liés à la Certification (S@T)
(depuis 2010)
Naji HABRA, Patrick HEYMANS, Cédric PEETERS - New Agile Platform for a Lifelong Engineering of Software. (NAPLES)
(2010-2013)
Quentin BOUCHER, Patrick HEYMANS, Gilles PERROUIN - Mise sur pied d'un centre d'expertise en matière de logiciels libres / Open Source (FEDER-CELLaVI)
(2008-2013)
Séverine DUSOLLIER, Patrick HEYMANS, Philippe LAURENT - Centre d'expertise en Ingénierie et Qualité des Systèmes - Accompagnement à la certification (RW/FEDER-IQS)
(2008-2013)
Marie DEMOULIN, Flora KAMSEU, Martin MAHAUX, Etienne MONTERO, Naji HABRA, Patrick HEYMANS - Réseau de recherche sur l'adaptabilité du logiciel (Re2adapt)
(2008-2012)
Quentin BOUCHER, Andreas CLASSEN, Patrick HEYMANS, Arnaud HUBAUX, Pierre-Yves SCHOBBENS - Environnement graphique de méta-modélisation (MetaCASE) (METADONE)
(depuis 2003)
Amanuel KOSHIMA, Vincent ENGLEBERT, Fabian GILSON, Patrick HEYMANS
Doctorats en cours
- Génération d'interfaces de configuration à partir de modèles de variabilité (Thesis-Q-Boucher)
Quentin BOUCHER - Modélisation d'architectures logicielles par l'utilisation de transformations de modèles et de cadres architecturaux (Thesis-G-Perrouin)
Gilles PERROUIN - Vers des Langages de Modélisation de Processus Business Cognitivement Efficaces (Thesis-N-Genon)
Nicolas GENON - Sélection de Systèmes de Gestion de Conférences (Thèse-G-Saval)
Germain SAVAL - Model-based Management of Information System Security Risk
Nicolas MAYER
Anciens projets
- 2 applications réelles pour l'ingénierie des exigences (2RARE)
(1995-1996)
Eric DUBOIS, Patrick HEYMANS, Pierre-Yves SCHOBBENS - Animation de spécifications formelles des exigences (PHE)
(2001)
Patrick HEYMANS - Outils de Conception et d'Analyse de cahiers de charges pour des systèmes informatiques de Télécommunication (CAT)
(1995-2001)
Francois CHABOT, Luc CLAES, Philippe DU BOIS, Eric DUBOIS, Gisele GEYORO-YAKULANGU, Patrick HEYMANS, Bernard JUNGEN, Michaël PETIT, Pierre-Yves SCHOBBENS, Jean-Marc ZEIPPEN - Réseau de recherche international en ingénierie des exigences (RENOIR)
(1997-2000)
Patrick HEYMANS, Michaël PETIT, Pierre-Yves SCHOBBENS - Ingénierie des exigences coopérative à l'aide de scénarios (CREWS)
(1996-1999)
Luc CLAES, Eric DUBOIS, Patrick HEYMANS, Pierre-Yves SCHOBBENS - Réseau d'Excellence en Interopérabilité de Systèmes d'Information pour Entreprises en Réseaux (InterOP) (Interop)
(2003-2007)
Gautier DALLONS, Patrick HEYMANS, Michaël PETIT, Isabelle POLLET, Pierre-Yves SCHOBBENS, Francois VERMAUT - Système intégré de gestion de documents pour les organisations scientifiques (DISSCO)
(2001-2002)
Anne DE VOS, Patrick HEYMANS, Claire LOBET-MARIS, Michaël PETIT, Pierre-Yves SCHOBBENS - Integration of Research in Information Systems (IRIS)
(2007-2011)
Vincent ENGLEBERT, Naji HABRA, Jean-Luc HAINAUT, Patrick HEYMANS, Michaël PETIT, Pierre-Yves SCHOBBENS - Définition Rigoureuse d'un Langage Unifié de Modélisation d'Entreprises (UEML) (Rigorous-UEML)
(2005-2006)
Patrick HEYMANS, Raimundas MATULEVICIUS - Comparaison et Intégration de Langages de Modélisation d'Objectifs (CIGMOL)
(2006-2008)
Patrick HEYMANS, Raimundas MATULEVICIUS - Outil d'Aide à la Décision sur Base de Mesures Paramétrables (D-side)
(2004-2006)
Simon ALEXANDRE, Gaetan DELANNAY, Naji HABRA, Patrick HEYMANS, Valerie PAULUS - Ingénierie de lignes de produits pour logiciels de traçabilité alimentaire (PLENTY) (PLENTY)
(2003-2007)
Patrick HEYMANS, Pierre-Yves SCHOBBENS, Jean-Christophe TRIGAUX - Evaluation et Formalisation de Langages de Modélisation de "Features" (Thèse-JC-Trigaux)
(2007)
Jean-Christophe TRIGAUX - Séparation des préoccupations dans les modèles de variabilité (Thesis-A-Hubaux)
(2011)
Arnaud HUBAUX - Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications (MoVES)
(2007-2011)
Salah BAINA, Yves BONTEMPS, Anne-France BROGNEAUX, Andreas CLASSEN, Gaetan DELANNAY, Virginie DETIENNE, Vincent ENGLEBERT, Stephane FAULKNER, Nicolas GENON, Naji HABRA, Jean-Luc HAINAUT, Arnaud HUBAUX, Ivan JURETA, Raimundas MATULEVICIUS, Nicolas MAYER, Laura OGER, Michaël PETIT, Ravi RAMDOYAL, Stéphane SANDRON, Germain SAVAL, Hubert TOUSSAINT, Jean-Christophe TRIGAUX, Benoît VANDEROSE, Jean-Marc ZEIPPEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Anthony CLEVE - Modélisation et vérification de lignes de produits logiciel (Thèse-A-Classen)
(2011)
Andreas CLASSEN
