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
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
Passez en revue plus en détail les thèmes de recherche où Pierre Yves Schobbens est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
-
ERNEST: schEduler foR eNErgy autonomouS ioT
Schumacher, L. (Responsable du Projet) & Schobbens, P. Y. (Co-investigateur)
1/10/25 → 30/09/29
Projet: Recherche
-
SQUAL.AI: Qualité des logiciels grâce à l'intelligence artificielle
Devroey, X. (Responsable du Projet), Schobbens, P. Y. (Responsable du Projet), Perrouin, G. (Responsable du Projet) & Vanderose, B. (Responsable du Projet)
1/01/25 → 31/12/26
Projet: Recherche
-
CYBEREXCELLENCE: Le projet d’excellence de la cyber sécurité dans le cadre du plan de la Région Wallonne (CyberWal)
Colin, J.-N. (CoPI), Schobbens, P. Y. (Co-investigateur), Dejaeghere, J. (Chercheur), Devroey, X. (CoPI), Nguyen, G. (Chercheur), Rochet, F. (Co-investigateur), Schumacher, L. (Co-investigateur), Knockaert, M. (Chercheur), Jacquet, J.-M. (Responsable du Projet), Linden, I. (Co-investigateur), Elkoulak, H. (Chercheur), Poeng, K. (Chercheur), Ouardi, D. (Chercheur), Goffaux, L. (Chercheur) & Barkallah, M. (Chercheur)
1/01/22 → 31/12/27
Projet: Recherche
-
D-DAMS: Digital Armament Management System suivant DO-178 (et DO-254)
Schobbens, P. Y. (Responsable du Projet)
1/11/15 → 30/06/26
Projet: Recherche
-
CFV: Centre Fédéré en Vérification de Logiciel
Schobbens, P. Y. (Responsable du Projet), Bontemps, Y. (Chercheur), Ortiz Vega, J. J. (Chercheur) & KANG, E.-Y. (Chercheur)
1/10/99 → …
Projet: Recherche
Résultat de recherche
-
Energy-Aware Neural Architecture Search: Leveraging Genetic Algorithms for Balancing Performance and Consumption
Gratia, A., Temple, P., Schobbens, P.-Y. & Perrouin, G., 22 juil. 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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre
-
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.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
File26 Téléchargements (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.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
-
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.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 ouvertFile55 Téléchargements (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).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
Ensembles de données
-
Featured Scents: Assessing Architectural Smells for Self-Adaptive Systems at Runtime
Lima dos Santos, E. (Contributeur), Schobbens, P.-Y. (Contributeur) & Perrouin, G. (Contributeur), Zenodo, 9 nov. 2021
Ensemble 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, P. (Bénéficiaire), Heymans, P. (Bénéficiaire), Trigaux, J.-C. (Bénéficiaire) & Bontemps, Y. (Bénéficiaire), 15 sept. 2016
Prix: Mise à l'honneur nationale/internationale
-
Most Influential Paper Award
SCHOBBENS, P.-Y. (Bénéficiaire), Classen, A. (Bénéficiaire), HEYMANS, P. (Bénéficiaire), Legay, A. (Bénéficiaire) & Raskin, J.-F. (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, X. (Bénéficiaire), Perrouin, G. (Bénéficiaire), CORDY, M. (Bénéficiaire), Legay, A. (Bénéficiaire), Heymans, P. (Bénéficiaire) & Schobbens, P. Y. (Bénéficiaire), 8 févr. 2024
Prix: Prix (y compris les médailles et récompenses)
Activités
-
Rentrée NaDI
Dumas, B. (Organisateur), Hallaert, E. (Orateur), Septon, T. (Orateur), Prevot, S. (Orateur), Simonofski, A. (Orateur), De Bruyne, M.-J. (Orateur), Desaunettes, L. (Orateur), 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. 2025Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
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 déc. 2024 → 6 déc. 2024Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
The 23rd Belgium-Netherlands Software Evolution Workshop
Schobbens, P. Y. (Orateur)
21 nov. 2024Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Groupe de Travail sur la Vérification
Schobbens, P. Y. (Orateur)
20 nov. 2024Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
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. (Orateur) & Devroey, X. (Orateur)
9 sept. 2024Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
Thèse
-
Exceptions in Algebraic Specifications
Schobbens, P.-Y. (Auteur), 1992Student thesis: Doc types › Docteur en Sciences