• Turkish translation by Tolga Ovatman: Essentials of Discrete Mathmematics by David J. Hunter, 3rd Edition, Turkish translation published by Nobel Yayınevi
Essentials of Discrete Mathmematics

Journal Papers

  • Tolga Ovatman, Güneş Karabulut Kurt, Halim Yanıkömeroğlu, 2022: An Accurate Model for Computation Offloading in 6G Networks and a HAPS-based Case Study, in IEEE Open Journal of the Communications Society, In Press November 2022, DOI: 10.1109/OJCOMS.2022.3217447
  • Halit Uyanık, Tolga Ovatman, 2022: An investigation of the transmission success in Lorawan enabled IoT-HAPS communication, Elsevier's Internet of Things Journal, In Press September 2022, DOI: 10.1016/j.iot.2022.100611
  • Kerem Akkaya, Tolga Ovatman, 2022: A Comparative Study of Meta-Data-Based Microservice Extraction Tools, International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), IGI Global, Volume:13 Issue:1 (2022) January 2022, DOI: 10.4018/IJSSMET.298677
  • Halit Uyanık, Tolga Ovatman, 2021: Early Conflict Checking in Two Phase Commit Protocol for Replicated State Machines, International Journal of Distributed Systems and Technologies (IJDST), IGI Global, Volume:12 Issue:4 (2021) October 2021, DOI: 10.4018/IJDST.287861
  • Niyazi Özdinç Çelikel, Tolga Ovatman, 2021: Distributed Application Checkpointing for Replicated State Machines, Scalable Computing: Practice and Experience, Volume:22 Issue:1 pp: 67-79 (2021)March 2021, DOI: 10.12694/scpe.v22i1.1840
  • Simge Ulusoy, Alper Batıoğlu Tolga Ovatman, 2019: Omni-script: Device Independent User Interface Development for Omni-channel FinTech Applications, Elsevier Computer Standards & Interfaces, January 2019, DOI: 10.1016/j.csi.2019.01.003
  • Atakan Aral, Tolga Ovatman, 2018: A Decentralized Replica Placement Algorithm for Edge Computing, IEEE Transactions on Network and Service Management, June 2018, Volume: 15, Issue: 2, pp: 516-529, DOI: 10.1109/TNSM.2017.2788945.
  • Atakan Aral, Tolga Ovatman, 2016: Network-Aware Embedding of Virtual Machine Clusters onto Federated Cloud Infrastructure, Journal of Systems and Software, Oct 2016, Volume:120, pp. 89 - 104, DOI: 10.1016/j.jss.2016.07.007.
  • Furkan Cömert, Tolga Ovatman, 2015: Attacking state space explosion problem in model checking embedded TV software, IEEE Transactions on Consumer Electronics, Nov 2015, Volume:61, Issue:4, pp. 572 - 579, DOI: 10.1109/TCE.2015.7389814.
  • Mehmet Tahir Sandıkkaya, Tolga Ovatman, Ali Emre Harmancı, 2015: Design and formal verification of a cloud compliant secure logging mechanism, IET Information Security, 07 Dec 2015, DOI: 10.1049/iet-ifs.2014.0625.
  • Tolga Ovatman, Atakan Aral, Davut Polat, Ali Osman Ünver, 2014: An Overview of Model Checking Practices on Verification of PLC Software, Journal of Software and Systems Modeling, DOI: 10.1007/s10270-014-0448-7.
  • Tolga Ovatman, Feza Buzluca, 2013: Model-Based Cache-Aware Dispatching of Object-Oriented Software for Multicore Systems, Journal of Systems and Software, Volume 86, Issue 11, November 2013, Pages 2754-2770, ISSN 0164-1212, DOI: 10.1016/j.jss.2013.06.025.
  • Tolga Ovatman, Thomas Weigert, Feza Buzluca, 2011: Exploring implicit parallelism in class diagrams, Journal of Systems and Software, Volume 84, Issue 5, Pages 821-834, ISSN 0164-1212, DOI: 10.1016/j.jss.2011.01.005.
  • Tolga Ovatman, Aske W. Brekling, Michael R. Hansen, 2010: Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata, Electronic Notes in Theoretical Computer Science, Volume 238, Issue 6, Pages 81-95, DOI: 10.1016/j.entcs.2010.06.006. [pres]

