Our partners

CNRS

Search





Home page > English > Departments > Reliability of Systems and Software > ACADIE Team > Research Domain (Permanent members and PhDs)

Research Domain (Permanent members and PhDs)

Permanent Members

 

PhDs and PostDocs

Thesis in progress

R.Bedin FrançaOptimisation de modèle et de code généré dans un contexte certifié2012
 M. Pantel 
B. BoisvertExtensions d’un système de réécriture de graphes attribués2012
 L. Féraud, S. Soloviev 
A. BoudjaddarChaîne de verification certifiée2012
 J.-P. Bodeveix, M. Filali 
A. DieumegardVérification et validation de transformations de modèles dans un cadre certifié2013
 X. Crégut, M. Pantel 
S. DjeddaiVérification de transformations de modèles pour des systèmes embarqués2012
 R. Matthes, M. Strecker 
E. FaresGénération d’observateurs temps réel2012
 J.-P. Bodeveix, M. Filali 
N. Gevérification pour un langage dédié à partir des familles de propriétés2013
 X. Crégut, M. Pantel 
M. GiorginoMéthodes génératives pour assurer la correction de structures de pointeurs2011
 R. Matthes, M. Strecker 
H. HerbegueLangages d’architecture et calcul de WCET2012
 H. Cassé, M. Filali, P. Sainrat 
I. IvanovVérification de transformations de graphes2013
 L. Féraud, M. Nikitchenko, M. Strecker 
N. IzerroukenVérification et validation formelle d’unfin 2009
 générateur de code embarqué temps réel. 
 M. Gandriau, M. Pantel, X. Thirioux 
M. KezadriPrise en compte de la validation, vérification, certification et qualification2012
 dans la spécification et l’assemblage de composants 
 X. Crégut, M. Pantel 
C. PicardDéveloppement d’un noyau sûr de transformation de modèles2011
 R. Matthes 
A. ToomApplication de méthodes formelles pour2012
 les générateurs de code qualifiés 
 M. Pantel, T. Uustalu 
F. ZalilaApproche par métamodélisation pour la vérification et la validation des systèmes2013
 X. Crégut, M. Pantel 

 

Thesis completed

A. El KhouryEtude de la commutativite des diagrammes catégoriques2010
 et calcul formel. 
 S. Soloviev, M. Spivakovski 
L. PiLangage de description d’architecture:2010
 sémantique et analyse comportementale. 
 J.-P. Bodeveix, M. Filali, P. Michel 
T. Le BerreSpécification formelle de systèmes temps réel répartis par2010
 une approche flots de données à contraintes temporelles 
 G. Padiou, P. Queinnec 
L. Marie-MagdeleineSous-typage coercitif en presence de reductions non-standards2010
 dans un système aux types dépendants. 
S. Soloviev 
N. PontissoAssociation cohérente de données dans2009
 les systèmes temps réel à base de composants 
 Application aux logiciels spatiaux. 
G. Padiou, P. Quéinnec 
F. BarralDecidability of non-standard reductions in typed lambda-calculus.2008
 S. Soloviev 
R. BouazizContributions aux Tests des Systemes Temps Réel Embarqués.2008
 J.-P. Bodeveix, O. Koné 
B. CombemaleSé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. GarocheAnalyse Statique d’applications embarquées réparties.2008
 M. Pantel, X. Thirioux 
M. ReboutRécriture de graphes2008
 L. Féraud, S. Soloviev 
J.-F. RollandSémantique formelle des mécanismes architecturaux.2008
 Application à AADL. 
 J.-P. Bodeveix, M. Filali 
J. BrunelCombinaison des logiques temporelles et déontiques pour la2007
 spécification de politiques de sécurité. 
 J.-P. Bodeveix, M. Filali 
O. NasrSpécification et Vérification des ordonnanceurs temps réel en B.2007
 J.-P. Bodeveix, M. Filali 
M. RachedSpécification et vérification des systèmes temps réel réactifs en B.2007
 J.-P. Bodeveix, M. Filali 
C. Cubat dit CrosAgents Mobiles Coopérants pour les Environnements Dynamiques2005
 P. Mauran, G. Padiou, P. Quéinnec 
L. MéhatsThéorie de la preuve des catégories monoïdales symétriques fermées :2005
 cohérence et équivalences de dérivations 
 S. Soloviev