StudentProjects
2008-2009
Animation d'un robot 3D avec Blender, M. Medarhri, and W. Kuang, 2A
Implémentation d'un prouveur de théorèmes, M. Sanchez, and D Sindimwo, 2A
Réalisation d'un éditeur de diagrammes avec GtK/Cairo, A. Talea, and K. Brabande, 2A
Réalisation d’un outil UML2B, V. Schorr, A. Pflieger, 3A
Télécommande pour maquette 3D, Master Pro
2007-2008
Réalisation d’une transformation IDM en Haskell pour le model checking de modèle UML, Lang, C. el Koury, 3A
Réalisation d’un logiciel de reconstruction d’images 3D; Projet contractuel avec la société Tornier, W. Degrysse, Munasinghe, 2A
Métamodélisation fonctionnelle - Application à la commande d’un passage à niveau, Master Pro
2006-2007
Evaluation des outils Scade et Esterel Studio, A. Illig, L. Muller, 3A
Maquette 3D distribuée d’un passage à niveau, Lang, 2A
2005-2006
Composants de commande-contrôle avec CORBA3, P. Macias-Dutoux, Master Recherche
Evaluation des environnements OpenCCM-JacORB, R. Berrahmouni, P. Macias-Dutoux, 3A
Interpréteur de Spécifications (à la OBJ), A. Illig, L. Muller, 2A
2004-2005
DSL pour les logiciels concurrents validés, R. Dalmata, Master Recherche
Evaluation du MetaCASE DOME, H. Belmokhe, M. El Harrab, Master Pro
Framework de métamodélisation, T. Collonvillé, V. Unger, 3A
2003-2004
Synthèse de modèles exécutables pour la commande, O. Brunner, DEA
Commande synchrone d’une plate-forme robotique, H. Ghariani, F. Muller, DESS LSI
Evaluation du langage de script BeanShell, S. Heinrich, J.B. Burchi, 2A
2002-2003
Développement d’un logiciel pour la modélisation de couverture radio (Partenariat avec l’entreprise SWI), 3A
Paradigme synchrone en Java, M. Gerthoffer, J. Coeurdevey, 2A
2001-2002
Une Applet interactive pour la Commande Distante d’un Robot à pattes, C. Cetin, C. Takouma, 2A
2000-2001
Une Architecture pour la Synthèse de Comportements, B. Zoghbi, DEA
1999-2000
Simulation 3D des modes de marche d’un robot à pattes, L. Meyer, DEA
Développement d’un Environnement Objet Minimal, S. Wagner, O. Peyrache, 2A