![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Tolga Ovatman
Person information
SPARQL queries ![](https://dblp.uni-trier.de/img/new.blue.24x12.png)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i1]Simge Yatkin, Tolga Ovatman:
Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver. CoRR abs/2405.00163 (2024) - 2023
- [j14]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): 22065-22079 (2023) - [c25]Batuhan Can, Halit Uyanik, Tolga Ovatman:
Gateway Placement in LoRaWAN Enabled Sensor Networks. SENSORNETS 2023: 93-100 - 2022
- [j13]Kerem Akkaya, Tolga Ovatman
:
A Comparative Study of Meta-Data-Based Microservice Extraction Tools. Int. J. Serv. Sci. Manag. Eng. Technol. 13(2): 1-26 (2022) - [j12]Halit Uyanik
, Tolga Ovatman:
An investigation of the transmission success in Lorawan enabled IoT-HAPS communication. Internet Things 20: 100611 (2022) - [j11]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: 1963-1977 (2022) - [c24]Mehmet Aktas, Tolga Ovatman:
UML Statechart Anti-Patterns. COMPSAC 2022: 413-414 - [c23]Enes Bilgin, Tolga Ovatman:
Coordinated Access to Shared Data Sources for Geo-replicated State Machines. ICSOFT 2022: 625-629 - 2021
- [j10]Halit Uyanik, Tolga Ovatman
:
Early Conflict Checking in Two-Phase Commit Protocol for Replicated State Machines. Int. J. Distributed Syst. Technol. 12(4): 1-20 (2021) - [j9]Niyazi Özdinç Çelikel
, Tolga Ovatman
:
Distributed Application Checkpointing for Replicated State Machines. Scalable Comput. Pract. Exp. 22(1): 67-79 (2021) - [c22]Tolga Ovatman, Muhammed Enes Tirnakçi, Ahmet Yilmaz:
Utilizing HAPS Deployed Data Centers in Offloading Cloud Workloads. CSCI 2021: 386-391 - [c21]James Ryan Perry Akyüz, Tolga Ovatman:
On Effects of Applying Predictive Caching for State Machines. ICSOFT 2021: 151-157 - 2020
- [c20]Niyazi Özdinç Çelikel, Tolga Ovatman:
A Distributed Checkpoint Mechanism for Replicated State Machines. CLOSER 2020: 515-520 - [c19]Halit Uyanik, Tolga Ovatman
:
Enhancing Two Phase-Commit Protocol for Replicated State Machines. PDP 2020: 118-121
2010 – 2019
- 2019
- [j8]Simge Ulusoy, Alper Batioglu, Tolga Ovatman
:
Omni-script: Device independent user interface development for omni-channel fintech applications. Comput. Stand. Interfaces 64: 106-116 (2019) - [c18]Emre Teoman, Tolga Ovatman
:
Trilateration in Indoor Positioning with an Uncertain Reference Point. ICNSC 2019: 397-402 - 2018
- [j7]Atakan Aral
, Tolga Ovatman
:
A Decentralized Replica Placement Algorithm for Edge Computing. IEEE Trans. Netw. Serv. Manag. 15(2): 516-529 (2018) - [c17]M. Subhi Sheikh Quroush, Tolga Ovatman
:
A Record/Replay Debugger for Service Development on the Cloud. CLOSER (Selected Papers) 2018: 64-76 - [c16]M. Subhi Sheikh Quroush, Tolga Ovatman
:
Debugging Remote Services Developed on the Cloud. CLOSER 2018: 426-431 - [c15]Cihan Seçinti, Tolga Ovatman
:
Fault Tolerant VM Consolidation for Energy-Efficient Cloud Environments. CLOUD 2018: 323-333 - [c14]Ibrahim Seckin, Tolga Ovatman
:
An empirical study on scrum application patterns in distributed teams. ICGSE 2018: 135-136 - 2016
- [j6]Mehmet Tahir Sandikkaya
, Tolga Ovatman
, Ali Emre Harmanci:
Design and formal verification of a cloud compliant secure logging mechanism. IET Inf. Secur. 10(4): 203-214 (2016) - [j5]Atakan Aral
, Tolga Ovatman
:
Network-aware embedding of virtual machine clusters onto federated cloud infrastructure. J. Syst. Softw. 120: 89-104 (2016) - [j4]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): 937-960 (2016) - [c13]Ahmet Furkan Oruç, Tolga Ovatman
:
Testing of Web Services using Behavior-Driven Development. CLOSER (2) 2016: 85-92 - 2015
- [j3]Furkan Comert, Tolga Ovatman
:
Attacking state space explosion problem in model checking embedded TV software. IEEE Trans. Consumer Electron. 61(4): 572-579 (2015) - [c12]Atakan Aral
, Tolga Ovatman
:
Subgraph Matching for Resource Allocation in the Federated Cloud Environment. CLOUD 2015: 1033-1036 - [c11]Farzaneh Akhbar, Tolga Ovatman
:
Quality of Service Trade-offs between Central Data Centers and Nano Data Centers. CLOSER 2015: 113-118 - 2014
- [c10]Atakan Aral, Tolga Ovatman:
Improving Resource Utilization in Cloud Environments using Application Placement Heuristics. CLOSER 2014: 527-534 - [c9]Cihan Seçinti, Tolga Ovatman:
On Optimizing Resource Allocation and Application Placement Costs in Cloud Systems. CLOSER 2014: 535-542 - [c8]Mehmet Tahir Sandikkaya
, Bahadir Odevci, Tolga Ovatman
:
Practical runtime security mechanisms for an aPaaS cloud. GLOBECOM Workshops 2014: 53-58 - [c7]Niyazi Özdinç Çelikel, Armend Vraniqi, Tolga Ovatman
:
Decomposition of memory consumption footprints to identify problematic threads. ISCC 2014: 1-5 - 2013
- [j2]Tolga Ovatman
, Feza Buzluca
:
Model-based cache-aware dispatching of object-oriented software for multicore systems. J. Syst. Softw. 86(11): 2754-2770 (2013) - [c6]Atakan Aral
, Tolga Ovatman
:
Utilization of Method Graphs to Measure Cohesion in Object Oriented Software. COMPSAC Workshops 2013: 505-510 - 2012
- [c5]Berk Canberk
, Tolga Ovatman
:
Spectrum utility optimization by Priced Timed Automata model under heterogeneous Primary User traffics in CR networks. GLOBECOM Workshops 2012: 953-958 - [c4]Tolga Ovatman, Berk Canberk:
Software-based optimization of channel utilization in cognitive radio networks using priced timed automata. SpringSim (ANSS) 2012: 10 - 2011
- [b1]Tolga Ovatman:
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). İstanbul Technical University, Turkey, 2011 - [j1]Tolga Ovatman
, Thomas Weigert, Feza Buzluca
:
Exploring implicit parallelism in class diagrams. J. Syst. Softw. 84(5): 821-834 (2011) - [c3]Tolga Ovatman
, Feza Buzluca
:
Model Driven Cache-Aware Scheduling of Object Oriented Software for Chip Multiprocessors. DSD 2011: 719-726 - 2010
- [c2]Tolga Ovatman, Feza Buzluca, Thomas Weigert:
Applying Enhanced Graph Clustering to Software Dependency Analysis. SEDE 2010: 210-216
2000 – 2009
- 2008
- [c1]Tolga Ovatman
, Aske Wiid Brekling, Michael R. Hansen
:
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. FESCA@ETAPS 2008: 81-95
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint