Tolga Ovatman

According to our database, Tolga Ovatman authored at least 41 papers between 2008 and 2024.

Collaborative distances:

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

2024

Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver.

Simge Yatkin, Tolga Ovatman

CoRR, 2024

2023

Sustainable Environmental Monitoring via Energy and Information Efficient Multinode Placement.

Sabtain Ahmad, Halit Uyanik, Tolga Ovatman, Mehmet Tahir Sandikkaya, Vincenzo De Maio, Ivona Brandic, Atakan Aral

IEEE Internet Things J., 2023

Gateway Placement in LoRaWAN Enabled Sensor Networks.

Batuhan Can, Halit Uyanik, Tolga Ovatman

Proceedings of the 12th International Conference on Sensor Networks, 2023

2022

An Accurate Model for Computation Offloading in 6G Networks and a HAPS-Based Case Study.

Tolga Ovatman, Gunes Karabulut-Kurt, Halim Yanikomeroglu

IEEE Open J. Commun. Soc., 2022

An investigation of the transmission success in Lorawan enabled IoT-HAPS communication.

Halit Uyanik, Tolga Ovatman

Internet Things, 2022

A Comparative Study of Meta-Data-Based Microservice Extraction Tools.

Kerem Akkaya, Tolga Ovatman

Int. J. Serv. Sci. Manag. Eng. Technol., 2022

Coordinated Access to Shared Data Sources for Geo-replicated State Machines.

Enes Bilgin, Tolga Ovatman

Proceedings of the 17th International Conference on Software Technologies, 2022

UML Statechart Anti-Patterns.

Mehmet Aktas, Tolga Ovatman

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Distributed Application Checkpointing for Replicated State Machines.

Niyazi Özdinç Çelikel, Tolga Ovatman

Scalable Comput. Pract. Exp., 2021

Early Conflict Checking in Two-Phase Commit Protocol for Replicated State Machines.

Halit Uyanik, Tolga Ovatman

Int. J. Distributed Syst. Technol., 2021

On Effects of Applying Predictive Caching for State Machines.

James Ryan Perry Akyüz, Tolga Ovatman

Proceedings of the 16th International Conference on Software Technologies, 2021

Utilizing HAPS Deployed Data Centers in Offloading Cloud Workloads.

Tolga Ovatman, Muhammed Enes Tirnakçi, Ahmet Yilmaz

Proceedings of the International Conference on Computational Science and Computational Intelligence, 2021

2020

Enhancing Two Phase-Commit Protocol for Replicated State Machines.

Halit Uyanik, Tolga Ovatman

Proceedings of the 28th Euromicro International Conference on Parallel, 2020

A Distributed Checkpoint Mechanism for Replicated State Machines.

Niyazi Özdinç Çelikel, Tolga Ovatman

Proceedings of the 10th International Conference on Cloud Computing and Services Science, 2020

2019

Omni-script: Device independent user interface development for omni-channel fintech applications.

Simge Ulusoy, Alper Batioglu, Tolga Ovatman

Comput. Stand. Interfaces, 2019

Trilateration in Indoor Positioning with an Uncertain Reference Point.

Emre Teoman, Tolga Ovatman

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

2018

A Decentralized Replica Placement Algorithm for Edge Computing.

Atakan Aral, Tolga Ovatman

IEEE Trans. Netw. Serv. Manag., 2018

An empirical study on scrum application patterns in distributed teams.

Ibrahim Seckin, Tolga Ovatman

Proceedings of the 13th Conference on Global Software Engineering, 2018

Fault Tolerant VM Consolidation for Energy-Efficient Cloud Environments.

Cihan Seçinti, Tolga Ovatman

Proceedings of the Cloud Computing - CLOUD 2018, 2018

A Record/Replay Debugger for Service Development on the Cloud.

M. Subhi Sheikh Quroush, Tolga Ovatman

Proceedings of the Cloud Computing and Services Science - 8th International Conference, 2018

Debugging Remote Services Developed on the Cloud.

M. Subhi Sheikh Quroush, Tolga Ovatman

Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018

2016

An overview of model checking practices on verification of PLC software.

Tolga Ovatman, Atakan Aral, Davut Polat, Ali Osman Ünver

Softw. Syst. Model., 2016

Network-aware embedding of virtual machine clusters onto federated cloud infrastructure.

Atakan Aral, Tolga Ovatman

J. Syst. Softw., 2016

Design and formal verification of a cloud compliant secure logging mechanism.

Mehmet Tahir Sandikkaya, Tolga Ovatman, Ali Emre Harmanci

IET Inf. Secur., 2016

Testing of Web Services using Behavior-Driven Development.

Ahmet Furkan Oruç, Tolga Ovatman

Proceedings of the CLOSER 2016, 2016

2015

Attacking state space explosion problem in model checking embedded TV software.

Furkan Comert, Tolga Ovatman

IEEE Trans. Consumer Electron., 2015

Quality of Service Trade-offs between Central Data Centers and Nano Data Centers.

Farzaneh Akhbar, Tolga Ovatman

Proceedings of the CLOSER 2015, 2015

Subgraph Matching for Resource Allocation in the Federated Cloud Environment.

Atakan Aral, Tolga Ovatman

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

Decomposition of memory consumption footprints to identify problematic threads.

Niyazi Özdinç Çelikel, Armend Vraniqi, Tolga Ovatman

Proceedings of the IEEE Symposium on Computers and Communications, 2014

Practical runtime security mechanisms for an aPaaS cloud.

Mehmet Tahir Sandikkaya, Bahadir Odevci, Tolga Ovatman

Proceedings of the 2014 IEEE GLOBECOM Workshops, Austin, TX, USA, December 8-12, 2014, 2014

On Optimizing Resource Allocation and Application Placement Costs in Cloud Systems.

Cihan Seçinti, Tolga Ovatman

Proceedings of the CLOSER 2014, 2014

Improving Resource Utilization in Cloud Environments using Application Placement Heuristics.

Atakan Aral, Tolga Ovatman

Proceedings of the CLOSER 2014, 2014

2013

Model-based cache-aware dispatching of object-oriented software for multicore systems.

Tolga Ovatman, Feza Buzluca

J. Syst. Softw., 2013

Utilization of Method Graphs to Measure Cohesion in Object Oriented Software.

Atakan Aral, Tolga Ovatman

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012

Software-based optimization of channel utilization in cognitive radio networks using priced timed automata.

Tolga Ovatman, Berk Canberk

Proceedings of the 2012 Spring Simulation Multiconference, 2012

Spectrum utility optimization by Priced Timed Automata model under heterogeneous Primary User traffics in CR networks.

Berk Canberk, Tolga Ovatman

Proceedings of the Workshops Proceedings of the Global Communications Conference, 2012

2011

Model based parallelization of object oriented software for multicore systems (Çok çekirdekli sistemler için nesneye dayalı yazılımların model tabanlı paralelleştirilmesi)

Tolga Ovatman

PhD thesis, 2011

Exploring implicit parallelism in class diagrams.

Tolga Ovatman, Thomas Weigert, Feza Buzluca

J. Syst. Softw., 2011

Model Driven Cache-Aware Scheduling of Object Oriented Software for Chip Multiprocessors.

Tolga Ovatman, Feza Buzluca

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010

Applying Enhanced Graph Clustering to Software Dependency Analysis.

Tolga Ovatman, Feza Buzluca, Thomas Weigert

Proceedings of the ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010

2008

Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata.

Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen

Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008