|
|
- Info
Projets en cours
Autres
Projets
- Vérification de Lignes de Produits Logiciels (VLPL)
(2011-2013)
Andreas CLASSEN, Maxime CORDY, Patrick HEYMANS, Eun-Young KANG, Axel LEGAY, 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
Projets terminés
- Modèles Logiques de l'Interaction Intelligente (LogiCCC)
(2007-2011)
Pierre-Yves SCHOBBENS
- Modèle et vérification formels des politiques de contrôle d'accès (Th-HTO)
(2011)
Luc CLAES, Hubert TOUSSAINT
- Modélisation et vérification de lignes de produits logiciel (Thèse-A-Classen)
(2011)
Andreas CLASSEN
- Réseau d'Excellence sur la conception de systèmes embarqués (Artist)
(2004-2007)
Yves BONTEMPS, Pierre-Yves SCHOBBENS
- Informatique orientée agents (AgentLink)
(1998-2003)
Koenraad BERTELS, Laurent FERIER, Michaël PETIT, Pierre-Yves SCHOBBENS
- Réseau d'excellence en logique computationnelle (COMPULOG)
(1996-1999)
Jean-Marie JACQUET, Baudouin LE CHARLIER, Pierre-Yves SCHOBBENS
- Logiques, automates et théories classiques de décision du temps réel (JFR)
(1999)
Jean-Francois RASKIN
- Les approches HCLP et PCSP pour les systèmes surcontraints (HCLP)
(1995-1996)
Jean-Marie JACQUET, Michael JAMPEL
- Interprétation abstraite pour les langages de programmation déclaratifs (ABILE)
(1995-1998)
Baudouin LE CHARLIER, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
- Exécution symbolique efficace (ESC)
(1994-1999)
Jean-Marie JACQUET
- Evaluation et Formalisation de Langages de Modélisation de "Features" (Thèse-JC-Trigaux)
(2007)
Jean-Christophe TRIGAUX
- Modélisation avancée et spécification de systèmes d'information distribués (ASPIRE)
(1997-2000)
Eric DUBOIS, Pierre-Yves SCHOBBENS
- 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
- 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
- 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
- AppSem: application des sémantiques à la conception et à la construction de systèmes concurrents et d'environnements d'aide à la programmation
(1993-1995)
Jean-Marie JACQUET
- 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
- Une approche algébrique globale pour la spécification et le développement de systèmes informatiques (COMPASS)
(1989-1996)
Pierre-Yves SCHOBBENS
- 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
Autres
Projets
- Vérification de logiciel récursif, évolutif, et temps-réel (VEREV)
(2011-2012)
Eun-Young KANG, Pierre-Yves SCHOBBENS
- Application de modèles de coordination temporels à l'analyse d'images (Bach-image)
(2008-2009)
Jean-Marie JACQUET, Isabelle LINDEN, Mihail-Octavian STAICU
- 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
- Propriétés quantitatives pour la conception orientée modèle de systèmes embarqués (Quasimodo)
(2008-2010)
Pierre-Yves SCHOBBENS
- Système expert en planification successorale (SEPlanS)
(2007-2010)
Jean-Marie JACQUET, Isabelle LINDEN, Gustavo Adolfo OSPINA AGUDELO
- 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
- 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
- Application des Machines à Etats Finis en Synthèse de la Parole.
Sélection d'unités non uniformes et Correction orthographique
(2008)
Richard BEAUFORT
- Aide à l'ingénierie de surface multitraitement par système expert modulable (EXPERSURF)
(2004-2009)
Julie ANCIAUX, Francois BARTHELEMY, Isabelle LINDEN, Denis WATHELET, Jean-Marie JACQUET, Jean-Luc HAINAUT
- Aide à l'ingénierie de surface multitraitement par système expert modulable (EXPESURF)
(2004-2009)
Jean-Luc HAINAUT, Jean-Marie JACQUET
- Etude de langages de coordination : analyse d'expressivité, sémantique et méthodologique de programmation
(2007)
Isabelle LINDEN
|
]
]
]
]
