Outils personnels
FUNDP > Institution > Annuaire du personnel
 
Membre du personnel

Pierre-Yves SCHOBBENS

Jurys (17)

Thèses

2008
Application des Machines à Etats Finis en Synthèse de la Parole. Sélection d'unités non uniformes et Correction orthographique
Richard BEAUFORT
2007
Architecting software systems using model transformations and architectural frameworks
Gilles PERROUIN
2007
Sémantique des systèmes de contrôle d'accès: Définition d'un cadre sémantique pour la spécification, l'implantation et la comparaison de modèles de contrôle d'accès
Charles MORISSET, Mathieu JAUME
2005
Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques
Fabrice BARBIER, Marc AIGUIER
2005
dSL, a Language and Environment for the Design of Distributed Industrial Controllers
Bram DE WACHTER
2004
An architectural framework for describing BDI Multi-Agent Information systems
Stephane FAULKNER
2004
On the design of some operations to combine domains for abstract interpretation
Christophe LECLÈRE
2004
Le dilemme du déterminisme technologique et du constructivisme social: ses enjeux pour l'informatique: Technologie et cycles longs dans la théorie économique (thèse annexe)
Gérard VALENDUC
2004
Un Cadre Formel pour la Modélisation Hétérogène et la Vérification Compositionnelle des Systèmes Avioniques Modulaires Intégrés
Remi DELMAS
2003
Computing Minimal Changes of Models of Systems
Nikos GOROGIANNIS
2002
Un traitement algébrique de l'interactions de services (?)
Christophe GASTON, Marc AIGUIER
2000
a logic for KARO agents (?)
Bernd VAN LINDER

Mémoires

2011
Modèles, systèmes, hétérogénéite: HDR
Frédéric BOULANGER
2010
Automates et logique pour la vérification de systèmes temps réel et multi-agents: HDR
Catalin DIMA
2010
All I Know
Hans VAN DITMARSCH
2008
Visually effective Tropos models
Quentin BOUCHER
2000
Un parcours de la programmation à la preuve: HDR
Catherine DUBOIS