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)

Maîtrise d'ingénierie, Université Catholique de Louvain (UCL)

Maîtrise d'ingénierie, Université Catholique de Louvain (UCL)

Bachelier en philosophie, Université Catholique de Louvain (UCL)

Empreinte digitale Examinez les sujets de recherche où Pierre-Yves Schobbens est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 11 Profils similaires
Model checking Ingénierie et Science des Matériaux
Temporal logic Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux
Clocks Ingénierie et Science des Matériaux
Testing Ingénierie et Science des Matériaux
Specifications Ingénierie et Science des Matériaux
Real time systems Ingénierie et Science des Matériaux
Logic mathématiques

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 1989 2022

Résultat de recherche 1986 2019

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)

Explosions

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

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 - 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, (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

Reliability analysis
Model checking
Experiments
Explosions
Data structures

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 mai 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11460 LNCS).

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

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks

A lightweight data sharing system based on bidirectional transformations

Duchêne, A., Marchal, H., Hu, Z. & Schobbens, P. Y., 9 avr. 2018, Programming 2018 Companion - Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. Sartor, J. B. & Marr, S. (eds.). ACM Press, Vol Part F137691. p. 42-45 4 p.

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

Data structures
Profitability
Industry

Prix

Most Influential Paper Award

Pierre Schobbens (Bénéficiaire), Patrick Heymans (Bénéficiaire), Jean-Christophe Trigaux (Bénéficiaire) & Yves Bontemps (Bénéficiaire), 15 sept. 2016

Prix: Mise à l'honneur nationale/internationale

Requirements engineering
Semantics

Activités 1997 2019

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

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

Forum Recherches en transition

Pierre-Yves Schobbens (Participant)
18 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

Midi du CRIDS : relations internationales

Pierre-Yves Schobbens (Participant)
12 mars 2019

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

Thèse

About adding utility and usability to FDNet: a flat distributed network architecture

Auteur: Achbany, Y. & Jadoulle, J., 2004

Superviseur: Schobbens, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Administrative management of clinical studies in hospitals

Auteur: Benats, P., 4 sept. 2014

Superviseur: Schobbens, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Agent de détection et de notification d'erreurs EDNA : annexe F: code source complet

Auteur: Van Hout, A. & Delmarche, E., 2003

Superviseur: Schobbens, P. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Alignement business-IT: le cas de l’ERP Odoo

Auteur: Patz, M., 28 août 2017

Superviseur: Schobbens, P. (Président), Petit, M. (Promoteur) & Vanderose, B. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

All I Know

Auteur: van Ditmarsch, H., 2010

Superviseur: Schobbens, P. (Jury)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

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