Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

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 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.

  • 6 Profils similaires

Réseau Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

Projets

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érenceArticle dans les actes d'une conférence/un colloque

  • STARS: Software Technology for Adaptable and Reusable Systems PhD Research Project

    Perrouin, G., Schobbens, P. Y. & Lima dos Santos, E., 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érenceArticle dans les actes d'une conférence/un colloque

  • 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érenceChapitre (revu par des pairs)

  • 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

    Accès ouvert
    File
    130 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érenceArticle 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), Jean-Christophe Trigaux (Bénéficiaire) & Yves Bontemps (Bénéficiaire), 15 sept. 2016

    Prix: Mise à l'honneur nationale/internationale

  • 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. 2019

    Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

    Connected and Automated Driving

    Pierre-Yves Schobbens (Participant)

    2 avr. 20193 avr. 2019

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Drones Days

    Pierre-Yves Schobbens (Participant)

    17 mars 2019

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Vivre la Ville : (dé)construire la Smart city

    Pierre-Yves Schobbens (Participant), , Claire Lobet-Maris (Organisateur), , Anthony Simonofski (Organisateur), , Benoît Vanderose (Conférencier), , Yves Poullet (Conférencier), & Bruno Dumas (Orateur)

    28 mars 2019

    Activité: Types de Participation ou d'organisation d'un événementParticipation à un Colloque, une journée d'étude

    Agora Transition Now

    Pierre-Yves Schobbens (Participant)

    25 mars 2019

    Activité: Types de Participation ou d'organisation d'un événementParticipation à un Colloque, une journée d'étude

    Thèse

    Exceptions in Algebraic Specifications

    Author: Schobbens, P., 1992

    Thèse de l'étudiant: Doc typesDocteur en Sciences

    Presse/médias

    10th international IFIP workshop on semantic web and web semantics (SWWS 2014)

    Pierre Schobbens

    14/06/14

    1 élément de Couverture média

    Presse/Médias: Commentaire d'expert