Projects per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
SCHOBBENS, P., HEYMANS, P. & Amrani, M.
21/11/14 → 24/11/18
Project: Research
-
VeriLearn: Verifying Learning Artificial Intelligence Systems
HEYMANS, P., Frénay, B., SCHOBBENS, P., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/22
Project: Research
-
-
-
Research output
-
Comparison of Goal Modelling Languages: an Experiment
Matulevicius, R. & Heymans, P., 2007, (Unpublished) Lecture Notes in Computer Science, International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'07). Sawyer, P., Paech, B. & Heymans, P. (eds.). Heidelberg: SpringerResearch output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
Visual notation design 2.0: Towards user comprehensible requirements engineering notations
Caire, P., Genon, N., Heymans, P. & Moody, D. L., 31 Dec 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 115-124 10 p. 6636711Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
SNIP: An Efficient Model Checker for Software Product Lines
Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A., 2011Research output: Other contribution
File263 Downloads (Pure) -
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 Feb 2014, In: Science of Computer Programming. 80, PART B, p. 416-439 24 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile397 Downloads (Pure) -
Unifying Software and Product Configuration: A Research Roadmap (to appear)
Hubaux, A., Dietmar, J., Drescher, C., Murta, L., Mannisto, T., Czarnecki, K., Heymans, P., Nguyen, T. & Zanker, M., 1 Jan 2012.Research output: Contribution to conference › Paper
Prizes
-
Most Influential Paper Award
SCHOBBENS, PIERRE-YVES (Recipient), HEYMANS, Patrick (Recipient), Trigaux, J. (Recipient) & Bontemps, Y. (Recipient), 15 Sep 2016
Prize: National/international honour
-
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
Activities
-
Programme Committee Member of PESOS'10, the second International Workshop on Principles of Engineering Service-Oriented Systems, held in conjunction with ICSE 2010
Patrick Heymans (Contributor)
1 Jan 2010Activity: Participating in or organising an event types › Participation in conference
-
Referee for Information and Software Technology (Elsevier)
Patrick Heymans (Contributor)
2 Aug 2007Activity: Participating in or organising an event types › Participation in conference
-
Programme Committee Member of REFSQ'04 -- The 10th International Workshop on Requirements Engineering as a Foundation for Software Quality
Patrick Heymans (Contributor)
7 Jun 2004 → 8 Jun 2004Activity: Participating in or organising an event types › Participation in conference
-
Réunion co-jointe InterOP/Athena
Patrick Heymans (Contributor)
10 Feb 2005 → 12 Feb 2005Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
General meeting InterOP
Patrick Heymans (Participant)
22 May 2005 → 25 May 2005Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Thesis
-
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 -
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