Follow
Tolga Ovatman
Title
Cited by
Cited by
Year
A decentralized replica placement algorithm for edge computing
A Aral, T Ovatman
IEEE transactions on network and service management 15 (2), 516-529, 2018
1262018
An overview of model checking practices on verification of PLC software
T Ovatman, A Aral, D Polat, AO Ünver
Software and Systems Modeling, 2014
952014
Network-aware embedding of virtual machine clusters onto federated cloud infrastructure
A Aral, T Ovatman
Journal of systems and software 120, 89-104, 2016
342016
Trilateration in indoor positioning with an uncertain reference point
E Teoman, T Ovatman
2019 IEEE 16th International Conference on Networking, Sensing and Control …, 2019
232019
Exploring implicit parallelism in class diagrams
T Ovatman, T Weigert, F Buzluca
Journal of Systems and Software 84 (5), 821-834, 2011
152011
Subgraph matching for resource allocation in the federated cloud environment
A Aral, T Ovatman
2015 IEEE 8th International Conference on Cloud Computing, 1033-1036, 2015
142015
Cost analysis for embedded systems: Experiments with priced timed automata
T Ovatman, AW Brekling, MR Hansen
Electronic Notes in Theoretical Computer Science 238 (6), 81-95, 2010
142010
A new test environment for PLC based interlocking systems
İ Mutlu, T Ovatman, MT Söylemez, LG Sümer
Proceedings 2011 International Conference on Transportation, Mechanical, and …, 2011
112011
Attacking state space explosion problem in model checking embedded TV software
F Comert, T Ovatman
IEEE Transactions on Consumer Electronics 61 (4), 572-579, 2015
102015
Omni-script: Device independent user interface development for omni-channel fintech applications
S Ulusoy, A Batıoğlu, T Ovatman
Computer Standards & Interfaces 64, 106-116, 2019
92019
Design and formal verification of a cloud compliant secure logging mechanism
MT Sandıkkaya, T Ovatman, AE Harmancı
IET Information Security 10 (4), 203-214, 2016
82016
Design of a hardware and software based test bed for railway signalization systems
I Mutlu, AF Ergenc, T Ovatman, MT Soylemez
IFAC Proceedings Volumes 45 (24), 185-190, 2012
82012
Improving Resource Utilization in Cloud Environments using Application Placement Heuristics
A Aral, T Ovatman
4th International Conference on Cloud Computing and Services Science, 527-534, 2014
72014
An accurate model for computation offloading in 6G networks and a HAPS-based case study
T Ovatman, GK Kurt, H Yanikomeroglu
IEEE Open Journal of the Communications Society 3, 1963-1977, 2022
62022
Practical runtime security mechanisms for an aPaaS cloud
MT Sandıkkaya, B Odevci, T Ovatman
IEEE Globecom Workshops 2014, 53-58, 2014
62014
Distributed application checkpointing for replicated state machines
Ö Çelikel, T Ovatman
Scalable Computing: Practice and Experience 22 (1), 67-79, 2021
52021
An empirical study on scrum application patterns in distributed teams
I Seckin, T Ovatman
Proceedings of the 13th International Conference on Global Software …, 2018
52018
Testing of Web Services using Behavior-Driven Development
AF Oruç, T Ovatman
International Conference on Cloud Computing and Services Science 2, 85-92, 2016
52016
Software design pattern behavior in shared memory multiprocessor systems
T Ovatman, F Buzluca
2009 International Conference on Computational Intelligence and Software …, 2009
52009
An investigation of the transmission success in Lorawan enabled IoT-HAPS communication
H Uyanık, T Ovatman
Internet of Things 20, 100611, 2022
42022
The system can't perform the operation now. Try again later.
Articles 1–20