Embedded system verification through constraint-based scheduling. - Olfat El-Mahi; Gabriela Nicolescu; Gilles Pesant; Giovanni Beltrame (HLDVT, 2012)

Optimizing Threads Schedule Alignments to Expose the Interference Bug Pattern. - Neelesh Bhattacharya; Olfat El-Mahi; Etienne Duclos; Giovanni Beltrame; Giuliano Antoniol; Sébastien Le Digabel; Yann-Gaël Guéhéneuc (SSBSE, 2012)