Pierre-Yves SCHOBBENS

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

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