• 2786 Citations
  • 25 h-Index
19952020

Research output per year

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

Personal profile

Education/Academic qualification

Doctor of Science, University of Namur

Award Date: 30 Jun 2001

Fingerprint Dive into the research topics where Patrick HEYMANS is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 13 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Research Output

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

  • Multifaceted Automated Analyses for Variability-Intensive Embedded Systems

    Lazreg, S., Cordy, M., Collet, P., Heymans, P. & Mosser, S., May 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).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

  • 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 Feb 2019, Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2019. ACM Press, (ACM International Conference Proceeding Series).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

  • 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 Jul 2018, In : Journal of Systems and Software. 141, p. 1-15 15 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 36 Downloads (Pure)

    On Studying Bad Practices in Configuration UIs

    Leclercq, T., Cordy, M., Dumas, B. & Heymans, P., 2018, (Accepted/In press) ACM IUI2018 Workshop on Web Intelligence and Interaction (WII 2018).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

  • Prizes

    Most Influential Paper Award

    SCHOBBENS, PIERRE-YVES (Recipient), HEYMANS, Patrick (Recipient), Jean-Christophe Trigaux (Recipient) & Yves Bontemps (Recipient), 15 Sep 2016

    Prize: National/international honour

  • Activities

    • 131 Participation in conference
    • 18 Participation in workshop, seminar, course
    • 1 Oral presentation

    Feature-based Modelling and Automations

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

    28 May 2018

    Activity: Talk or presentation typesOral presentation

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

    Patrick Heymans (Contributor)

    1 Jan 2013

    Activity: Participating in or organising an event typesParticipation in conference

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

    Patrick Heymans (Contributor)

    1 Jan 2013

    Activity: Participating in or organising an event typesParticipation in conference

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

    Patrick Heymans (Organiser)

    20 Oct 2012

    Activity: Participating in or organising an event typesParticipation in conference

    Steering Committee Chair of REFSQ, the International Working Conference on Requirements Engineering: Foundation of Software Quality

    Patrick Heymans (Organiser)

    1 Jan 2012

    Activity: Participating in or organising an event typesParticipation in conference

    Thesis

    Animating Albert II Specifications

    Author: Heymans, P., 2001

    Supervisor: Jarke, M. (External person) (Jury), Fichefet, J. (Jury), Dubois, É. (Jury), Habra, N. (Jury) & Schobbens, P. (Supervisor)

    Student thesis: Doc typesDoctor of Sciences

    La traduction automatique. Etude de cas : Logos

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

    Supervisor: Berleur, J. (Supervisor) & Deville, G. (Co-Supervisor)

    Student thesis: Master typesMaster in Computer science

    File