Pierre-Yves Schobbens

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)

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

9 Actif
56 Terminé

CoTu: Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES

Schobbens, P., Amrani, M. & Ortiz Vega, J. J.

1/08/19 → 31/07/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/21

Projet: Recherche

THCS: Testing Highly-configurable Systems

Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.

1/01/18 → 31/12/19

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

Résultat de recherche 1986 2019

2497 Citations
23 h-Index
101 Article dans les actes d'une conférence/un colloque
42 Article
19 Autre contribution
10 Chapitre
20 Plus

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)

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

Reliability analysis

Model checking

Experiments

Explosions

Data structures

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

Data structures

Profitability

Industry