Projets par an
Profil personnel
Domaines de compétence
- 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 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
Doctorat en Sciences, option Informatique (FUNDP)
Domaines de compétence
- 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 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
Doctorat en Sciences, option Informatique (FUNDP)
Expertise relative aux objectifs de développement durable des Nations Unies
En 2015, les États membres des Nations Unies ont convenu de 17 objectifs de développement durable (Sustainable Development Goals, SDG) pour éradiquer la pauvreté, protéger la planète et assurer la prospérité de tous. Le travail de cette personne contribue à la poursuite du/des SDG suivant(s) :
Qualification académique
Docteur ès sciences, Animating Albert II Specifications, Universite de Namur
Date d'octroi: 30 juin 2001
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
-
Thesis-N-Genon: Vers des Langages de Modélisation de Processus Business Cognitivement Efficaces
Englebert, V. (Co-investigateur), GENON, N. (Chercheur) & HEYMANS, P. (Co-investigateur)
1/09/07 → …
Projet: Projet de thèse
-
PloneGov: PloneGov - A Configurable Open-Source Platform for e-Government
HEYMANS, P. (Responsable du Projet)
1/09/07 → …
Projet: Recherche
-
METADONE: Environnement graphique de méta-modélisation
Englebert, V. (Responsable du Projet), CONSTANTIN, G. C. (Chercheur), GENON, N. (Chercheur), GILSON, F. (Chercheur), HEYMANS, P. (Co-investigateur), KOSHIMA, A. (Chercheur) & VERMAUT, F. (Chercheur)
1/01/03 → …
Projet: Recherche
-
LIFTS: Apprentissage de Featured Transition Systems
Fortz, S. (Responsable du Projet), Perrouin, G. (Promoteur) & HEYMANS, P. (Co-investigateur)
1/01/22 → 30/09/23
Projet: Recherche
-
LIFTS: Apprentissage de Featured Transition Systems
Fortz, S. (Responsable du Projet), PERROUIN, G. (Promoteur) & HEYMANS, P. (Co-investigateur)
1/10/20 → 31/12/21
Projet: Recherche
Résultat de recherche
-
VaryMinions: Leveraging RNNs to Identify Variants in Variability-intensive Systems’ Logs
Fortz, S., Temple, P., Devroey, X., Heymans, P. & Perrouin, G., 15 juin 2024, Dans: Empirical Software Engineering . 29, 4, 99.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
Accès ouvertFile54 Téléchargements (Pure) -
A meta-model for product configuration ontologies
Abbasi, E. K., Leclercq, T. & Heymans, P., 12 sept. 2022, 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings. Felfernig, A., Fuentes, L., Cleland-Huang, J., Assuncao, W. K. G., Assuncao, W. K. G., Quinton, C., Guo, J., Schmid, K., Huchard, M., Ayala, I., Rojas, J. M., Le, V.-M. & Horcas, J. M. (eds.). ACM Press, p. 166-173 8 p. (26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings; Vol B).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
-
Essential Expectations of Users of Web Configurators: An Empirical Survey
Leclercq, T., Abbasi, E. K., Dumas, B., Remiche, M.-A. & Heymans, P., 17 juin 2022, Dans: ACM Proceedings on Human-Computer Interaction. 6, EICS, p. 1-26 26 p., 165.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
-
A Take on Obfuscation with Ethical Adversaries
Delobelle, P., Temple, P., Perrouin, G., Frénay, B., Heymans, P. & Berendt, B., 2021.Résultats de recherche: Contribution à un événement scientifique (non publié) › Papier › Revue par des pairs
-
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning
Delobelle, P., Temple, P., Perrouin, G., Frénay, B., Heymans, P. & Berendt, B., 27 mai 2021, Dans: SIGKDD Explorations. 23, 1, p. 32-41Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
Accès ouvertFile38 Téléchargements (Pure)
Prix
-
Most Influential Paper Award
SCHOBBENS, P.-Y. (Bénéficiaire), Classen, A. (Bénéficiaire), HEYMANS, P. (Bénéficiaire), Legay, A. (Bénéficiaire) & Raskin, J.-F. (Bénéficiaire), 23 oct. 2020
Prix: Prix (y compris les médailles et récompenses)
Fichier -
Most Influential Paper Award
Schobbens, P. (Bénéficiaire), Heymans, P. (Bénéficiaire), Trigaux, J.-C. (Bénéficiaire) & Bontemps, Y. (Bénéficiaire), 15 sept. 2016
Prix: Mise à l'honneur nationale/internationale
-
VAMOS 2024 ten-year Most Influential Paper Award
Devroey, X. (Bénéficiaire), Perrouin, G. (Bénéficiaire), CORDY, M. (Bénéficiaire), Legay, A. (Bénéficiaire), Heymans, P. (Bénéficiaire) & Schobbens, P. Y. (Bénéficiaire), 8 févr. 2024
Prix: Prix (y compris les médailles et récompenses)
Activités
-
Feature-based Modelling and Automations
Heymans, P. (Orateur), Schobbens, P.-Y. (Orateur) & Perrouin, G. (Orateur)
28 mai 2018Activité: Discours ou présentation › Présentation orale
-
Programme Committee Member for REFSQ'13, the nineteenth International Working Conference on Requirements Engineering: Foundation of Software Quality
Heymans, P. (Orateur)
1 janv. 2013Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Programme Committee Member of ICSE'13, the thirty-fifth International Conference on Software Engineering
Heymans, P. (Orateur)
1 janv. 2013Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Programme Co-Chair with L. Duchien of the 5e Journee Lignes de Produits
Heymans, P. (Organisateur)
20 oct. 2012Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Programme Committee Member of PoEM'12, the fifth IFIP WG8.1 Working Conference on the Practice of Enterprise Modelling
Heymans, P. (Orateur)
1 janv. 2012Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
Thèse
-
Animating Albert II Specifications
Heymans, P. (Auteur)Jarke, M. (Jury), Fichefet, J. (Jury), Dubois, É. (Jury), Habra, N. (Jury) & Schobbens, P.-Y. (Promoteur), 2001Student thesis: Doc types › Docteur en Sciences
-
La traduction automatique. Etude de cas : Logos
Heymans, P. (Auteur) & Rouard, M. (Auteur)Berleur, J. (Promoteur) & Deville, G. (Copromoteur), 1995Student thesis: Master types › Master en sciences informatiques
Fichier