Pierre-Yves Schobbens — Portail de la recherche de l'Université de Namur

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

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

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

Docteur en ingénierie, Université Catholique de Louvain (UCL)

Empreinte digitale L’empreinte digitale est basée sur l’exploration du texte des documents scientifiques d’individus afin de créer un index de termes pondérés, qui définit les thèmes clés de chaque chercheur individuel.

9 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

Testing Ingénierie et Science des Matériaux

Clocks Ingénierie et Science des Matériaux

Requirements engineering Ingénierie et Science des Matériaux

Specifications 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 2021

8 Actif
55 Terminé

VeriLearn: Verifying Learning Artificial Intelligence Systems

Heymans, P., Frenay, B. & Schobbens, P.

1/01/18 → 31/12/21

Projet: Recherche

wal-e-cities ECO: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

Castiaux, A., Van Gyseghem, J., Schobbens, P., Gebka, E. & Michel, A.

1/01/17 → 31/12/19

Projet: Recherche

EUTYPES: The European research network on types for programming and verification

Schobbens, P.

21/03/16 → 20/03/20

Projet: Recherche

wal-e-cities GOV: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

Schobbens, P., Van Gyseghem, J. & Michel, A.

1/03/16 → 31/12/20

Projet: Recherche

wal-e-cities MOB: Développement d'un ensemble de solutions technologiques et non technologiques dans le domaine des smart cities

Schobbens, P., Dumas, B. & Michel, A.

1/03/16 → 31/12/20

Projet: Recherche

Résultat de recherche 1986 2018

2163 Citations
22 h-Index
98 Article dans les actes d'une conférence/un colloque
41 Article
19 Autre contribution
10 Chapitre
19 Plus

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

Data structures

Profitability

Industry

All roads lead to Rome: Commuting strategies for product-line reliability analysis

Castro, T., Lanna, A., Alves, V., Teixeira, L., Apel, S. & Schobbens, P. Y., 15 janv. 2018, Dans : Science of Computer Programming. 152, p. 116-160 45 p.

Résultats de recherche: Contribution à un journal/une revue › Article

Reliability analysis

Acoustic waves