Projets par an
Profil personnel
Présentation
Pierre-Yves Schobbens est professeur d'informatique, spécialisé en vérification de logiciel. Il s'intéresse à la vérification de modèles (model-checking), les logiques, les méthodes formelles de développement de logiciels, les lignes de produits logiciels, le génie logiciel orienté agents. Il est aussi en charge des relations internationales de sa Faculté.
Domaines de compétence
Spécification de logiciel,
Méthodes formelles de développement de logiciels,
Interaction de services logiciels,
Lignes de produits logiciels,
Logiciel orienté-agent,
Logique temporelle,
Vérification de modèles,
Intelligence artificielle.
Charges externes
Membre fondateur de Ada-Belgique
Membre du Conseil Scientifique de l'institut "Sciences et technologies de l'information et de l'ingénierie" du CNRS (France) de 2007 à 2010.
Membre du groupes IFIP 1.3, 5.8, 2.12, 12, 12.3, 12.4, 12.5, invité aux 2.1, 2.3.
Administrateur d'ETNIC (Informatique de la CFB) de 2003 à 2005
Expert pour le FNRS, FRIA, FNR (Luxembourg), ANR (France), FP6 (Europe), CNRS (France), BSF (Israël), CNRC (Canada), NWO.
Evaluateur pour les revues scientifiques TOSEM, CN, Comm. ACM, SCP, IJICIS, JLC, TSE, TSI, BSM, etc.
Co-PC Chair of MFI 2009, MCCM 2008, MoVaH08, AFADL 2007.
PC member of LMO 2010, IAT/WI 2009, Modse, MCCM, ME (Models and Evolution), IWEI 2009, EuroDocInfo09, HuCom08, ICFI'09, MoVaH08, NorMAS'09, WADT 2008, UML&FM, MCCM, MFI, AFADL, AMFInE 2012, CLIMA, CSD&M 2013, etc.
Prix/Distinctions
Most Influential Paper Award, International Requirements Engineering Conference 2016
Best presentation 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).
Diplômes
B. Philosophie, UCL, 1982
Ir. Math. App. or. Economie, UCL, 1983
Ir. Informatique, UCL, 1984
Dr. Informatique, UCL, 1992
Expertise relative aux objectifs de développement durable des Nations Unies
En 2015, les États membres des Nations Unies ont convenu de 17 objectifs de développement durable (Sustainable Development Goals, SDG) pour éradiquer la pauvreté, protéger la planète et assurer la prospérité de tous. Le travail de cette personne contribue à la poursuite du/des SDG suivant(s) :
Qualification académique
Docteur en ingénierie, Exceptions in Algebraic Specification, Université Catholique de Louvain
Date d'octroi: 1 janv. 1992
Maîtrise d'ingénierie, Université Catholique de Louvain
Date d'octroi: 1 janv. 1984
Maîtrise d'ingénierie, Université Catholique de Louvain
Date d'octroi: 1 janv. 1983
Bachelier en philosophie, Université Catholique de Louvain
Date d'octroi: 1 janv. 1982
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
-
CYBEREXCELLENCE: Le projet d’excellence de la cyber sécurité dans le cadre du plan de la Région Wallonne (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
Projet: Recherche
-
SmartTune - Optimisation robuste et durable des hyperparamètres pour le Deep Learning
Gratia, A., Perrouin, G., Schobbens, P. Y., Temple, P., Tuci, E. & Acher, M.
1/07/21 → 28/06/25
Projet: Projet de thèse
-
Passage de la variabilité à l'échelle
Schobbens, P. Y. & Cordy, M.
1/01/21 → 31/12/24
Projet: Recherche
-
CFV: Centre Fédéré en Vérification de Logiciel
Schobbens, P. Y., Bontemps, Y., Ortiz Vega, J. J. & KANG, E.
1/10/99 → …
Projet: Recherche
Résultat de recherche
-
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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
-
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.Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs
Accès ouvertFile16 Téléchargements (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 févr. 2024.Résultats de recherche: Papier de travail › Préprint
File1 Téléchargements (Pure) -
An Alternative Semantics for Timed Automata with Independent Clocks
Ortiz Vega, J. J. & Schobbens, P-Y., 18 sept. 2023.Résultats de recherche: Contribution à un événement scientifique (non publié) › Résumé › Revue par des pairs
File23 Téléchargements (Pure) -
Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!
Santos, E. L. D., Schobbens, P-Y., Machado, I. & Perrouin, G., 25 janv. 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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile41 Téléchargements (Pure)
Ensembles de données
-
Featured Scents: Towards Assessing ArchitecturalSmells for Self-Adaptive Systems at Runtime
Schobbens, P. Y. (Contributeur), Perrouin, G. (Contributeur) & Lima dos Santos, E. (Contributeur), Zenodo, 2022
DOI: 10.5281/zenodo.5814028, https://zenodo.org/record/5814028
Ensemble de données
Prix
-
Most Influential Paper Award
Schobbens, Pierre Yves (Bénéficiaire), Heymans, Patrick (Bénéficiaire), Trigaux, Jean-Christophe (Bénéficiaire) & Bontemps, Yves (Bénéficiaire), 15 sept. 2016
Prix: Mise à l'honneur nationale/internationale
-
Most Influential Paper Award
Schobbens, Pierre Yves (Bénéficiaire), Classen, Andreas (Bénéficiaire), Heymans, Patrick (Bénéficiaire), Legay, Axel (Bénéficiaire) & Raskin, Jean-Francois (Bénéficiaire), 23 oct. 2020
Prix: Prix (y compris les médailles et récompenses)
Fichier -
VAMOS 2024 ten-year Most Influential Paper Award
Devroey, Xavier (Bénéficiaire), Perrouin, Gilles (Bénéficiaire), CORDY, MAXIME (Bénéficiaire), Legay, Axel (Bénéficiaire), Heymans, Patrick (Bénéficiaire) & Schobbens, Pierre Yves (Bénéficiaire), 8 févr. 2024
Prix: Prix (y compris les médailles et récompenses)
Activités
-
2023 Cyberwal in Galaxia
Pierre Yves Schobbens (Orateur)
4 déc. 2023 → 7 déc. 2023Activité: Participation ou organisation d'un événement › Interventions dans des écoles
-
ARIAC Winter Team Building Meeting
Pierre Yves Schobbens (Orateur)
5 déc. 2023Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
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 déc. 2023 → 8 déc. 2023Activité: Participation ou organisation d'un événement › Interventions dans des écoles
-
CyberExcellence: Journée des chercheurs
Guillaume Nguyen (Conférencier), Kokthay Poeng (Conférencier), Doha Ouardi (Conférencier), Xavier Devroey (Participant), Manel Barkallah (Participant), Pierre Yves Schobbens (Participant) & Jean-Marie JACQUET (Participant)
24 nov. 2023Activité: Participation ou organisation d'un événement › Réunion de suivi de projet
-
Journée de séminaire des groupes de travail LVP et MTV2 du GdR GPL du CNRS
Pierre Yves Schobbens (Orateur)
16 nov. 2023 → 17 nov. 2023Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
Thèse
-
Exceptions in Algebraic Specifications
Auteur: Schobbens, P., 1992Student thesis: Doc types › Docteur en Sciences