Projects per year
Personal profile
Education/Academic qualification
Doctor of Science, University of Namur
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.
- 15 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
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/19
Project: Research
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frenay, B., Schobbens, P., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/21
Project: Research
Research Output 1997 2019
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 proceeding › Chapter (peer-reviewed)
Explosions
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 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, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (ICST '17).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
Automata theory
Finite automata
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 2018
Feature-based Modelling and Automations
Patrick Heymans (Speaker), Pierre-Yves Schobbens (Speaker), Gilles Perrouin (Speaker)28 May 2018
Activity: Talk or presentation types › Oral 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 types › Participation 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 types › Participation 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 types › Participation in conference
Programme Committee Member of SPLC'12, the sixteenth International Software Product Line Conference
Patrick Heymans (Contributor)1 Jan 2012
Activity: Participating in or organising an event types › 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 in 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 in 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 in Computer science
File
Animating Albert II Specifications
Author: Heymans, P., 2001Supervisor: Jarke, M. (External person) (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