Monter d'un niveau |
Bhattacharya, N., El-Mahi, O., Duclos, E., Beltrame, G., Antoniol, G., Le Digabel, S., & Guéhéneuc, Y.-G. (septembre 2012). Optimizing threads schedule alignments to expose the interference bug pattern [Communication écrite]. 4th International Symposium on Search Based Software Engineering (SSBSE 2012), Riva del Garda, Italy. Lien externe
El-Mahi, O., Pesant, G., Nicolescu, G., & Beltrame, G. (octobre 2013). Embedded system verification through constraint-based scheduling [Communication écrite]. International Symposium on Rapid System Prototyping (RSP 2013), Montréal, Québec, Canada. Lien externe
El-Mahi, O., Nicolescu, G., Pesant, G., & Beltrame, G. (novembre 2012). Embedded system verification through constraint-based scheduling [Communication écrite]. IEEE International High Level Design Validation and Test Workshop (HLDVT 2012), Huntington Beach, CA, USA. Lien externe