Tolga Ovatman

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 25

Top Topics

Sequence Diagrams

Environmental Monitoring

Top Venues

Publications

Simge Yatkin, Tolga Ovatman
Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver. CoRR (2024)
Batuhan Can, Halit Uyanik, Tolga Ovatman
Gateway Placement in LoRaWAN Enabled Sensor Networks. SENSORNETS (2023)
Sabtain Ahmad, Halit Uyanik, Tolga Ovatman, Mehmet Tahir Sandikkaya, Vincenzo De Maio, Ivona Brandic, Atakan Aral
Sustainable Environmental Monitoring via Energy and Information Efficient Multinode Placement. IEEE Internet Things J. 10 (24) (2023)
Tolga Ovatman, Gunes Karabulut Kurt, Halim Yanikomeroglu
An Accurate Model for Computation Offloading in 6G Networks and a HAPS-Based Case Study. IEEE Open J. Commun. Soc. 3 (2022)
Mehmet Aktas, Tolga Ovatman
UML Statechart Anti-Patterns. COMPSAC (2022)
Halit Uyanik, Tolga Ovatman
An investigation of the transmission success in Lorawan enabled IoT-HAPS communication. Internet Things 20 (2022)
Enes Bilgin, Tolga Ovatman
Coordinated Access to Shared Data Sources for Geo-replicated State Machines. ICSOFT (2022)
Kerem Akkaya, Tolga Ovatman
A Comparative Study of Meta-Data-Based Microservice Extraction Tools. Int. J. Serv. Sci. Manag. Eng. Technol. 13 (2) (2022)
Tolga Ovatman, Muhammed Enes Tirnakçi, Ahmet Yilmaz
Utilizing HAPS Deployed Data Centers in Offloading Cloud Workloads. CSCI (2021)
Niyazi Özdinç Çelikel, Tolga Ovatman
Distributed Application Checkpointing for Replicated State Machines. Scalable Comput. Pract. Exp. 22 (1) (2021)
Halit Uyanik, Tolga Ovatman
Early Conflict Checking in Two-Phase Commit Protocol for Replicated State Machines. Int. J. Distributed Syst. Technol. 12 (4) (2021)
James Ryan Perry Akyüz, Tolga Ovatman
On Effects of Applying Predictive Caching for State Machines. ICSOFT (2021)
Halit Uyanik, Tolga Ovatman
Enhancing Two Phase-Commit Protocol for Replicated State Machines. PDP (2020)
Niyazi Özdinç Çelikel, Tolga Ovatman
A Distributed Checkpoint Mechanism for Replicated State Machines. CLOSER (2020)
Emre Teoman, Tolga Ovatman
Trilateration in Indoor Positioning with an Uncertain Reference Point. ICNSC (2019)
Simge Ulusoy, Alper Batioglu, Tolga Ovatman
Omni-script: Device independent user interface development for omni-channel fintech applications. Comput. Stand. Interfaces 64 (2019)
Cihan Seçinti, Tolga Ovatman
Fault Tolerant VM Consolidation for Energy-Efficient Cloud Environments. CLOUD (2018)
Ibrahim Seckin, Tolga Ovatman
An empirical study on scrum application patterns in distributed teams. ICGSE (2018)
M. Subhi Sheikh Quroush, Tolga Ovatman
Debugging Remote Services Developed on the Cloud. CLOSER (2018)
M. Subhi Sheikh Quroush, Tolga Ovatman
A Record/Replay Debugger for Service Development on the Cloud. CLOSER (Selected Papers) (2018)
Atakan Aral, Tolga Ovatman
A Decentralized Replica Placement Algorithm for Edge Computing. IEEE Trans. Netw. Serv. Manag. 15 (2) (2018)
Ahmet Furkan Oruç, Tolga Ovatman
Testing of Web Services using Behavior-Driven Development. CLOSER (2) (2016)
Mehmet Tahir Sandikkaya, Tolga Ovatman, Ali Emre Harmanci
Design and formal verification of a cloud compliant secure logging mechanism. IET Inf. Secur. 10 (4) (2016)
Atakan Aral, Tolga Ovatman
Network-aware embedding of virtual machine clusters onto federated cloud infrastructure. J. Syst. Softw. 120 (2016)
Tolga Ovatman, Atakan Aral, Davut Polat, Ali Osman Ünver
An overview of model checking practices on verification of PLC software. Softw. Syst. Model. 15 (4) (2016)
Atakan Aral, Tolga Ovatman
Subgraph Matching for Resource Allocation in the Federated Cloud Environment. CLOUD (2015)
Furkan Comert, Tolga Ovatman
Attacking state space explosion problem in model checking embedded TV software. IEEE Trans. Consumer Electron. 61 (4) (2015)
Farzaneh Akhbar, Tolga Ovatman
Quality of Service Trade-offs between Central Data Centers and Nano Data Centers. CLOSER (2015)
Atakan Aral, Tolga Ovatman
Improving Resource Utilization in Cloud Environments using Application Placement Heuristics. CLOSER (2014)
Mehmet Tahir Sandikkaya, Bahadir Odevci, Tolga Ovatman
Practical runtime security mechanisms for an aPaaS cloud. GLOBECOM Workshops (2014)
Niyazi Özdinç Çelikel, Armend Vraniqi, Tolga Ovatman
Decomposition of memory consumption footprints to identify problematic threads. ISCC (2014)
Cihan Seçinti, Tolga Ovatman
On Optimizing Resource Allocation and Application Placement Costs in Cloud Systems. CLOSER (2014)
Tolga Ovatman, Feza Buzluca
Model-based cache-aware dispatching of object-oriented software for multicore systems. J. Syst. Softw. 86 (11) (2013)
Atakan Aral, Tolga Ovatman
Utilization of Method Graphs to Measure Cohesion in Object Oriented Software. COMPSAC Workshops (2013)
Berk Canberk, Tolga Ovatman
Spectrum utility optimization by Priced Timed Automata model under heterogeneous Primary User traffics in CR networks. GLOBECOM Workshops (2012)
Tolga Ovatman, Berk Canberk
Software-based optimization of channel utilization in cognitive radio networks using priced timed automata. SpringSim (ANSS) (2012)
Tolga Ovatman, Thomas Weigert, Feza Buzluca
Exploring implicit parallelism in class diagrams. J. Syst. Softw. 84 (5) (2011)
Tolga Ovatman, Feza Buzluca
Model Driven Cache-Aware Scheduling of Object Oriented Software for Chip Multiprocessors. DSD (2011)
Tolga Ovatman, Feza Buzluca, Thomas Weigert
Applying Enhanced Graph Clustering to Software Dependency Analysis. SEDE (2010)
Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)