Formal approach to guard time optimization for TDMA. - Oday Jubran; Bernd Westphal (RTNS, 2013)

Optimizing guard time for TDMA in a wireless sensor network - Case study. - Oday Jubran; Bernd Westphal (LCN Workshops, 2014)

Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms. - Oday Jubran; Oliver E. Theel (PRDC, 2014)

A Self-stabilizing PIF Algorithm for Educated Unique Process Selection. - Oday Jubran; Oliver E. Theel (NETYS, 2015)

Recurrence in Self-Stabilization. - Oday Jubran; Oliver E. Theel (SRDS, 2015)

Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. - Oday Jubran; Eike Möhlmann; Oliver E. Theel (SSS, 2015)

Rekurrenz in Selbststabilisierung: Theorie, Verifikation und Anwendung. - Oday Jubran (Ausgezeichnete Informatikdissertationen, 2016)

Recurrence in Self-Stabilization: Theory, Verification, and Application. - Oday Jubran (2016)