Login / Signup
Olfat El-Mahi
Publication Activity (10 Years)
Years Active: 2012-2013
Publications (10 Years): 0
Top Topics
Scheduling Problem
Flow Control
Signature Verification
Flexible Manufacturing Systems
Top Venues
RSP
SSBSE
HLDVT
</>
Publications
</>
Olfat El-Mahi
,
Gilles Pesant
,
Gabriela Nicolescu
,
Giovanni Beltrame
Embedded system verification through constraint-based scheduling.
RSP
(2013)
Olfat El-Mahi
,
Gabriela Nicolescu
,
Gilles Pesant
,
Giovanni Beltrame
Embedded system verification through constraint-based scheduling.
HLDVT
(2012)
Neelesh Bhattacharya
,
Olfat El-Mahi
,
Etienne Duclos
,
Giovanni Beltrame
,
Giuliano Antoniol
,
Sébastien Le Digabel
,
Yann-Gaël Guéhéneuc
Optimizing Threads Schedule Alignments to Expose the Interference Bug Pattern.
SSBSE
(2012)