Personal profile

Education/Academic qualification

Doctor of Science, University of Namur

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 31 Similar Profiles
Model checking Engineering & Materials Science
Semantics Engineering & Materials Science
Requirements engineering Engineering & Materials Science
Specifications Engineering & Materials Science
Testing Engineering & Materials Science
Industry Engineering & Materials Science
Modeling languages Engineering & Materials Science
Software engineering Engineering & Materials Science

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

Projects 1995 2021

Research Output 1997 2018

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

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 (Accepted/In press) ACM IUI2018 Workshop on Explainable Smart Systems (ExSS).

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

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 Mar 2017 Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. Tokyo, Japan: IEEE, 6 p. (ICST '17)

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

Open Access
File
Automata theory
Finite automata

Feature-based Elicitation of Cognitively Efficient Visualizations for SPL Configurations

Sauvage-Thomase, C., Biri, N., Perrouin, G., Genon, N. & Heymans, P. 2017 Human Centered Software Product Lines. Sottet, J-S., Frey, A. G. & Vanderdonckt, J. (eds.). Springer Verlag, p. 107-129

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Open Access
File
Visualization
Visual languages

On Featured Transition Systems

Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P. Jan 2017 SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (LNCS)

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

File
Testing

Prizes

Most Influential Paper Award

Pierre Schobbens (Recipient), Patrick Heymans (Recipient), Jean-Christophe Trigaux (Recipient) & Yves Bontemps (Recipient), 15 Sep 2016

Prize: National/international honour

Requirements engineering
Semantics

Activities 1996 2013

  • 131 Participation in conference
  • 18 Participation in workshop, seminar, course

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

Heymans, P. (Contributor)
1 Jan 2013

Activity: Participating in or organising an eventParticipation in conference

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

Heymans, P. (Organiser)
20 Oct 2012

Activity: Participating in or organising an eventParticipation in conference

Programme Committee Member of PoEM'12, the fifth IFIP WG8.1 Working Conference on the Practice of Enterprise Modelling

Heymans, P. (Contributor)
1 Jan 2012

Activity: Participating in or organising an eventParticipation in conference

Thesis

A Feature-based Configurtor for CAM

Author: Colige, S., 12 Sep 2012

Supervisor: Heymans, P. (Supervisor), Hubaux, A. (Co-Supervisor) & Saval, G. (Co-Supervisor)

Student thesis: Master typesMaster of Computer science

A Generic Approach for Automated Verification of Product Line Models

Author: MAZO PENA, R., 2011

Supervisor: Heymans, P. (Jury)

Student thesis: Doc typesDoctor of Sciences

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

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

Supervisor: Heymans, P. (Supervisor)

Student thesis: Master typesMaster of Computer science

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

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

Supervisor: Heymans, P. (Supervisor)

Student thesis: Master typesMaster of Computer science

File

Animating Albert II Specifications

Author: Heymans, P., 2001

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

Student thesis: Doc typesDoctor of Sciences