Projects per year
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
THCS: Testing Highly-configurable Systems
PERROUIN, G., SCHOBBENS, P., AMRANI, M., ORTIZ VEGA, J. J. & HEYMANS, P.
1/01/18 → 31/12/22
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/22
Project: Research
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 proceeding › Chapter (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 proceeding › Conference 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 proceeding › Conference 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 journal › Article
Open Access
File
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
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
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
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 types › Participation in conference
Thesis
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
La traduction automatique. Etude de cas : Logos
Author: Heymans, P. & Rouard, M., 1995Supervisor: Berleur, J. (Supervisor) & Deville, G. (Co-Supervisor)
Student thesis: Master types › Master in Computer science
File
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