Partenaires
Rechercher
Navigation
Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe ACADIE > Domaines de recherche (permanents et doctorants)
Domaines de recherche (permanents et doctorants)
Permanents
Doctorants et post-doctorants
Thèses en cours | ||
| R.Bedin França | Optimisation de modèle et de code généré dans un contexte certifié | 2012 |
| M. Pantel | ||
| B. Boisvert | Extensions d’un système de réécriture de graphes attribués | 2012 |
| L. Féraud, S. Soloviev | ||
| A. Boudjaddar | Chaîne de verification certifiée | 2012 |
| J.-P. Bodeveix, M. Filali | ||
| A. Dieumegard | Vérification et validation de transformations de modèles dans un cadre certifié | 2013 |
| X. Crégut, M. Pantel | ||
| S. Djeddai | Vérification de transformations de modèles pour des systèmes embarqués | 2012 |
| R. Matthes, M. Strecker | ||
| E. Fares | Génération d’observateurs temps réel | 2012 |
| J.-P. Bodeveix, M. Filali | ||
| N. Ge | vérification pour un langage dédié à partir des familles de propriétés | 2013 |
| X. Crégut, M. Pantel | ||
| M. Giorgino | Méthodes génératives pour assurer la correction de structures de pointeurs | 2011 |
| R. Matthes, M. Strecker | ||
| H. Herbegue | Langages d’architecture et calcul de WCET | 2012 |
| H. Cassé, M. Filali, P. Sainrat | ||
| I. Ivanov | Vérification de transformations de graphes | 2013 |
| L. Féraud, M. Nikitchenko, M. Strecker | ||
| N. Izerrouken | Vérification et validation formelle d’un | fin 2009 |
| générateur de code embarqué temps réel. | ||
| M. Gandriau, M. Pantel, X. Thirioux | ||
| M. Kezadri | Prise en compte de la validation, vérification, certification et qualification | 2012 |
| dans la spécification et l’assemblage de composants | ||
| X. Crégut, M. Pantel | ||
| C. Picard | Développement d’un noyau sûr de transformation de modèles | 2011 |
| R. Matthes | ||
| A. Toom | Application de méthodes formelles pour | 2012 |
| les générateurs de code qualifiés | ||
| M. Pantel, T. Uustalu | ||
| F. Zalila | Approche par métamodélisation pour la vérification et la validation des systèmes | 2013 |
| X. Crégut, M. Pantel | ||
Théses soutenues | ||
| A. El Khoury | Etude de la commutativite des diagrammes catégoriques | 2010 |
| et calcul formel. | ||
| S. Soloviev, M. Spivakovski | ||
| L. Pi | Langage de description d’architecture : | 2010 |
| sémantique et analyse comportementale. | ||
| J.-P. Bodeveix, M. Filali, P. Michel | ||
| T. Le Berre | Spécification formelle de systèmes temps réel répartis par | 2010 |
| une approche flots de données à contraintes temporelles | ||
| G. Padiou, P. Queinnec | ||
| L. Marie-Magdeleine | Sous-typage coercitif en presence de reductions non-standards | 2010 |
| dans un système aux types dépendants. | ||
| S. Soloviev | ||
| N. Pontisso | Association cohérente de données dans | 2009 |
| les systèmes temps réel à base de composants | ||
| Application aux logiciels spatiaux. | ||
| G. Padiou, P. Quéinnec | ||
| F. Barral | Decidability of non-standard reductions in typed lambda-calculus. | 2008 |
| S. Soloviev | ||
| R. Bouaziz | Contributions aux Tests des Systemes Temps Réel Embarqués. | 2008 |
| J.-P. Bodeveix, O. Koné | ||
| B. Combemale | Sémantique d’exécution et Ingénierie Dirigée par les Modèles : | 2008 |
| application à l’Ingénierie des Procédés | ||
| X. Crégut, M. Pantel, X. Thirioux | ||
| P.-L. Garoche | Analyse Statique d’applications embarquées réparties. | 2008 |
| M. Pantel, X. Thirioux | ||
| M. Rebout | Récriture de graphes | 2008 |
| L. Féraud, S. Soloviev | ||
| J.-F. Rolland | Sémantique formelle des mécanismes architecturaux. | 2008 |
| Application à AADL. | ||
| J.-P. Bodeveix, M. Filali | ||
| J. Brunel | Combinaison des logiques temporelles et déontiques pour la | 2007 |
| spécification de politiques de sécurité. | ||
| J.-P. Bodeveix, M. Filali | ||
| O. Nasr | Spécification et Vérification des ordonnanceurs temps réel en B. | 2007 |
| J.-P. Bodeveix, M. Filali | ||
| M. Rached | Spécification et vérification des systèmes temps réel réactifs en B. | 2007 |
| J.-P. Bodeveix, M. Filali | ||
| C. Cubat dit Cros | Agents Mobiles Coopérants pour les Environnements Dynamiques | 2005 |
| P. Mauran, G. Padiou, P. Quéinnec | ||
| L. Méhats | Théorie de la preuve des catégories monoïdales symétriques fermées : | 2005 |
| cohérence et équivalences de dérivations | ||
| S. Soloviev | ||