[1] IR-2012-09-13-DI-FBOBilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston, Conformance testing of component-based systemsTechnical report, # 2012-09-13-DI-FBO, Supélec - Computer Science Department(URL), (BibTeX)

[2] IR-2012-09-03-DI-FBOFrédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Iuliana Prodan, Modeling Time for the Execution of Heterogeneous ModelsTechnical report, # 2013-09-03-DI-FBO, Supélec E3S - Computer Science Department(URL), (BibTeX)

[3] IR-2010-05-28-DI-FBOBilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil, Extended 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-FBFrédéric Boulanger, Formalisation de ModHel'XRapport interne, # 2009-09-25-DI-FB, Supélec - Départment Informatique(URL), (BibTeX)

[5] IR-2005-06-28-DI-FBTudor Besarab IONESCU, Étude des méthodes de classification par compressionRapport de stage, # 2005-06-28-DI-FB, Supélec - Départment Informatique(URL), (BibTeX)