Pierre-Yves SCHOBBENS

• présentation
• cours
• projets
• activités
• publications (110)
• jurys (17)
• mémoires et thèses supervisés (39)
• fiche complète

Professeur ordinaire

Téléphone: 081/724990, 081/724990
Fax: 081/724967
Mail:

Charges aux FUNDP

• Model-driven engineering (Académique)
• Requirements engineering and business/IT alignment (Académique)
• Evolution (Académique)
• Pôle sémantique, logique et calcul (Directeur)
• PReCISE Research Center (Professor)
• Groupe de recherche en informatique fondamentale (Académique)
• Conseil de la faculté d'informatique (Membre de droit)
• Unité langages et programmation (Professeur ordinaire)
• Faculté d'informatique (Professeur ordinaire)

Diplômes

B. Philosophie, UCL, 1982

Ir. Math. App. or. Economie, UCL, 1983

Ir. Informatique, UCL, 1984

Dr. Informatique, UCL, 1992

Domaines de compétences

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,

Réécriture et surrréduction.

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) 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.

Cours (titulaire)

• Méthodes de programmation (2e partie) (IHDC-B331)
• Théorie des langages : Syntaxe et sémantique (IHDC-B332)
• Programmation (INFO-B233)
• Théorie des langages : syntaxe et sémantique (INFO-B314)
• Techniques d'intelligence artificielle : matières approfondies (INFO-M444)
• Questions spéciales d'informatique fondamentale (INFO-M445)
• Vérification de modèles (INFO-M471)

Projets en cours

• Vérification de Lignes de Produits Logiciels (VLPL) (2011-2013)
  Andreas CLASSEN, Maxime CORDY, Patrick HEYMANS, Eun-Young KANG, Axel LEGAY, Pierre-Yves SCHOBBENS
• Théorie et Pratique des Automates (TPA) (depuis 2011)
  Maxime CORDY, Eun-Young KANG, James ORTIZ VEGA, Pierre-Yves SCHOBBENS
• Théorie et pratique des automates et des logiques (2011-2014)
  Pierre-Yves SCHOBBENS
• Système d'information intégré pour la traçabilité et la gestion multi-paramètres des infections orthopédiques. (ORTHOGEN) (2010-2013)
  James ORTIZ VEGA, Pierre-Yves SCHOBBENS
• Réseau de recherche sur l'adaptabilité du logiciel (Re2adapt) (2008-2012)
  Quentin BOUCHER, Andreas CLASSEN, Patrick HEYMANS, Arnaud HUBAUX, Pierre-Yves SCHOBBENS

Anciens projets

• Informatique orientée agents (AgentLink) (1998-2003)
  Koenraad BERTELS, Laurent FERIER, Michaël PETIT, Pierre-Yves SCHOBBENS
• Extension de méthodes formelles en ingénierie des besoins pour la gestion de risques (BAAR) (1999-2003)
  François CLÉMENT, Pierre-Yves SCHOBBENS
• Assister l'ingénieur des exigences dans ses activités de raisonnement face à une spécification (JMZ) (2001)
  Bernard JUNGEN, Jean-Marc ZEIPPEN
• Réseau d'excellence en logique computationnelle (COMPULOG) (1996-1999)
  Jean-Marie JACQUET, Baudouin LE CHARLIER, Pierre-Yves SCHOBBENS
• Une approche algébrique globale pour la spécification et le développement de systèmes informatiques (COMPASS) (1989-1996)
  Pierre-Yves SCHOBBENS
• Interprétation abstraite pour les langages de programmation déclaratifs (ABILE) (1995-1998)
  Baudouin LE CHARLIER, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
• Animation de spécifications formelles des exigences (PHE) (2001)
  Patrick HEYMANS
• Un modèle formel commun des agents coopératifs intelligents (ModelAge) (1993-1997)
  Philippe DU BOIS, Eric DUBOIS, Michaël PETIT, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
• Méthodologie pour le développement de spécifications de systèmes informatiques (MeDiCiS) (1993-1995)
  Eric DUBOIS, Michaël PETIT, Pierre-Yves SCHOBBENS, Jean-Marc ZEIPPEN
• Construction incrémentale et réutilisation de spécifications d'exigences (Icarus) (1989-1994)
  Suleyman CELIKTIN, Philippe DU BOIS, Eric DUBOIS, Pierre-Yves SCHOBBENS, Axel VAN LAMSWEERDE
• 2 applications réelles pour l'ingénierie des exigences (2RARE) (1995-1996)
  Eric DUBOIS, Patrick HEYMANS, Pierre-Yves SCHOBBENS
• Le langage Albert II: de la conception et de l'utilisation d'un langage formel de spécification pour l'analyse des besoins (PDU) (1995)
  Philippe DU BOIS, Pierre-Yves SCHOBBENS
