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.
- 7 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Projects
-
LIFTS: Learning Featured Transition Systems
Fortz, S., PERROUIN, G. & HEYMANS, P.
1/10/20 → 31/12/21
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
-
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
Research output
-
Do product configurators comply with HCI guidelines? A preliminary study
Leclercq, T., DEVENTER, C. & HEYMANS, P., 2020.Research output: Contribution to conference › Paper › peer-review
-
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning
Delobelle, P., Temple, P., Perrouin, G., FRENAY, BENOIT., Heymans, P. & Berendt, B., 14 May 2020, 1st workshop on Bias and Fairness in AI, co-located with ECMLPKDD 2020. 15 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile18 Downloads (Pure) -
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) › peer-review
Open AccessFile -
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
Prizes
-
Most Influential Paper Award
SCHOBBENS, PIERRE-YVES (Recipient), Classen, A. (Recipient), HEYMANS, Patrick (Recipient), Legay, A. (Recipient) & Raskin, J. (Recipient), 23 Oct 2020
Prize: Prize (including medals and awards)
File -
Most Influential Paper Award
SCHOBBENS, PIERRE-YVES (Recipient), HEYMANS, Patrick (Recipient), Trigaux, J. (Recipient) & Bontemps, Y. (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 2018Activity: Talk or presentation types › Oral presentation
-
Programme Committee Member for REFSQ'13, the nineteenth International Working Conference on Requirements Engineering: Foundation of Software Quality
Patrick Heymans (Contributor)
1 Jan 2013Activity: Participating in or organising an event types › Participation in conference
-
Programme Committee Member of ICSE'13, the thirty-fifth International Conference on Software Engineering
Patrick Heymans (Contributor)
1 Jan 2013Activity: 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 2012Activity: 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 2012Activity: 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