Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. - Tolga Ovatman; Aske Wiid Brekling; Michael R. Hansen (FESCA@ETAPS, 2008)

Applying Enhanced Graph Clustering to Software Dependency Analysis. - Tolga Ovatman; Feza Buzluca; Thomas Weigert (SEDE, 2010)

Model Driven Cache-Aware Scheduling of Object Oriented Software for Chip Multiprocessors. - Tolga Ovatman; Feza Buzluca (DSD, 2011)

Exploring implicit parallelism in class diagrams. - Tolga Ovatman; Thomas Weigert; Feza Buzluca (J. Syst. Softw., 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 (2011)

Spectrum utility optimization by Priced Timed Automata model under heterogeneous Primary User traffics in CR networks. - Berk Canberk; Tolga Ovatman (GLOBECOM Workshops, 2012)

Software-based optimization of channel utilization in cognitive radio networks using priced timed automata. - Tolga Ovatman; Berk Canberk (SpringSim (ANSS), 2012)

Utilization of Method Graphs to Measure Cohesion in Object Oriented Software. - Atakan Aral; Tolga Ovatman (COMPSAC Workshops, 2013)

Model-based cache-aware dispatching of object-oriented software for multicore systems. - Tolga Ovatman; Feza Buzluca (J. Syst. Softw., 2013)

Improving Resource Utilization in Cloud Environments using Application Placement Heuristics. - Atakan Aral; Tolga Ovatman (CLOSER, 2014)

On Optimizing Resource Allocation and Application Placement Costs in Cloud Systems. - Cihan Seçinti; Tolga Ovatman (CLOSER, 2014)

Practical runtime security mechanisms for an aPaaS cloud. - Mehmet Tahir Sandikkaya; Bahadir Baran Ödevci; Tolga Ovatman (GLOBECOM Workshops, 2014)

Decomposition of memory consumption footprints to identify problematic threads. - Niyazi Özdinç Çelikel; Armend Vraniqi; Tolga Ovatman (ISCC, 2014)

Subgraph Matching for Resource Allocation in the Federated Cloud Environment. - Atakan Aral; Tolga Ovatman (CLOUD, 2015)

Quality of Service Trade-offs between Central Data Centers and Nano Data Centers. - Farzaneh Akhbar; Tolga Ovatman (CLOSER, 2015)

Attacking state space explosion problem in model checking embedded TV software. - Furkan Comert; Tolga Ovatman (IEEE Trans. Consumer Electron., 2015)

Testing of Web Services using Behavior-Driven Development. - Ahmet Furkan Oruç; Tolga Ovatman (CLOSER (2), 2016)

Design and formal verification of a cloud compliant secure logging mechanism. - Mehmet Tahir Sandikkaya; Tolga Ovatman; Ali Emre Harmanci (IET Inf. Secur., 2016)

Network-aware embedding of virtual machine clusters onto federated cloud infrastructure. - Atakan Aral; Tolga Ovatman (J. Syst. Softw., 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)

Debugging Remote Services Developed on the Cloud. - M. Subhi Sheikh Quroush; Tolga Ovatman (CLOSER, 2018)

A Record/Replay Debugger for Service Development on the Cloud. - M. Subhi Sheikh Quroush; Tolga Ovatman (CLOSER (Selected Papers), 2018)

Fault Tolerant VM Consolidation for Energy-Efficient Cloud Environments. - Cihan Seçinti; Tolga Ovatman (CLOUD, 2018)

An empirical study on scrum application patterns in distributed teams. - Ibrahim Seckin; Tolga Ovatman (ICGSE, 2018)

A Decentralized Replica Placement Algorithm for Edge Computing. - Atakan Aral; Tolga Ovatman (IEEE Trans. Netw. Serv. Manag., 2018)

Trilateration in Indoor Positioning with an Uncertain Reference Point. - Emre Teoman; Tolga Ovatman (ICNSC, 2019)

Omni-script: Device independent user interface development for omni-channel fintech applications. - Simge Ulusoy; Alper Batioglu; Tolga Ovatman (Comput. Stand. Interfaces, 2019)

A Distributed Checkpoint Mechanism for Replicated State Machines. - Niyazi Özdinç Çelikel; Tolga Ovatman (CLOSER, 2020)

Enhancing Two Phase-Commit Protocol for Replicated State Machines. - Halit Uyanik; Tolga Ovatman (PDP, 2020)

Utilizing HAPS Deployed Data Centers in Offloading Cloud Workloads. - Tolga Ovatman; Muhammed Enes Tirnakçi; Ahmet Yilmaz (CSCI, 2021)

On Effects of Applying Predictive Caching for State Machines. - James Ryan Perry Akyüz; Tolga Ovatman (ICSOFT, 2021)

Early Conflict Checking in Two-Phase Commit Protocol for Replicated State Machines. - Halit Uyanik; Tolga Ovatman (Int. J. Distributed Syst. Technol., 2021)

Distributed Application Checkpointing for Replicated State Machines. - Niyazi Özdinç Çelikel; Tolga Ovatman (Scalable Comput. Pract. Exp., 2021)

UML Statechart Anti-Patterns. - Mehmet Aktas; Tolga Ovatman (COMPSAC, 2022)

Coordinated Access to Shared Data Sources for Geo-replicated State Machines. - Enes Bilgin; Tolga Ovatman (ICSOFT, 2022)

A Comparative Study of Meta-Data-Based Microservice Extraction Tools. - Kerem Akkaya; Tolga Ovatman (Int. J. Serv. Sci. Manag. Eng. Technol., 2022)

An investigation of the transmission success in Lorawan enabled IoT-HAPS communication. - Halit Uyanik; Tolga Ovatman (Internet Things, 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)

Gateway Placement in LoRaWAN Enabled Sensor Networks. - Batuhan Can; Halit Uyanik; Tolga Ovatman (SENSORNETS, 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)

Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver. - Simge Yatkin; Tolga Ovatman (CoRR, 2024)