Conception, spécification formelle et réalisation d'un service d'appel de procédure a distance dans un réseau hétérogène

Conception et réalisation d'un logiciel d'aide a la conception d'architectures de processeurs.

Compilation de bases de connaissances dans un environnement objets / acteurs

Une machine virtuelle Estelle pour l’expérimentation d'algorithmes distribués

Modélisation du réseau routier en vue de la constitution d'une base de données routières

Elaboration d'un modèle conceptuel et son protypage sur le système d'information géographique mapInfo