Membre du personnel
Pierre-Yves SCHOBBENS
- présentation
- cours
- projets
- activités
- publications (110)
- jurys (17)
- mémoires et thèses supervisés (39)
- fiche complète
Jurys (17)
Thèses
2008
2007
2007
2005
Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques
Fabrice BARBIER, Marc AIGUIER
Fabrice BARBIER, Marc AIGUIER
2005
2004
2004
2004
2004
2003
Computing Minimal Changes of Models of Systems
Nikos GOROGIANNIS
Nikos GOROGIANNIS
2002
Un traitement algébrique de l'interactions de services (?)
Christophe GASTON, Marc AIGUIER
Christophe GASTON, Marc AIGUIER
2000
a logic for KARO agents (?)
Bernd VAN LINDER
Bernd VAN LINDER
Mémoires
2011
Modèles, systèmes, hétérogénéite: HDR
Frédéric BOULANGER
Frédéric BOULANGER
2010
2010
All I Know
Hans VAN DITMARSCH
Hans VAN DITMARSCH
2008
Visually effective Tropos models
Quentin BOUCHER
Quentin BOUCHER
2000
Un parcours de la programmation à la preuve: HDR
Catherine DUBOIS
Catherine DUBOIS
