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”

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]