Publications
Livres et ouvrages collectifs (2011)
Hasan O et Tahar S (2011). « Formal Analysis of Real-Time Systems », dans M. Khalgui, H.M. Hanisch, Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, Allemagne, IGI Global Pub., p. 342-375
Gosselin B et Sawan M (2011). « Embedded Medical Microsystems », Design Technology for Heterogeneous Embedded Systems I.O'Connor, G. Nicolescu and C. Piguet, Springer
Kessentini M, Sahraoui H, Boukadoum M et Wimmer M (2011). « Search-based Design Defects Detection by Example », dans Giannakopoulou and Orejas Eds, proc. FASE 2011, in Fundamental Approaches to Software Engineering, LNCS 6603, New York, Saarbrüchen (Germa