If you made any changes in Pure these will be visible here soon.

Profil personnel

Domaines de compétence

- 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)

Charges 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)

Domaines de compétence

- 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)

Charges 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)

Qualification académique

Docteur ès sciences, Université de Namur

Empreinte digitale L’empreinte digitale est basée sur l’exploration du texte des documents scientifiques d’individus afin de créer un index de termes pondérés, qui définit les thèmes clés de chaque chercheur individuel.

  • 33 Profils similaires
Model checking Ingénierie et Science des Matériaux
Requirements engineering Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux
Specifications Ingénierie et Science des Matériaux
Software engineering Ingénierie et Science des Matériaux
Testing Ingénierie et Science des Matériaux
Explosions Ingénierie et Science des Matériaux
Industry Ingénierie et Science des Matériaux

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 1995 2021

Résultat de recherche 1997 2018

Model-based mutant equivalence detection using automata language equivalence and simulations

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P. 2018 Dans : Journal of Systems and Software. 29 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
!!File
Finite automata

On Studying Bad Practices in Configuration UIs

Leclercq, T., Cordy, M., Dumas, B. & Heymans, P. 2018 (Accepté/sous presse) ACM IUI2018 Workshop on Web Intelligence and Interaction (WII 2018).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Human computer interaction
Defects
Railroad cars
Industry

Representing Repairs in Configuration Interfaces: A Look at Industrial Practices

Leclercq, T., Cordy, M., Dumas, B. & Heymans, P. 2018 (Accepté/sous presse) ACM IUI2018 Workshop on Explainable Smart Systems (ExSS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Repair
Industry

Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P. 13 mars 2017 Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. Tokyo, Japan: IEEE, 6 p. (ICST '17)

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
!!File
Automata theory
Finite automata

Engineering Configuration Graphical User Interfaces from Variability Models

Boucher, Q., Perrouin, G., Davril, J-M. & Heymans, P. 2017 Human Centered Software Product Lines. Sottet, J-S., Frey, A. G. & Vanderdonckt, J. (eds.). Springer, p. 1-46

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Accès ouvert
!!File
Graphical user interfaces
Industry
Costs

Prix

Most Influential Paper Award

Pierre-Yves Schobbens (Bénéficiaire), Patrick Heymans (Bénéficiaire), Jean-Christophe Trigaux (Bénéficiaire) & Yves Bontemps (Bénéficiaire), 15 sept. 2016

Prix: Mise à l'honneur nationale/internationale

Requirements engineering
Semantics

Activités 1996 2018

  • 131 Participation à une conférence, un congrès
  • 18 Participation à un atelier/workshop, un séminaire, un cours
  • 1 Présentation orale

Thèse

A Feature-based Configurtor for CAM

Auteur: Colige, S., 12 sept. 2012

Superviseur: Heymans, P. (Promoteur), Hubaux, A. (Copromoteur) & Saval, G. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

A Generic Approach for Automated Verification of Product Line Models

Auteur: MAZO PENA, R., 2011

Superviseur: Heymans, P. (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Amélioration du support à la rédaction d'exigences, GenSpec

Auteur: Harmel, D. & Cavillot, G., 2008

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Améliorations de l'outil d'ingénierie des exigences GenSpec

Auteur: Pire, O. & Pirmez, N., 2007

Superviseur: Heymans, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Animating Albert II Specifications

Auteur: Heymans, P., 2001

Superviseur: Jarke, M. (Personne externe) (Jury), Fichefet, J. (Jury), Dubois, É. (Jury), Habra, N. (Jury) & Schobbens, P. (Promoteur)

Thèse de l'étudiant: Doc typesDocteur en Sciences