International Conference Papers

  • Enes Bilgin and Tolga Ovatman, 2022: Coordinated Access to Shared Data Sources for Geo-replicated State Machines, In Proceedings of the 17th International Conference on Software Technologies, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, ISBN 978-989-758-588-3, ISSN 2184-2833, pages 625-629. DOI: 10.5220/0011269600003266
  • Mehmet Aktaş and Tolga Ovatman, 2022: UML Statechart Anti-patterns, IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022, Virtual Conference, June 27 - July 1, 2022
  • Tolga Ovatman, Muhammed Enes Tirnakci, Ahmet Yilmaz, 2021: Utilizing HAPS Deployed Data Centers in Offloading Cloud Workloads, Proceedings of the 8th Annual Conf. on Computational Science and Computational Intelligence, CSCI 2021, Las Vegas, USA, December 15-17, 2021
  • Onur Göksel, Tolga Ovatman, 2021: Collaborative Path Prediction in Cache Pre-fetching for Distributed State Machines, Proceedings of the 6th International Conference on Computer Science and Engineering, UBMK, Ankara, Turkey, September 15-17, 2021
  • James Akyüz, Tolga Ovatman, 2021: On Effects of Applying Predictive Caching for State Machines, Proceedings of the 16th International Conference on Software Technologies, ICSOFT, Online, July 6-8, 2021
  • Niyazi Özdinç Çelikel, Tolga Ovatman, 2020: A Distributed Checkpoint Mechanism for Replicated State Machines, Proceedings of the 10th International Conference on Cloud Computing and Services Science, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020
  • Halit Uyanik, Tolga Ovatman, 2020: Enhancing Two Phase-Commit Protocol for Replicated State Machines, 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2020, Västerås, Sweden, March 11-13, 2020
  • Emre Teoman, Tolga Ovatman, 2019: Trilateration in Indoor Positioning with an Uncertain Reference Point, 2019 IEEE 16th International Conference on Networking, Sensing and Control (ICNSC), May 09 - May 11, 2019 - Banff, Canada.
  • İbrahim Seçkin, Tolga Ovatman, 2018: An Empirical Study on Scrum Application Patterns in Distributed Teams, ACM/IEEE 13th International Conference on Global Software Engineering, ICGSE 2018, May 27 - June 3, 2018 - Gothenburg, Sweden.
  • Cihan Seçinti, Tolga Ovatman, 2018: Fault Tolerant VM Consolidation for Energy-Efficient Cloud Environments, Cloud Computing - CLOUD 2018 - 11th International Conference, Seattle, WA, USA, June 25-30, 2018.
  • M. Subhi Sheikh Quroush, Tolga Ovatman, 2018: Debugging Remote Services Developed on the Cloud, Proceedings of the 8th International Conference on Cloud Computing and Services Science, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018.
  • Ahmet Furkan Oruç, Tolga Ovatman, 2016: Testing of Web Services Using Behavior-Driven Development, The 6th International Conference on Cloud Computing and Services Science, CLOSER 2015, Apr 23 - Apr 25, 2016 - Rome, Italy.
  • Atakan Aral, Tolga Ovatman, 2015: Subgraph Matching for Resource Allocation in the Federated Cloud Environment, 8th IEEE International Conference on Cloud Computing, IEEE CLOUD 2015, June 27 - July 2, 2015, New York, USA.
  • Farzaneh Akhbar, Tolga Ovatman, 2014: Quality of Service Trade-offs between Central Data Centers and Nano Data Centers, The 5th International Conference on Cloud Computing and Services Science, CLOSER 2015, May 20 - May 22, 2015 - Lisbon, Portugal.
  • Mehmet Tahir Sandıkkaya, Bahadır Ödevci, Tolga Ovatman, 2014: Practical runtime security mechanisms for an aPaaS cloud, IEEE Globecom 2014 Workshop on Cloud Computing Systems, Networks, and Applications (CCSNA), GLOBECOM 2014, 8-12 December 2014, Austin, Texas, USA.
  • Özdinç Çelikel, Armend Vraniqi, Tolga Ovatman, 2014: Decomposition of Memory Consumption Footprints to Identify Problematic Threads, Fourth Workshop on Management of Cloud Systems (MoCS 2014), June 23rd, 2014 - Madeira, Portugal.
  • Atakan Aral, Tolga Ovatman, 2014: Improving Resource Utilization in Cloud Environments Using Application Placement Heuristics, The 4th International Conference on Cloud Computing and Services Science, CLOSER 2014, Apr 3 - Apr 5, 2014 - Barcelona, Spain.
  • Cihan Seçinti, Tolga Ovatman, 2014: On Optimizing Resource Allocation and Application Placement Costs in Cloud Systems, The 4th International Conference on Cloud Computing and Services Science, CLOSER 2014, Apr 3 - Apr 5, 2014 - Barcelona, Spain.
  • Sinan Sarıca, Tolga Ovatman, 2013: Software Design Metric Based Analysis of Dependency Patterns, The Second International Conference on Informatics & Applications, ICIA 2013, Sep 23 - Sep 25, 2013 - Lodz, Poland.
  • Atakan Aral, Tolga Ovatman, 2013: Utilization of Method Graphs to Measure Cohesion in Object Oriented Software, The 7TH IEEE International Workshop on Quality Oriented Reuse of Software, COMPSAC 2013, July 22-26, 2013 - Kyoto, Japan.
  • Berk Canberk, Tolga Ovatman, 2012: Spectrum Utility Optimization by Priced Timed Automata Model Under Heterogeneous Primary User Traffics In CR Networks, 1st IEEE International Workshop on Ad Hoc Networking with MIMO and Cognitive Radio, GLOBECOM 2012, Anaheim-USA, December 2012.
  • Tolga Ovatman, Berk Canberk, 2012: Software-Based Optimization of Channel Utilization in Cognitive Radio Networks Using Priced Timed Automata, 03/2012, 2012 Spring Simulation Multiconference, 45th Annual Simulation Symposium, Orlando,FL,USA.
  • Tolga Ovatman, Feza Buzluca, 2011: Model Driven Cache-Aware Scheduling of Object Oriented Software for Chip Multiprocessors, 08/2011, 14th Euromicro Conference on Digital System Design Architectures, Methods and Tools, Oulu,Finland. [pres]
  • İlhan Mutlu, Ali Fuat Ergenç, Tolga Ovatman, Mehmet T. Söylemez, 2012: Design of a Hardware and Software based Test Bed for Railway Signalization System, 13th IFAC Symposium on Control in Transportation Systems , Sofia, Bulgaria.
  • İlhan Mutlu,Tolga Ovatman, Mehmet Turan Söylemez, Leyla Gören Sümer, 2011: A New Test Environment For PLC Based Interlocking Systems, 12/2011, IEEE International Conference on Transportation and Mechanical & Electrical Engineering(TMEE 2011), Changchun,China.
  • Tolga Ovatman, Thomas Weigert, Feza Buzluca, 2010: Applying Enhanced Graph Clustering to Software Dependency Analysis, 06/2010, 19th International Conference on Software Engineering and Data Engineering, San Francisco, CA, USA,Received Software Engineering Track Best Paper Award. [pres]
  • Tolga Ovatman, Feza Buzluca, 2009: Software Design Pattern Behavior in Shared Memory Multiprocessor Systems, International Conference on Computational Intelligence and Software Engineering. dec/2009, s. 1–4. [pres]
  • Tolga Ovatman, Feza Buzluca, 2008: Investigating Software Design Pattern Behavior in Multiprocessor Systems: A Case Study on Observer, In: Proceedings of The 23rd International Symposium on Computer and Information Sciences, pp. 1-4, İstanbul, Turkey, ISCIS2008 , 2008. [pres]
  • Tolga Ovatman, Fatih Kahraman, Osman Kaan Erol, 2005: A Real-Time Multiple-Camera Optical Character Recognition and Verificaiton System, In: Proc. of the third International Conference On Electrical and Electronics Engineering, pp. 362-366, Bursa, Turkey, ELECO'05 , 2005.


  • İlknur Gür Nalçacı, Cüneyt Öksüz, Fatih Alagöz, Yalçın Tercan, Uğur Doğan, Berk Canberk, Tolga Ovatman, 2019: Veri Kontrol Protokolü ile Ön Mutabakat Yapmaya Olanak Sağlayan, Teknik ve Mevzuatsal Kurallarla E-Fatura Üzerinde Denetim Yapan, Skorlama Teknikleri Yardımı ile Risk Puanları Üreten, E-Fatura Uyumluluk ve Hile Denetim Sistemi, Ulusal Patent, Başvuru Numarası : 2016/07128, Evrak Numarası : 2016-GE-219158

