• 2764 Citations
  • 25 h-Index
19952020

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

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, Universite de Namur

Date d'octroi: 30 juin 2001

Empreinte digitale Passez en revue plus en détail les thèmes de recherche où Patrick HEYMANS est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 11 Profils similaires

Réseau Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

Projets

Résultat de recherche

A Decade of Featured Transition Systems

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., oct. 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11865 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

  • Multifaceted Automated Analyses for Variability-Intensive Embedded Systems

    Lazreg, S., Cordy, M., Collet, P., Heymans, P. & Mosser, S., mai 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. IEEE Computer society, p. 854-865 12 p. 8812057. (Proceedings - International Conference on Software Engineering; Vol 2019-May).

    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

  • Towards learning-aided configuration in 3D printing: Feasibility study and application to defect prediction

    Amand, B., Cordy, M., Heymans, P., Acher, M., Temple, P. & Jézéquel, J. M., 6 févr. 2019, Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019. ACM Press, (ACM International Conference Proceeding Series).

    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

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

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

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

    Accès ouvert
    File
  • 34 Téléchargements (Pure)

    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

  • Prix

    Most Influential Paper Award

    SCHOBBENS, PIERRE-YVES (Bénéficiaire), HEYMANS, Patrick (Bénéficiaire), Jean-Christophe Trigaux (Bénéficiaire) & Yves Bontemps (Bénéficiaire), 15 sept. 2016

    Prix: Mise à l'honneur nationale/internationale

  • Activités

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

    Feature-based Modelling and Automations

    Patrick Heymans (Orateur), , Pierre-Yves Schobbens (Orateur), & Gilles Perrouin (Orateur)

    28 mai 2018

    Activité: Types de discours ou de présentationPrésentation orale

    Programme Committee Member for REFSQ'13, the nineteenth International Working Conference on Requirements Engineering: Foundation of Software Quality

    Patrick Heymans (Orateur)

    1 janv. 2013

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Programme Committee Member of ICSE'13, the thirty-fifth International Conference on Software Engineering

    Patrick Heymans (Orateur)

    1 janv. 2013

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Programme Co-Chair with L. Duchien of the 5e Journee Lignes de Produits

    Patrick Heymans (Organisateur)

    20 oct. 2012

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Thèse

    Animating Albert II Specifications

    Author: 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

    La traduction automatique. Etude de cas : Logos

    Author: Heymans, P. & Rouard, M., 1995

    Superviseur: Berleur, J. (Promoteur) & Deville, G. (Copromoteur)

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

    Fichier