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
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 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
-
CYBEREXCELLENCE: The project of excellence in cyber security within the framework of the plan of the Walloon Region (CyberWal)
Colin, J., Schobbens, P. Y., Dejaeghere, J., Devroey, X., Nguyen, G., Rochet, F., Schumacher, L., Knockaert, M., Jacquet, J., Linden, I., Elkoulak, H., Poeng, K., Ouardi, D., Goffaux, L. & Barkallah, M.
1/01/22 → 31/12/27
Project: Research
-
SmartTune - Robust and SustainableHyper-parameter Optimisation for Deep Learning
Gratia, A., Perrouin, G., Schobbens, P. Y., Temple, P., Tuci, E. & Acher, M.
1/07/21 → 28/06/25
Project: PHD
-
-
CFV: Federated Centre for Software Verification
Schobbens, P. Y., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Project: Research
-
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
-
Time for Networks: Mutation Testing for Timed Automata Networks
Cortés, D., Ortiz Vega, J. J., Basile, D., Aranda Bueno, J. A., Perrouin, G. & Schobbens, P-Y., 2024.Research output: Contribution to conference › Paper › peer-review
Open AccessFile16 Downloads (Pure) -
You Can REST Now: Automated Specification Inference and Black-Box Testing of RESTful APIs with Large Language Models
Decrop, A., Perrouin, G., Papadakis, M., Devroey, X. & Schobbens, P-Y., 7 Feb 2024.Research output: Working paper › Preprint
File1 Downloads (Pure) -
An Alternative Semantics for Timed Automata with Independent Clocks
Ortiz Vega, J. J. & Schobbens, P-Y., 18 Sept 2023.Research output: Contribution to conference › Abstract › peer-review
File23 Downloads (Pure) -
Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!
Santos, E. L. D., Schobbens, P-Y., Machado, I. & Perrouin, G., 25 Jan 2023, Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023: 17th International Working Conference on Variability Modelling of Software-Intensive Systems. Cohen, M. B., Thüm, T. & Mauro, J. (eds.). ACM Press, p. 85-87 3 p. (ACM International Conference Proceeding Series).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile41 Downloads (Pure)
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
Prizes
-
Most Influential Paper Award
Schobbens, Pierre Yves (Recipient), Heymans, Patrick (Recipient), Trigaux, Jean-Christophe (Recipient) & Bontemps, Yves (Recipient), 15 Sept 2016
Prize: National/international honour
-
Most Influential Paper Award
Schobbens, Pierre Yves (Recipient), Classen, Andreas (Recipient), Heymans, Patrick (Recipient), Legay, Axel (Recipient) & Raskin, Jean-Francois (Recipient), 23 Oct 2020
Prize: Prize (including medals and awards)
File -
VAMOS 2024 ten-year Most Influential Paper Award
Devroey, Xavier (Recipient), Perrouin, Gilles (Recipient), CORDY, MAXIME (Recipient), Legay, Axel (Recipient), Heymans, Patrick (Recipient) & Schobbens, Pierre Yves (Recipient), 8 Feb 2024
Prize: Prize (including medals and awards)
Activities
-
2023 Cyberwal in Galaxia
Pierre Yves Schobbens (Contributor)
4 Dec 2023 → 7 Dec 2023Activity: Participating in or organising an event types › Involvement in school activities
-
ARIAC Winter Team Building Meeting
Pierre Yves Schobbens (Contributor)
5 Dec 2023Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
2023 Cyberwal in Galaxia
Pierre Yves Schobbens (Participant), Jean-Marie JACQUET (Participant), Jules Dejaeghere (Participant), Hosam Elkoulak (Participant), Guillaume Nguyen (Participant), Doha Ouardi (Participant) & Kokthay Poeng (Participant)
4 Dec 2023 → 8 Dec 2023Activity: Participating in or organising an event types › Involvement in school activities
-
CyberExcellence: Journée des chercheurs
Guillaume Nguyen (Speaker), Kokthay Poeng (Speaker), Doha Ouardi (Speaker), Xavier Devroey (Participant), Manel Barkallah (Participant), Pierre Yves Schobbens (Participant) & Jean-Marie JACQUET (Participant)
24 Nov 2023Activity: Participating in or organising an event types › Project follow-up meeting
-
Journée de séminaire des groupes de travail LVP et MTV2 du GdR GPL du CNRS
Pierre Yves Schobbens (Contributor)
16 Nov 2023 → 17 Nov 2023Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Thesis
-
Exceptions in Algebraic Specifications
Author: Schobbens, P., 1992Student thesis: Doc types › Doctor of Sciences