National Conference Papers

  • Tolga Ovatman, Feza Buzluca, 2012: Bağımlılık Örüntüleri ile Nesneye Dayalı Yazılımların Cep Bellek Bilinçli Paralelleştirilmesi, 6. ULUSAL YAZILIM MÜHENDİSLİĞİ SEMPOZYUMU, UYMS 2012 , Ankara , 2012.
  • Tolga Ovatman, Feza Buzluca, 2008: Çok Çekirdekli Sistemlerin Yazılım Kalitesi Üzerine Etkileri, Yazılım Kalitesi ve Yazılım Geliştirme Araçları Sempozyumu, İstanbul , 2008.
  • Ender Yüksel, Müjdat Soytürk, Tolga Ovatman, Bülent Örencik, 2005: Telsiz Yerel Alan Ağlarında Güvenlik Sorunu, Ağ ve Bilgi Güvenliği Ulusal Sempozyumu Bildiriler Kitabı, pp. 23-30, İstanbul, ABG 2005 , 2005.
  • Tolga Ovatman, İlhan Mutlu, Mehmet Turan Söylemez, Leyla Gören Sümer, 2011: PLC Tabanlı Demiryolu Anklaşman Sistemleri İçin Yeni Bir Test Ortamının Oluşturulması, Otomatik Kontrol Türk Milli Komitesi 2011 Ulusal Toplantısı, İzmir, Eylül 2011.