Simon Stuker: Définition et exploration des propriétés formelles des logiciels auto-organisateurs à fonctionnalité émergente. (Definition and exploration of formal properties of auto-organising software with emerging functionnalities). Paul Sabatier University, Toulouse, France 2014