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
932018
An overview of model checking practices on verification of PLC software
T Ovatman, A Aral, D Polat, AO Ünver
Software and Systems Modeling, 2014
742014
Network-aware embedding of virtual machine clusters onto federated cloud infrastructure
A Aral, T Ovatman
Journal of systems and software 120, 89-104, 2016
332016
Exploring implicit parallelism in class diagrams
T Ovatman, T Weigert, F Buzluca
Journal of Systems and Software 84 (5), 821-834, 2011
152011
Trilateration in indoor positioning with an uncertain reference point
E Teoman, T Ovatman
2019 IEEE 16th International Conference on Networking, Sensing and Control …, 2019
142019
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
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
122015
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
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
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
72019
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
72016
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
72015
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
Practical runtime security mechanisms for an aPaaS cloud
MT Sandıkkaya, B Odevci, T Ovatman
IEEE Globecom Workshops 2014, 53-58, 2014
62014
Software design pattern behavior in shared memory multiprocessor systems
T Ovatman, F Buzluca
2009 International Conference on Computational Intelligence and Software …, 2009
52009
Model-based cache-aware dispatching of object-oriented software for multicore systems
T Ovatman, F Buzluca
Journal of Systems and Software 86 (11), 2754-2770, 2013
42013
Applying Enhanced Graph Clustering to Software Dependency Analysis.
T Ovatman, F Buzluca, T Weigert
SEDE, 210-216, 2010
42010
Investigating software design pattern behavior in multiprocessor systems: A case study on observer
T Ovatman, F Buzluca
2008 23rd International Symposium on Computer and Information Sciences, 1-4, 2008
42008
Enhancing Two Phase-Commit Protocol for Replicated State Machines
H Uyanık, T Ovatman
2020 28th Euromicro International Conference on Parallel, Distributed and …, 2020
32020
Fault tolerant VM consolidation for energy-efficient cloud environments
C Secinti, T Ovatman
International Conference on Cloud Computing, 323-333, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20