[1] IR-2012-09-13-DI-FBOConformance testing of component-based systems , Technical report, # 2012-09-13-DI-FBO, Supélec - Computer Science Department(URL), (BibTeX)
[2] IR-2012-09-03-DI-FBOModeling Time for the Execution of Heterogeneous Models , Technical report, # 2013-09-03-DI-FBO, Supélec E3S - Computer Science Department(URL), (BibTeX)
[3] IR-2010-05-28-DI-FBOExtended version of ICTAC article ``Testing of Abstract Components'' , Technical report, # 2010-05-28-DI-FBO, Supélec - Computer Science Department(URL), (BibTeX)
[4] IR-2009-09-25-DI-FBFormalisation de ModHel'X , Rapport interne, # 2009-09-25-DI-FB, Supélec - Départment Informatique(URL), (BibTeX)
[5] IR-2005-06-28-DI-FBÉtude des méthodes de classification par compression , Rapport de stage, # 2005-06-28-DI-FB, Supélec - Départment Informatique(URL), (BibTeX)