Membre du personnel

Patrick HEYMANS

Facultés/Départements/Services
Faculté d'informatique - Professeur
Bureau : Bâtiment
???
Porte Info 430
Fax : +32 (0)81 72 49 67
Entités de recherche
Namur Digital Institute (NADI)
Research Center on Information Systems Engineering (PReCISE) - Professor
Organes
Conseil de faculté Informatique
 

Domaines d'expertises

- Génie Logiciel et des Systèmes d'Information / Software and Information Systems Engineering
- Ingénierie des Exigences / Requirements Engineering
- Lignes de Produits Logiciels / Software Product Lines
- Evolution du Logiciel / Software Evolution
- Sécurité et Sûreté du Logiciel / Software Security and Safety
- Modélisation conceptuelle / Conceptual Modelling
- Méthodes Formelles / Formal Methods
- Ateliers de Génie Logiciel (AGL) / Computer-Aided Software Engineering (CASE)

Responsabilités externes

- Membre de l' "AdviesRaad" de Inno.com (depuis 2009)
- Membre du Comité Technique Permanent du CETIC (depuis 2008)
- Evaluateur de projets (FNRS, ANR, NSERC...)
- Auditeur pour l'AERESMembre des Comités de Lecture (referee) des revues suivantes:


- IEEE Transactions on Software Engineering (TSE), IEEE Press
- ACM Transactions on Software Engineering and Methodology (TOSEM), ACM Press
- Journal of Information and Software Technology (IST), Elsevier
- Requirements Engineering Journal (REJ), Springer
- Electronic Communications of the EASST
- L'Objet, Hermès Sciences / Lavoisier
- Technique et Science Informatique, Hermès Sciences / Lavoisier


Membre des Comités de Lecture (Programme Committees) des conférences suivantes:


- IEEE International Conference on Requirements Engineering (RE). Actes publiés par l'IEEE Press. Membre du comité pour RE'05, '06, 07, 08, 09. Membre du Programme Board et du Steering Committee depuis 2009. Responsable du Doctoral Symposium en 2009.

- Conference on Advanced Information Systems Engineering (CAiSE). Actes publiés par Springer-LNCS. Membre du comité de lecture pour CAiSE '06, '07, '08, '09. Responsable des tutorials en 2006.

- International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ). Actes publiés chez Springer-LNCS. Membre du comité de lecture pour REFSQ'04, '05, '06, '07, '08 et '09. Président du Comité en 2007 et 2009.

- International Software Product Line Conference (SPLC). Actes publiés généralement par Springer, l'IEEE ou l'ACM. Membre du comité de lecture pour SPLC'08 et '09.

- International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS). Actes publiés par les éditions de l'Université de Duisburg-Essen. Fondateur du workshop et membre permanent du Steering Committee. Président du comité de lecture pour VaMoS'07 et '08. Membre du comité de lecture pour VaMoS'09 et VaMoS'10.

- International Workshop on Analyses of Software Product Lines (ASPL'08). Co-located with SPLC'08. Fondateur du workshop et président du comité de lecture.

- International Conference on Fundamental Aspects of Software Engineering (FASE'07), Braga, Portugal, 2007

- International Conference on Conceptual Modelling (ER'08), Barcelone, Espagne, 2008

- Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Namur, Belgique, 2008

- International Conference on Perspectives in Business Informatics Research (BIR). Membre du comité pour BIR'06 et '07.

- Membre des comités de lecture des workshops suivants: I-ESA'06 Doctoral Symposium, EVOL'06 et '07, Early Aspects@AOSD'08, SVPP'08, MSVVEIS'08 et '09, UML-AADL'09, RELAW'08 et '09, RIGiM'09 (@RE'09), BENEVOL'07 et '09, SCALE'09 (@SPLC'09)

Diplômes

Licence et Maîtrise en Informatique (FUNDP)
Doctorat en Sciences, option Informatique (FUNDP)

Mémoires et thèses

2001 - Docteur en Sciences

Animating Albert II Specifications