Tolga Ovatman
TitleCited byYear
An overview of model checking practices on verification of PLC software
T Ovatman, A Aral, D Polat, AO Ünver
Software and Systems Modeling, 2014
322014
Network-aware embedding of virtual machine clusters onto federated cloud infrastructure
A Aral, T Ovatman
Journal of systems and software 120, 89-104, 2016
212016
A decentralized replica placement algorithm for edge computing
A Aral, T Ovatman
IEEE Transactions on Network and Service Management 15 (2), 516-529, 2018
142018
Exploring implicit parallelism in class diagrams
T Ovatman, T Weigert, F Buzluca
Journal of Systems and Software 84 (5), 821-834, 2011
132011
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
122011
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
112010
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
72015
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
62012
Software design pattern behavior in shared memory multiprocessor systems
T Ovatman, F Buzluca
2009 International Conference on Computational Intelligence and Software …, 2009
52009
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
42016
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
42015
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
42014
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
Practical runtime security mechanisms for an aPaaS cloud
MT Sandıkkaya, B Odevci, T Ovatman
IEEE Globecom Workshops 2014, 53-58, 2014
32014
On Optimizing Resource Allocation and Application Placement Costs in Cloud Systems
C Seçinti, T Ovatman
CLOSER 2014 - Proceedings of the 4th International Conference on Cloud …, 2014
32014
Quality of Service Trade-offs between Central Data Centers and Nano Data Centers.
F Akhbar, T Ovatman
CLOSER, 113-118, 2015
22015
Quality of Service Trade-offs between Central Data Centers and Nano Data Centers.
F Akhbar, T Ovatman
CLOSER, 113-118, 2015
22015
Model Driven Cache-Aware Scheduling of Object Oriented Software for Chip Multiprocessors
T Ovatman, F Buzluca
2011 14th Euromicro Conference on Digital System Design, 719-726, 2011
22011
The system can't perform the operation now. Try again later.
Articles 1–20