Projects per year
Personal profile
Introduction
Pierre-Yves Schobbens is professor of computer science (programming), specialized in software product lines verification and agent-oriented programming.
Areas of expertise
software product lines
software verification
formal methods
agent-oriented software
model checking
External responsibilities
President of Precise research center
President of the international affairs commission of the faculty of computer science
President of the doctoral commission for exact sciences
Awards
Most influential paper award IEEE RE 2016
Best paper SAFECOMP 2012
Invited professor at Ecole Normale Supérieur (Cachan), Université Paul Sabatier (Toulouse), University of Birmingham, Ecole Centrale (Nantes), Université Joseph Fourier (Grenoble).
Invited researcher by Deutsche Akademische Austauschdienst (DAAD), Fundação para a Ciência e a Tecnologia (FCT).
Diplomas
Bachelor in Philosophy 1982
Master in Applied Mathematics and Economics 1983
Master in Computer Engineering 1984
Doctorate in Computer Science 1993
Education/Academic qualification
Doctor of Engineering, Exceptions in Algebraic Specification, Université Catholique de Louvain
Award Date: 1 Jan 1992
Master of Engineering, Université Catholique de Louvain
Award Date: 1 Jan 1984
Master of Engineering, Université Catholique de Louvain
Award Date: 1 Jan 1983
Bachelor of Philosophy, Université Catholique de Louvain
Award Date: 1 Jan 1982
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
ERNEST: schEduler foR eNErgy autonomouS ioT
Schumacher, L. (PI) & Schobbens, P. Y. (CoI)
1/10/25 → 30/09/29
Project: Research
-
SQUAL.AI: Software Quality through Artificial Intelligence
Devroey, X. (PI), Schobbens, P. Y. (PI), Perrouin, G. (PI) & Vanderose, B. (PI)
1/01/25 → 31/12/26
Project: Research
-
CYBEREXCELLENCE: The project of excellence in cyber security within the framework of the plan of the Walloon Region (CyberWal)
Colin, J.-N. (CoPI), Schobbens, P. Y. (CoI), Dejaeghere, J. (Researcher), Devroey, X. (CoPI), Nguyen, G. (Researcher), Rochet, F. (CoI), Schumacher, L. (CoI), Knockaert, M. (Researcher), Jacquet, J.-M. (PI), Linden, I. (CoI), Elkoulak, H. (Researcher), Poeng, K. (Researcher), Ouardi, D. (Researcher), Goffaux, L. (Researcher) & Barkallah, M. (Researcher)
1/01/22 → 31/12/27
Project: Research
-
D-DAMS: Digital Armament Management System suivant DO-178 (et DO-254)
Schobbens, P. Y. (PI)
1/11/15 → 30/06/26
Project: Research
-
CFV: Federated Centre for Software Verification
Schobbens, P. Y. (PI), Bontemps, Y. (Researcher), Ortiz Vega, J. J. (Researcher) & KANG, E.-Y. (Researcher)
1/10/99 → …
Project: Research
-
Energy-Aware Neural Architecture Search: Leveraging Genetic Algorithms for Balancing Performance and Consumption
Gratia, A., Temple, P., Schobbens, P.-Y. & Perrouin, G., 22 Jul 2025, Artificial Life and Evolutionary Computation - 18th Italian Workshop, WIVACE 2024, Revised Selected Papers: 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11–13, 2024, Revised Selected Papers. Carletti, T., Tuci, E. & Njougouo, T.-S. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 2532. p. 173–185 13 p. (Communications in Computer and Information Science; vol. 2532 CCIS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
-
Extending Timed Automata with Clock Derivatives
Cortés, D., Leneutre, J., Malvone, V., Ortiz Vega, J. J. & Schobbens, P.-Y., 2025, iFM 2025. 20 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
File26 Downloads (Pure) -
A Context-Aware Chatbot for Student Assistance Services in Higher Education
Ouared, A., Amrani, M. & Schobbens, P.-Y., 2024, Proceedings of the 16th International Conference on Computer Supported Education: CSEDU 2024. SciTePress, p. 264-271 8 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
CNNGen: A Generator and a Dataset for Energy-Aware Neural Architecture Search
Gratia, A., Liu, H., Satoh, S., Temple, P., Schobbens, P.-Y. & Perrouin, G., 2024, 32nd European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile55 Downloads (Pure) -
Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts
Amrani, M., Ouared, A. & Schobbens, P. Y., 2024, Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023 :Proceedings. Ben Hedia, B., Maleh, Y. & Krichen, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 163-177 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14368 LNCS).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Datasets
-
Featured Scents: Towards Assessing ArchitecturalSmells for Self-Adaptive Systems at Runtime
Schobbens, P.-Y. (Contributor), Perrouin, G. (Contributor) & Lima dos Santos, E. (Contributor), Zenodo, 2022
DOI: 10.5281/zenodo.5814028, https://zenodo.org/record/5814028
Dataset
-
Featured Scents: Assessing Architectural Smells for Self-Adaptive Systems at Runtime
Lima dos Santos, E. (Contributor), Schobbens, P.-Y. (Contributor) & Perrouin, G. (Contributor), Zenodo, 9 Nov 2021
Dataset
Prizes
-
Most Influential Paper Award
Schobbens, P. (Recipient), Heymans, P. (Recipient), Trigaux, J.-C. (Recipient) & Bontemps, Y. (Recipient), 15 Sept 2016
Prize: National/international honour
-
Most Influential Paper Award
SCHOBBENS, P.-Y. (Recipient), Classen, A. (Recipient), HEYMANS, P. (Recipient), Legay, A. (Recipient) & Raskin, J.-F. (Recipient), 23 Oct 2020
Prize: Prize (including medals and awards)
File -
VAMOS 2024 ten-year Most Influential Paper Award
Devroey, X. (Recipient), Perrouin, G. (Recipient), CORDY, M. (Recipient), Legay, A. (Recipient), Heymans, P. (Recipient) & Schobbens, P. Y. (Recipient), 8 Feb 2024
Prize: Prize (including medals and awards)
Activities
-
Rentrée NaDI
Dumas, B. (Organiser), Hallaert, E. (Contributor), Septon, T. (Contributor), Prevot, S. (Contributor), Simonofski, A. (Contributor), De Bruyne, M.-J. (Contributor), Desaunettes, L. (Contributor), Jacquet, J.-M. (Participant), Schobbens, P. Y. (Participant), Decrop, A. (Participant), Perrouin, G. (Participant), Vanderose, B. (Participant), Lachapelle, A. (Participant), Devroey, X. (Participant), André, M. (Participant), Dejaeghere, J. (Participant), Luycx, P. (Participant), Nguyen, G. (Participant), De Coster, E. (Participant), Poitier, P. (Participant), Couplet, A. (Participant), Akaichi, Y. (Participant), Longfils, G. (Participant), De Rycke, M. (Participant), Dewulf, L. (Participant), Demoustier, N. (Participant), Nardi, A. (Participant), Reuther, C. (Participant), Nizette, F. (Participant), Maquoi, J. (Participant) & Goffaux, L. (Participant)
8 Oct 2025Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
2024 Cyberwal in Galaxia
Dejaeghere, J. (Poster), Nguyen, G. (Poster), Ouardi, D. (Poster), Elkoulak, H. (Poster), Poeng, K. (Participant), Jacquet, J.-M. (Participant) & Schobbens, P. Y. (Participant)
2 Dec 2024 → 6 Dec 2024Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Groupe de Travail sur la Vérification
Schobbens, P. Y. (Contributor)
20 Nov 2024Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
The 23rd Belgium-Netherlands Software Evolution Workshop
Schobbens, P. Y. (Contributor)
21 Nov 2024Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Grascomp Doctoral Day
Dejaeghere, J. (Poster), Goffaux, L. (Poster), Ouardi, D. (Poster), Akaichi, Y. (Poster), Antonic, N. (Poster), André, M. (Poster), Matton, N. (Poster), Schobbens, P. Y. (Contributor) & Devroey, X. (Contributor)
9 Sept 2024Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Thesis
-
Exceptions in Algebraic Specifications
Schobbens, P.-Y. (Author), 1992Student thesis: Doc types › Doctor of Sciences