Tolga Ovatman

Scopus Profilini Görüntüle

E-postaovatmanitu.edutr
Web sitesihttps://www.itu.edu.tr/tr

İTÜ Ayazağa Kampüsü
34000 Istanbul
Turkey

h-index

Yıla göre araştırma çıktıları

29 Konferans katkısı
15 Makale

15 sonuç

Filtre

2023
Sustainable Environmental Monitoring via Energy and Information Efficient Multinode Placement
Ahmad, S., Uyanik, H., Ovatman, T., Sandikkaya, M. T., De Maio, V., Brandic, I. & Aral, A., 15 Ara 2023, In: IEEE Internet of Things Journal. 10, 24, p. 22065-22079 15 p.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi

Açık erişim
4 Atıf (Scopus)
2022
A Comparative Study of Meta-Data-Based Microservice Extraction Tools
Akkaya, K. & Ovatman, T., 2022, In: International Journal of Service Science, Management, Engineering, and Technology. 13, 1
Araştırma sonucu: ???type-name??? › Makale › bilirkişi

Açık erişim
2 Atıf (Scopus)
An Accurate Model for Computation Offloading in 6G Networks and a HAPS-Based Case Study
Ovatman, T., Kurt, G. K. & Yanikomeroglu, H., 2022, In: IEEE Open Journal of the Communications Society. 3, p. 1963-1977 15 p.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi

Açık erişim
7 Atıf (Scopus)
An investigation of the transmission success in Lorawan enabled IoT-HAPS communication
Uyanık, H. & Ovatman, T., Kas 2022, In: Internet of Things (Netherlands). 20, 100611.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi
3 Atıf (Scopus)
2021
DISTRIBUTED APPLICATION CHECKPOINTING FOR REPLICATED STATE MACHINES*
Çelikel, N. Ö. & Ovatman, T., 2021, In: Scalable Computing. 22, 1, p. 67-79,
Araştırma sonucu: ???type-name??? › Makale › bilirkişi

Açık erişim
4 Atıf (Scopus)
Early conflict checking in two-phase commit protocol for replicated state machines
Uyanık, H. & Ovatman, T., 1 Eki 2021, In: International Journal of Distributed Systems and Technologies. 12, 4
Araştırma sonucu: ???type-name??? › Makale › bilirkişi
2019
Omni-script: Device independent user interface development for omni-channel fintech applications
Ulusoy, S., Batıoğlu, A. & Ovatman, T., May 2019, In: Computer Standards and Interfaces. 64, p. 106-116 11 p.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi
3 Atıf (Scopus)
2018
A decentralized replica placement algorithm for edge computing
Aral, A. & Ovatman, T., Haz 2018, In: IEEE Transactions on Network and Service Management. 15, 2, p. 516-529 14 p.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi

Açık erişim
104 Atıf (Scopus)
2016
An overview of model checking practices on verification of PLC software
Ovatman, T., Aral, A., Polat, D. & Ünver, A. O., 1 Eki 2016, In: Software and Systems Modeling. 15, 4, p. 937-960 24 p.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi
51 Atıf (Scopus)
Design and formal verification of a cloud compliant secure logging mechanism
Sandikkaya, M. T., Ovatman, T. & Harmanci, A. E., 1 Tem 2016, In: IET Information Security. 10, 4, p. 203-214 12 p.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi
8 Atıf (Scopus)
Network-aware embedding of virtual machine clusters onto federated cloud infrastructure
Aral, A. & Ovatman, T., 1 Eki 2016, In: Journal of Systems and Software. 120, p. 89-104 16 p.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi
27 Atıf (Scopus)
2015
Attacking state space explosion problem in model checking embedded TV software
Cömert, F. & Ovatman, T., Kas 2015, In: IEEE Transactions on Consumer Electronics. 61, 4, p. 572-580 9 p., 7389814.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi
6 Atıf (Scopus)
2013
Model-based cache-aware dispatching of object-oriented software for multicore systems
Ovatman, T. & Buzluca, F., Kas 2013, In: Journal of Systems and Software. 86, 11, p. 2754-2770 17 p.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi
2 Atıf (Scopus)
2011
Exploring implicit parallelism in class diagrams
Ovatman, T., Weigert, T. & Buzluca, F., 1 May 2011, In: Journal of Systems and Software. 84, 5, p. 821-834 14 p.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi
5 Atıf (Scopus)
2010
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata
Ovatman, T., Brekling, A. W. & Hansen, M. R., 28 Haz 2010, In: Electronic Notes in Theoretical Computer Science. 238, 6, p. 81-95 15 p.
Araştırma sonucu: ???type-name??? › Makale › bilirkişi

Açık erişim
12 Atıf (Scopus)

Tolga Ovatman

Araştırma Çıktıları

Arama sonuçları