• Logiques, automates et théories classiques de décision du temps réel (JFR) (1999)
  Jean-Francois RASKIN
• Parcours d'expression/interprétation (LCL) (2002)
  Luc CLAES
• Outils de Conception et d'Analyse de cahiers de charges pour des systèmes informatiques de Télécommunication (CAT) (1995-2001)
  Francois CHABOT, Luc CLAES, Philippe DU BOIS, Eric DUBOIS, Gisele GEYORO-YAKULANGU, Patrick HEYMANS, Bernard JUNGEN, Michaël PETIT, Pierre-Yves SCHOBBENS, Jean-Marc ZEIPPEN
• Intégration de service: ingénierie des exigences (Fireworks) (1997-2000)
  Jean-Francois RASKIN, Pierre-Yves SCHOBBENS, Jean-Marc ZEIPPEN
• Modélisation d'activités et technologie orientée objet pour la construction de systèmes d'information coopératifs (S&T) (1996-1999)
  Eric DUBOIS, Michaël PETIT, Pierre-Yves SCHOBBENS
• Modélisation avancée et spécification de systèmes d'information distribués (ASPIRE) (1997-2000)
  Eric DUBOIS, Pierre-Yves SCHOBBENS
• Réseau de recherche international en ingénierie des exigences (RENOIR) (1997-2000)
  Patrick HEYMANS, Michaël PETIT, Pierre-Yves SCHOBBENS
• Ingénierie des exigences coopérative à l'aide de scénarios (CREWS) (1996-1999)
  Luc CLAES, Eric DUBOIS, Patrick HEYMANS, Pierre-Yves SCHOBBENS
• ARchitecture de Télécommunication Hospitalière pour les services d'URgence (ARTHUR) (2000-2003)
  Olivier BONAVENTURE, Laetitia DEPLANQUE, Guy DEVILLE, Véronique DUMONT, Jean HERVEG, Claire LOBET-MARIS, Michaël PETIT, Yves POULLET, Pierre REINBOLD, Anne ROUSSEAU, Pierre-Yves SCHOBBENS, Marie-Noelle VERHAEGEN
• Systèmes MObiles et DIstribués à interface VOCale (MODIVOC) (2002-2004)
  Vincent ENGLEBERT, Naji HABRA, Frumence MAYALA LUSILABO MFUMU A'NSI, Pierre-Yves SCHOBBENS
• Système Intégré d'Information et de Communication pour le Contrôle Aérien (SIICA) (2001-2003)
  Pierre-Yves SCHOBBENS
• Système intégré de gestion de documents pour les organisations scientifiques (DISSCO) (2001-2002)
  Anne DE VOS, Patrick HEYMANS, Claire LOBET-MARIS, Michaël PETIT, Pierre-Yves SCHOBBENS
• Centre Fédéré en Vérification de Logiciel (CFV) (depuis 1999)
  
• Cadastre des professions de la santé (CadProfSant) (2004-2005)
  Véronique DUMONT, Vincent LETOCART, Jean-Roch MEURISSE, Germain SAVAL, Pierre-Yves SCHOBBENS
• Réseau d'Excellence en Interopérabilité de Systèmes d'Information pour Entreprises en Réseaux (InterOP) (Interop) (2003-2007)
  Gautier DALLONS, Patrick HEYMANS, Michaël PETIT, Isabelle POLLET, Pierre-Yves SCHOBBENS, Francois VERMAUT
• Réseau d'Excellence sur la conception de systèmes embarqués (Artist) (2004-2007)
  Yves BONTEMPS, Pierre-Yves SCHOBBENS
• Ontologies pour la similarité. Application à la Radiologie (Thesis-C-Peeters) (2009)
  Cédric PEETERS
• Integration of Research in Information Systems (IRIS) (2007-2011)
  Vincent ENGLEBERT, Naji HABRA, Jean-Luc HAINAUT, Patrick HEYMANS, Michaël PETIT, Pierre-Yves SCHOBBENS
• Modèle et vérification formels des politiques de contrôle d'accès (Th-HTO) (2011)
  Luc CLAES, Hubert TOUSSAINT
• Relation entre spécification inter-agent et intra-agent (YBO) (2005)
  Yves BONTEMPS
• Modèles Logiques de l'Interaction Intelligente (LogiCCC) (2007-2011)
  Pierre-Yves SCHOBBENS
• Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications (MoVES) (2007-2011)
  Salah BAINA, Yves BONTEMPS, Anne-France BROGNEAUX, Andreas CLASSEN, Gaetan DELANNAY, Virginie DETIENNE, Vincent ENGLEBERT, Stephane FAULKNER, Nicolas GENON, Naji HABRA, Jean-Luc HAINAUT, Arnaud HUBAUX, Ivan JURETA, Raimundas MATULEVICIUS, Nicolas MAYER, Laura OGER, Michaël PETIT, Ravi RAMDOYAL, Stéphane SANDRON, Germain SAVAL, Hubert TOUSSAINT, Jean-Christophe TRIGAUX, Benoît VANDEROSE, Jean-Marc ZEIPPEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Anthony CLEVE
