Oday Jubran

According to our database, Oday Jubran authored at least 8 papers between 2013 and 2016.

Collaborative distances:

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

2016

Recurrence in Self-Stabilization: Theory, Verification, and Application.

Oday Jubran

PhD thesis, 2016

Rekurrenz in Selbststabilisierung: Theorie, Verifikation und Anwendung.

Oday Jubran

Proceedings of the Ausgezeichnete Informatikdissertationen 2016, 2016

2015

Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples.

Oday Jubran, Eike Möhlmann, Oliver E. Theel

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Recurrence in Self-Stabilization.

Oday Jubran, Oliver E. Theel

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

A Self-stabilizing PIF Algorithm for Educated Unique Process Selection.

Oday Jubran, Oliver E. Theel

Proceedings of the Networked Systems - Third International Conference, 2015

2014

Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms.

Oday Jubran, Oliver E. Theel

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Optimizing guard time for TDMA in a wireless sensor network - Case study.

Oday Jubran, Bernd Westphal

Proceedings of the IEEE 39th Conference on Local Computer Networks, Edmonton, AB, Canada, 8-11 September, 2014, 2014

2013

Formal approach to guard time optimization for TDMA.

Oday Jubran, Bernd Westphal

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013