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, UCLouvain
Award Date: 1 Jan 1992
Master of Engineering, UCLouvain
Award Date: 1 Jan 1984
Master of Engineering, UCLouvain
Award Date: 1 Jan 1983
Bachelor of Philosophy, UCLouvain
Award Date: 1 Jan 1982
Fingerprint
Dive into the research topics where PIERRE-YVES SCHOBBENS 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
-
SmartTune - Robust and SustainableHyper-parameter Optimisation for Deep Learning
Gratia, A., Perrouin, G., SCHOBBENS, P., Temple, P., Tuci, E. & Acher, M.
1/07/21 → 28/06/25
Project: PHD
-
-
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
-
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
-
Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime
Lima dos Santos, E., Schobbens, P-Y. & Perrouin, G., Mar 2022, ICSA 2022: IEEE 19th International Conference on Software Architecture . HONOLULU - HAWAII (USA): IEEE, p. 71-74 4 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile23 Downloads (Pure) -
A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps
Lima dos Santos, E., Fortz, S., PERROUIN, GILLES. & Schobbens, P-Y., 13 Sep 2021, ECSA2021 Companion Volume: 4th Context-aware, Autonomous and Smart Architectures International Workshop (CASA). Heinrich, R., Mirandola, R. & Weyns, D. (eds.). Växjö, Sweden: CEUR Workshop Proceedings, p. 1 6 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile63 Downloads (Pure) -
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics
Kang, E. Y. & Schobbens, P. Y., Jun 2020, 2020 9th Mediterranean Conference on Embedded Computing, MECO 2020. Institute of Electrical and Electronics Engineers Inc., 9134341. (2020 9th Mediterranean Conference on Embedded Computing, MECO 2020).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
STARS: Software Technology for Adaptable and Reusable Systems PhD Research Project
Lima dos Santos, E., Perrouin, G. & Schobbens, P. Y., 5 Feb 2020, Proceedings - VaMoS 2020: 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Cordy, M., Acher, M., Beuche, D. & Saake, G. (eds.). ACM Press, p. 1-2 2 p. a15. (PervasiveHealth: Pervasive Computing Technologies for Healthcare).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile25 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 AccessFile34 Downloads (Pure)
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
-
FOCUS Research Seminar
Wim Vanhoof (Organiser), Jean-Marie Jacquet (Organiser), Manel Barkallah (Member of Organizing Committee), Gonzague Yernaux (Member of Organizing Committee), Pierre-Yves Schobbens (Member of Organizing Committee), James Jerson Ortiz Vega (Member of Organizing Committee), Moussa Amrani (Member of Organizing Committee), Isabelle Linden (Member of Organizing Committee) & Christian Colot (Member of Organizing Committee)
6 Dec 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Connected and Automated Driving
Pierre-Yves Schobbens (Participant)
2 Apr 2019 → 3 Apr 2019Activity: Participating in or organising an event types › Participation in conference
-
Agora Transition Now
Pierre-Yves Schobbens (Participant)
25 Mar 2019Activity: Participating in or organising an event types › Participation to a Symposium, a study Day
-
Midi du CRIDS : relations internationales
Pierre-Yves Schobbens (Participant)
12 Mar 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
Drones Days
Pierre-Yves Schobbens (Participant)
17 Mar 2019Activity: Participating in or organising an event types › Participation in conference
Thesis
-
Exceptions in Algebraic Specifications
Author: Schobbens, P., 1992Student thesis: Doc types › Doctor of Sciences