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.

8 Profils similaires

Model checking Ingénierie et Science des Matériaux

Semantics Ingénierie et Science des Matériaux

Temporal logic 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 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

wal-e-cities LIV: 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

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

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 › Article

Reliability analysis

Acoustic waves

Feature interaction in software product line engineering: A systematic mapping study

Soares, L. R., Schobbens, P. Y., do Carmo Machado, I. & de Almeida, E. S. 1 juin 2018 Dans : Information and Software Technology. 98, p. 44-58 15 p.

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

Surveying

Productivity

Specifications

Costs

Model-based mutant equivalence detection using automata language equivalence and simulations

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P. 2018 Dans : Journal of Systems and Software. 29 p.

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

Accès ouvert

!!File

Finite automata

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y. 23 mai 2018 (Accepté/sous presse) 9 p.

Résultats de recherche: Contribution à une conférence › Article

Accès ouvert

!!File

Taxonomies

Testing

Specifications

Costs

Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P. 13 mars 2017 Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. Tokyo, Japan: IEEE, 6 p. (ICST '17)

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Article dans les actes d'une conférence/un colloque

Accès ouvert

!!File

Automata theory

Finite automata