• Ingénierie de lignes de produits pour logiciels de traçabilité alimentaire (PLENTY) (PLENTY) (2003-2007)
  Patrick HEYMANS, Pierre-Yves SCHOBBENS, Jean-Christophe TRIGAUX
• Séparation des préoccupations dans les modèles de variabilité (Thesis-A-Hubaux) (2011)
  Arnaud HUBAUX
• Visualisation Intégrée de Grandes Images médicales et création des Liens de façon Extensible (Vigile) (2007-2010)
  Houari MADANI, Cédric PEETERS, Pierre-Yves SCHOBBENS
• Propriétés quantitatives pour la conception orientée modèle de systèmes embarqués (Quasimodo) (2008-2010)
  Pierre-Yves SCHOBBENS
• Ingénierie de services orientée agents (PUR-PostDoc) (2003-2004)
  Pierre-Yves SCHOBBENS, Pascal URSO
• Evaluation et Formalisation de Langages de Modélisation de "Features" (Thèse-JC-Trigaux) (2007)
  Jean-Christophe TRIGAUX
• Modélisation et vérification de lignes de produits logiciel (Thèse-A-Classen) (2011)
  Andreas CLASSEN
• Langage Unifié de Modélisation d'Entreprise (UEML) (2002-2003)
  Michaël PETIT, Pierre-Yves SCHOBBENS
• Analyse et Synthèse de Systèmes d'Information Interactifs grâce à la Théorie des Jeux (Théorie de la Décision) (GASICS) (2008-2011)
  Axel LEGAY, Pierre-Yves SCHOBBENS
• Vérification de logiciel récursif, évolutif, et temps-réel (VEREV) (2011-2012)
  Eun-Young KANG, Pierre-Yves SCHOBBENS

Activités organisées

Conférence : Organisation de BNAIC 2006 (Conférence d'Intelligence artificielle du BENELUX) (FUNDP, Namur, 2009)

Colloque : Président du Comité de Programme de "Modèles Formels pour l'Interaction" (Lannion, France, 2009)

Séjour à l'étranger : Professeur invité (Univ. P. Sabatier, Toulouse, 2008)

Conférence : Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07) (FUNDP, 2007)

Conférence : Theoretical Aspects of Rationality and Knowledge (TARK XI) (St-Louis, Brussels, 2007)

Conférence : Belgian/Netherlands Conference on Artificial Intelligence 2006 (BNAIC06) (FUNDP, 2006)

Réunion : Réunion du groupe de travail IFIP 1.3 "Fondations de la Spécification" (La Roche en Ardenne, 2006)

Conférence : Workshop on Algebraic Development Techniques (WADT06) (La Roche en Ardenne, 2006)

Conférence : CoOrg: Coordination and Organizations (Namur, 2005)

organisational concepts and methods for coordination, role based coordination, contract based coordination, coordination in normative multiagent systems, service oriented coordination, coordination techniques for organisations, normative systems, markets, authority and power, trust, interorganisational coordination, control of autonomy in coordination, integration of organizations, applications of coordination and organisation, multiagent social simulation models, organization based software engineering, organization oriented programming, organizational patterns

Séjour à l'étranger : Professeur invité (IRCCyN, Ecole Centrale de Nantes, France, 2004)

Séjour à l'étranger : Professeur invité (Univ. of Birmingham, England , 2001)

Séjour à l'étranger : Professeur invité (Univ. of Birmingham, England, 1999)

Séjour à l'étranger : Professeur invité (LSV, ENS, Cachan, Paris, France, 1999)

Séjour à l'étranger : Chercheur invité par la Fundação para a Ciência e a Tecnologia (FCT) (Instituto Superior Tecnico, Lisboa, Portugal, 1997)

Séjour à l'étranger : Chercheur invité par le DAAD (Uni Passau, Bayern, Germany, 1997)

Activités avec contribution

Conférence : Fourth BElgian-NEtherlands workshop software eVOLution (BENEVOL'05) (Bruxelles, ULB, 2005)

Activités avec simple participation

Séjour à l'étranger : Professeur invité (Univ. J. Fourier, Grenoble, 2009)

Publications (110)

Articles de périodique

Contributions à des ouvrages collectifs

Actes de colloques

Livres

Comptes rendus scientifiques

Thèses

Mémoires

Syllabus

Rapports de recherche

Mémoires et thèses supervisés (39)

Thèses

Mémoires