Olfat El-Mahi

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

Collaborative distances:

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

2013

Embedded system verification through constraint-based scheduling.

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

Proceedings of the 24th IEEE International Symposium on Rapid System Prototyping, 2013

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