Task Graph Scheduling Using Timed Automata. - Yasmina Abdeddaïm; Abdelkarim Kerbaa; Oded Maler (IPDPS, 2003)

Scheduling Acyclic Branching Programs on Parallel Machines. - Marius Bozga; Abdelkarim Kerbaa; Oded Maler (RTSS, 2004)

Conditional Scheduling Strategies Using Timed Automata. (Stratégies d'Ordonnancement Conditionnelles Utilisant des Automates Temporisés). - Abdelkarim Kerbaa (2006)