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

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.

  • 33 Similar Profiles
Model checking Engineering & Materials Science
Requirements engineering Engineering & Materials Science
Semantics Engineering & Materials Science
Specifications Engineering & Materials Science
Software engineering Engineering & Materials Science
Testing Engineering & Materials Science
Explosions Engineering & Materials Science
Industry 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

Open Access
File
Finite automata

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: Chapter in Book/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: Chapter in Book/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: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
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

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

Open Access
File
Graphical user interfaces
Industry
Costs

Prizes

Most Influential Paper Award

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

Prize: National/international honour

Requirements engineering
Semantics

Activities 1996 2018

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

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 in Computer science

File

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 in Computer science

File

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 in Computer science

File

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