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, Université Catholique de Louvain (UCL)
Date d'octroi: 1 janv. 1992
Maîtrise d'ingénierie, Université Catholique de Louvain (UCL)
Date d'octroi: 1 janv. 1984
Maîtrise d'ingénierie, Université Catholique de Louvain (UCL)
Date d'octroi: 1 janv. 1983
Bachelier en philosophie, Université Catholique de Louvain (UCL)
Date d'octroi: 1 janv. 1982
Empreinte digitale
- 6 Profils similaires
Réseau
Projets
-
-
THCS: Testing Highly-configurable Systems
PERROUIN, G., SCHOBBENS, P., Amrani, M., ORTIZ VEGA, J. J. & HEYMANS, P.
1/01/18 → 31/12/22
Projet: Recherche
-
VeriLearn: Verifying Learning Artificial Intelligence Systems
HEYMANS, P., FRENAY, B., SCHOBBENS, P., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/22
Projet: Recherche
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
ORTIZ VEGA, J. J. & SCHOBBENS, P.
1/09/17 → 31/08/23
Projet: Projet de thèse
Résultat de recherche
-
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics
Kang, E. Y. & Schobbens, P. Y., juin 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).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
-
STARS: Software Technology for Adaptable and Reusable Systems PhD Research Project
Lima dos Santos, E., Perrouin, G. & Schobbens, P. Y., 5 févr. 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. (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 ouvertFile -
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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre (revu par des pairs) › Revue par des pairs
Accès ouvertFile -
Customizing Adversarial Machine Learning to test Deep Learning techniques
Temple, P., Perrouin, G., Frenay, B. & Schobbens, P-Y., 28 mai 2019.Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs
Accès ouvertFile138 Téléchargements (Pure) -
Feature-family-based reliability analysis of software product lines
Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 9 sept. 2019, SPLC 2019: Proceedings of the 23rd International Systems and Software Product Line Conference . Berger, T., Collet, P., Duchien, L., Fogdal, T., Heymans, P., Kehrer, T., Martinez, J., Mazo, R., Montalvillo, L., Salinesi, C., Ternava, X., Thum, T. & Ziadi, T. (eds.). ACM Press, Vol A. 59 p. (ACM International Conference Proceeding Series; Vol A).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
Prix
-
Most Influential Paper Award
SCHOBBENS, PIERRE-YVES (Bénéficiaire), HEYMANS, Patrick (Bénéficiaire), Trigaux, J. (Bénéficiaire) & Bontemps, Y. (Bénéficiaire), 15 sept. 2016
Prix: Mise à l'honneur nationale/internationale
-
Most Influential Paper Award
SCHOBBENS, PIERRE-YVES (Bénéficiaire), Classen, A. (Bénéficiaire), HEYMANS, Patrick (Bénéficiaire), Legay, A. (Bénéficiaire) & Raskin, J. (Bénéficiaire), 23 oct. 2020
Prix: Prix (y compris les médailles et récompenses)
Fichier
Activités
-
FOCUS Research Seminar
Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation) & Christian Colot (Membre du Comité d'Organisation)
6 déc. 2019Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Connected and Automated Driving
Pierre-Yves Schobbens (Participant)
2 avr. 2019 → 3 avr. 2019Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
-
Midi du CRIDS : relations internationales
Pierre-Yves Schobbens (Participant)
12 mars 2019Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Forum Recherches en transition
Pierre-Yves Schobbens (Participant)
18 mars 2019Activité: Types de Participation ou d'organisation d'un événement › Participation à un Colloque, une journée d'étude
-
Agora Transition Now
Pierre-Yves Schobbens (Participant)
25 mars 2019Activité: Types de Participation ou d'organisation d'un événement › Participation à un Colloque, une journée d'étude
Thèse
-
Exceptions in Algebraic Specifications
Author: Schobbens, P., 1992Thèse de l'étudiant: Doc types › Docteur en Sciences
Presse/médias
-
10th international IFIP workshop on semantic web and web semantics (SWWS 2014)
14/06/14
1 élément de Couverture média
Presse/Médias: Commentaire d'expert