Olfat El-Mahi

According to our database, Olfat El-Mahi authored at least 2 papers in 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Embedded system verification through constraint-based scheduling.

Olfat El-Mahi, Gabriela Nicolescu, Gilles Pesant, Giovanni Beltrame

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012