Abstract Application Modeling for System Design Space Exploration. - Waseem Muhammad 001; Ludovic Apvrille; Rabéa Ameur-Boulifa; Sophie Coudert; Renaud Pacalet (DSD, 2006)

A UML-based Environment for System Design Space Exploration. - Ludovic Apvrille; Waseem Muhammad 001; Rabéa Ameur-Boulifa; Sophie Coudert; Renaud Pacalet (ICECS, 2006)

Assistance à l'Abstraction de Composants Virtuels pour la Vérification Rapide de Systèmes Numériques. (Support about the Abstraction of Virtual Components for the Rapid Verification of Digital Systems). - Waseem Muhammad 001 (2008)