Projets par année
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 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
Réseau
Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.
Projets 1989 2021
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
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frenay, B. & Schobbens, P.
1/01/18 → 31/12/21
Projet: Recherche
EUTYPES: The European research network on types for programming and verification
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
Résultat de recherche 1986 2018
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
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
Feature-family-based reliability analysis of software product lines
Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 1 févr. 2018, Dans : Information and Software Technology. 94, p. 59-81 23 p.Résultats de recherche: Contribution à un journal/une revue › Article
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
Model-based mutant equivalence detection using automata language equivalence and simulations
Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 juil. 2018, Dans : Journal of Systems and Software. 141, p. 1-15 15 p.Résultats de recherche: Contribution à un journal/une revue › Article
Prix
Most Influential Paper Award
Pierre-Yves 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
Activités 1997 2018
PReCISE Research on Variability-intensive Systems
Gilles Perrouin (Orateur), Pierre-Yves Schobbens (Orateur)Activité: Types de discours ou de présentation › Discours invité
PReCISE Research on Variability-intensive Systems
Gilles Perrouin (Orateur), Pierre-Yves Schobbens (Orateur)Activité: Types de discours ou de présentation › Discours invité
Feature-based Modelling and Automations
Patrick Heymans (Orateur), Pierre-Yves Schobbens (Orateur), Gilles Perrouin (Orateur)Activité: Types de discours ou de présentation › Présentation orale
International Colloquium on Theoretical Aspects of Computing (Evénement)
Pierre Schobbens (Membre du Comité de Rédaction)Activité: Types de Publication de l'évaluation d'un pair et d'un travail éditorial › Activité éditoriale
Organisation de BNAIC 2006 (Conference d'Intelligence artificielle du BENELUX)
Pierre Schobbens (Organisateur)Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Thèse
About adding utility and usability to FDNet: a flat distributed network architecture
Auteur: Achbany, Y. & Jadoulle, J., 2004Superviseur: Schobbens, P. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Administrative management of clinical studies in hospitals
Auteur: Benats, P., 4 sept. 2014Superviseur: Schobbens, P. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Agent de détection et de notification d'erreurs EDNA : annexe F: code source complet
Auteur: Van Hout, A. & Delmarche, E., 2003Superviseur: Schobbens, P. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Alignement business-IT: le cas de l’ERP Odoo
Auteur: Patz, M., 28 août 2017Superviseur: Schobbens, P. (Président), Petit, M. (Promoteur) & Vanderose, B. (Copromoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
All I Know
Auteur: van Ditmarsch, H., 2010Superviseur: Schobbens, P. (Jury)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Presse/Médias
10th international IFIP workshop on semantic web and web semantics (SWWS 2014)
14/06/14
1 élément de couverture média
Presse/Médias: Commentaire d'expert