Systemsoftware und Verteilte Systeme

M.Sc. Oday Jubran

Oday has successfully completed his final disputation on
November 18th, 2016.

Contact

E-mail oday.jubran@gmail.com

Research Interests

Distributed Algorithms
Fault-Tolerance
Formal Methods and Automatic Verification
Real-Time Systems

Education

Doctoral Work in Computer Science.
University of Oldenburg, Germany. 2016.
Thesis: “Recurrence in Self-Stabilization: Theory, Verification, and Application”

M.Sc. in Computer Science.
University of Freiburg, Germany. 2012
Thesis: “Formal Verification of a CNF Conversion in an SMT Solver”

B.Sc. in Computer Information Systems
Bethlehem University, Palestine. 2008
Thesis: “A Decision Support System for Management and Marketing”

Publications

2015

  • Oday Jubran and Oliver Theel
    "Recurrence in Self-Stabilization"
    In Proceedings of the 34th International Symposium on Reliable Distributed Systems (SRDS), pages 58-67. IEEE, September-October 2015
    [DOI] [BibTeX]


  • Oday Jubran, Eike Moehlmann, and Oliver Theel
    "Verifying Recurrence Properties in Self-Stabilization by Checking the Absence of Finite Counterexamples"
    In Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), volume 9212 of LNCS, pages 124-138. Springer, August 2015
    [DOI] [BibTeX]


  • Oday Jubran and Oliver Theel
    "A Self-Stabilizing PIF Algorithm for Educated Unique Process Selection"
    In Proceedings of the 3rd International Conference on Networked Systems (NETYS), volume 9466 of LNCS, pages 485-489. Springer, May 2015
    [DOI] [BibTeX]


2014

  • Oday Jubran and Oliver Theel
    "Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms"
    In Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), pages 106-115. IEEE, November 2014
    [DOI] [BibTeX]


  • Oday Jubran and Oliver Theel
    "Brief Announcement: Introducing Recurrence in Self-Stabilization"
    In Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), volume 8756 of LNCS, pages 352-354. Springer, September-October 2014


  • Oday Jubran and Bernd Westphal
    "Optimizing Guard Time for TDMA in a Wireless Sensor Network - Case Study"
    In Proceedings of the 39th IEEE Conference on Local Computer Networks (LCN), Workshop Proceedings (9th IEEE SenseApp Workshop), Pages 138-142. IEEE, September 2014
    [DOI] [BibTeX]


2013

  • Oday Jubran and Bernd Westphal
    "Formal Approach to Guard Time Optimization for TDMA"
    In Proceedings of the 21st International Conference on Real-Time Networks and Systems (RTNS), pages 223-233. ACM, October 2013
    [DOI] [BibTeX]


Technical Reports

  • Oday Jubran and Oliver Theel
    Introducing Recurrence in Self-Stabilization (Revised Version)
    AVACS Technical Report No. 101, SFB/TR 14 AVACS, April 2015
    [PDF] [BibTeX]


  • Oday Jubran and Oliver Theel
    Self-Stabilizing Mutual Exclusion Algorithm for Trees
    AVACS Technical Report No. 91, SFB/TR 14 AVACS, May 2013
    [PDF] [BibTeX]