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

Pierre-Yves SCHOBBENS

Mémoires et thèses supervisés (39)

Thèses

2008
Essays in information management : contributions to the modeling and analysis of quality in information systems engineering
Ivan JURETA
2008
Quality of feature diagram languages: formal evaluation and comparison
Jean-Christophe TRIGAUX
2005
Relating inter-agent and intra-agent specifications : the case of life sequence chart
Yves BONTEMPS
2001
Animating Albert II Specifications
Patrick HEYMANS
1999
Logics, Automata and Classical Theories for Deciding Real Time
Jean-Francois RASKIN

Mémoires

2010
Modelling future evolution in a security oriented context
Loïc MARCHAL
2010
Argumentation for security: a comparative study
Stéfanie FRANÇOIS
2009
Implementation of access control using aspect-oriented programming
Lionel MONTRIEUX
2009
Apprentissage automatique: application en ingénierie des protéines
Jean-Claude MONNEAUX
2009
Comparaison & amélioration de l'efficacité cognitive des notations visuelles dans l'ingénierie de lignes de produits logiciels
Daniel FÉDUNIAK
2009
Recherche heuristique encapsulée
Karim AMEZOUJ
2008
Visualisation in software product line engineering
Julien ERNOUD, Kevin ALLARD
2007
Problem-oriented modelling and verification of software product lines
Andreas CLASSEN
2007
On the Use of Semantic Web Agents in Video Analysis Sharing
Arnaud HUBAUX
2006
Robots in health care: an AIBO controller for elderly entertainment
Theodhora CAPEQI
2006
Formalisation des politiques de contrôle d'accès
Hubert TOUSSAINT
2006
Application à la méthode B d'éléments de logique temporelle ATL
Antoine SAFIN
2005
Electronic surveillance using Aibo for rescue teams
Fabian GILSON, Mathieu STRUYVEN
2005
Conception d'un outil d'aide à l'analyse par la méthode des Problem frames de Jackson
Michel GONZE, Federico MARTINEZ
2005
Improvement of FDNet human interface
Fabien DELANGE, Paul-Emile PURNELLE
2005
Electronic Surveillance for Rescue Team using Aibo
Fabian GILSON, Mathieu STRUYVEN
2004
Implementation of belief revision on Sony Aibo
Yves VANDER SCHELDEN
2004
About adding utility and usability to FDNet: a flat distributed network architecture
Youssef ACHBANY, Jérôme JADOULLE
2004
FDNet: enhancing human interface with dynamic capabilities
Nicolas LAMBOT
2003
Agent de détection et de notification d'erreurs EDNA : annexe F: code source complet
Alain VAN HOUT, Emmanuel DELMARCHE
2003
Realizability of Scenario-Based Specifications
Yves BONTEMPS
2003
A rectification-based approach to panoramic generation and depth estimation in computer vision
Julien STOUFFS, Yannick WILLAME
2002
Simulation multiagent de situations d'urgence dans le cadre de la RoboCupRescue
Emmanuel KOCH
2002
Méthodes et outils de conception orientés-agent
Jean-Christophe TRIGAUX, François VERMAUT
2002
Automata oriented program verification
Bertrand GRÉGOIRE
2002
Prédiction de séries temporelles à l'aide de cartes auto-organisées: application à la prédiction des courbes tarifaires de gaz
Geoffroy SIMON
2002
Developing agents in the RoboCupRescue
Emmeline LECONTE, Hugues VAN PETEGHEM
2001
Automated verification of state-based specifications against scenarios: a step towards relating inter-object to intra-object specifications
Yves BONTEMPS
2000
An experiment in agent development using non-monotonic reasoning
Thomas LIGNY, Benoît MARLIER
2000
Intelligent agents using belief revision
Arnaud DE COSTER
1999
Conception des cahiers des charges pour des systèmes distribués temps réel
Adolphe NAHIMANA
1998
Résolution d'un paradoxe en logique de croyance et de connaissance
Laurent SIMON
1998
Specifying the Corba replication service in Trio+
Christophe DEBACKER, Francesco PIZZOLANTE
1997
L'intégration de features pour SMV: un pas vers la programmation orientée feature
Christophe EVRARD