Projects per year
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.
- 30 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
Information systems
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 1995 2021
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frenay, B. & Schobbens, P.
1/01/18 → 31/12/21
Project: Research
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Project: Research
Research Output 1997 2018
Model-based mutant equivalence detection using automata language equivalence and simulations
Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P. 2018 In : Journal of Systems and Software. 29 p.Research output: Contribution to journal › Article
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: Contribution in Book/Catalog/Report/Conference proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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-129Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
Open Access
File
Visualization
Visual languages
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
Programme Committee Member for REFSQ'13, the nineteenth International Working Conference on Requirements Engineering: Foundation of Software Quality
Heymans, P. (Contributor)1 Jan 2013
Activity: Participation in conference
Programme Committee Member of ICSE'13, the thirty-fifth International Conference on Software Engineering
Heymans, P. (Contributor)1 Jan 2013
Activity: Participation in conference
Programme Co-Chair with L. Duchien of the 5e Journee Lignes de Produits
Heymans, P. (Organiser)20 Oct 2012
Activity: Participation in conference
Programme Committee Member for REFSQ'12, the eighteenth International Working Conference on Requirements Engineering: Foundation of Software Quality
Heymans, P. (Contributor)1 Jan 2012
Activity: Participation in conference
Programme Committee Member of FormSERA'12, the workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, held in conjunction with ICSE 2012
Heymans, P. (Contributor)1 Jan 2012
Activity: Participation in conference
Thesis
A Feature-based Configurtor for CAM
Author: Colige, S., 12 Sep 2012Supervisor: Heymans, P. (Supervisor), Hubaux, A. (Co-Supervisor) & Saval, G. (Co-Supervisor)
Student thesis: Master types › Master of Computer science
File
A Generic Approach for Automated Verification of Product Line Models
Author: MAZO PENA, R., 2011Supervisor: Heymans, P. (Jury)
Student thesis: Doc types › Doctor of Sciences
Amélioration du support à la rédaction d'exigences, GenSpec
Author: Harmel, D. & Cavillot, G., 2008Supervisor: Heymans, P. (Supervisor)
Student thesis: Master types › Master of Computer science
File
Améliorations de l'outil d'ingénierie des exigences GenSpec
Author: Pire, O. & Pirmez, N., 2007Supervisor: Heymans, P. (Supervisor)
Student thesis: Master types › Master of Computer science
File
Animating Albert II Specifications
Author: Heymans, P., 2001Supervisor: Jarke, M. (Jury), Fichefet, J. (Jury), Dubois, É. (Jury), Habra, N. (Jury) & Schobbens, P. (Supervisor)
Student thesis: Doc types › Doctor of Sciences
Press / Media
10th joint meeting of the european software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering (ESEC-FSE 2015)
Anthony Cleve & Patrick Heymans
20/02/15
1 item of media coverage
Press/Media: Expert Comment
6th international workshop on formal methods and analysis in spl engineering (FMSPLE 2015)
Maxime Cordy & Patrick Heymans
20/10/14
1 item of media coverage
Press/Media: Expert Comment