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,
Logiques modales,
Logiciel orienté-agent,
Logique temporelle,
Méthodes formelles de développement de logiciels,
Interaction de services logiciels,
Intelligence artificielle,
Logiques non-monotones.

Charges externes

Membre fondateur de Ada-BelgiqueMembre du Conseil Scientifique de l'institut "Sciences et technologies de l'information et de l'ingénierie" du CNRS (France) http://www.cnrs.fr/st2i/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).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, The Scientific World Journal (TSWJ).

Prix/Distinctions

Best paper 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

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)

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.

  • 10 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
Real time systems Ingénierie et Science des Matériaux
Temporal Logic mathématiques
Clocks Ingénierie et Science des Matériaux
Requirements engineering Ingénierie et Science des Matériaux

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

Projets 1989 2021

Résultat de recherche 1986 2018

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/une revueArticle

Accès ouvert
!!File
Finite automata

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: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
!!File
Automata theory
Finite automata

Feature-family-based reliability analysis of software product lines

Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S. 2017 (Accepté/sous presse) Dans : Information and Software Technology.

Résultats de recherche: Contribution à un journal/une revueArticle

Reliability analysis
Model checking
Data structures

Formal analysis of object-oriented mograms

Amrani, M. & Schobbens, P. Y. 18 juin 2017 Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. ACM Press

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

Formal Analysis
Computer programming
Object-oriented
Semantics
Modeling Language

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M. 2017 9th NASA Formal Methods Symposium NFM 2017 . Springer

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collectionChapitre (revu par des pairs)

Accès ouvert
!!File
Real time systems
Clocks
Computability and decidability
Explosions

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 2014

  • 15 Participation à une conférence, un congrès
  • 1 Participation à un atelier/workshop, un séminaire, un cours
  • 1 Activité éditoriale
  • 1 Recherche/Enseignement dans une institution externe

International Colloquium on Theoretical Aspects of Computing (Evénement)

Schobbens, P. (Membre du Comité de Rédaction)
17 sept. 2014

Activité: Activité éditoriale

Organisation de BNAIC 2006 (Conference d'Intelligence artificielle du BENELUX)

Schobbens, P. (Organisateur)
13 juil. 2009

Activité: Participation à une conférence, un congrès

Université Joseph Fourier

Schobbens, P. (Chercheur Invité)
5 janv. 20095 mai 2009

Activité: Recherche/Enseignement dans une institution externe

President du Comite de Programme de "Modeles Formels pour l'Interaction"

Schobbens, P. (Organisateur)
30 janv. 200930 mai 2009

Activité: Participation à une conférence, un congrès

Professeur invité

Schobbens, P. (Organisateur)
30 sept. 200830 oct. 2008

Activité: 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., 2004

Superviseur: Schobbens, P. (Promoteur)

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

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 informatique

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 informatique

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 informatique

Fichier

All I Know

Auteur: van Ditmarsch, H., 2010

Superviseur: Schobbens, P. (Jury)

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

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