| A decentralized replica placement algorithm for edge computing A Aral, T Ovatman IEEE transactions on network and service management 15 (2), 516-529, 2018 | 144 | 2018 |
| An overview of model checking practices on verification of PLC software T Ovatman, A Aral, D Polat, AO Ünver Software and Systems Modeling, 2014 | 99 | 2014 |
| Network-aware embedding of virtual machine clusters onto federated cloud infrastructure A Aral, T Ovatman Journal of systems and software 120, 89-104, 2016 | 34 | 2016 |
| Trilateration in indoor positioning with an uncertain reference point E Teoman, T Ovatman 2019 IEEE 16th International Conference on Networking, Sensing and Control …, 2019 | 28 | 2019 |
| Exploring implicit parallelism in class diagrams T Ovatman, T Weigert, F Buzluca Journal of Systems and Software 84 (5), 821-834, 2011 | 15 | 2011 |
| 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 | 14 | 2010 |
| 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 | 13 | 2015 |
| 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 | 11 | 2015 |
| 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 | 11 | 2011 |
| 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 | 9 | 2019 |
| 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 | 9 | 2016 |
| 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 | 8 | 2022 |
| 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 | 7 | 2014 |
| 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 | 7 | 2012 |
| Sustainable environmental monitoring via energy and information efficient multi-node placement S Ahmad, H Uyanık, T Ovatman, MT Sandıkkaya, V De Maio, I Brandić, ... IEEE Internet of Things Journal, 2023 | 6 | 2023 |
| An empirical study on scrum application patterns in distributed teams I Seckin, T Ovatman Proceedings of the 13th International Conference on Global Software …, 2018 | 6 | 2018 |
| Testing of Web Services using Behavior-Driven Development AF Oruç, T Ovatman International Conference on Cloud Computing and Services Science 2, 85-92, 2016 | 6 | 2016 |
| Practical runtime security mechanisms for an aPaaS cloud MT Sandıkkaya, B Odevci, T Ovatman IEEE Globecom Workshops 2014, 53-58, 2014 | 6 | 2014 |
| A comparative study of meta-data-based microservice extraction tools K Akkaya, T Ovatman International Journal of Service Science, Management, Engineering, and …, 2022 | 5 | 2022 |
| Distributed application checkpointing for replicated state machines Ö Çelikel, T Ovatman Scalable Computing: Practice and Experience 22 (1), 67-79, 2021 | 5 | 2021 |
Atakan AralUniversity of ViennaVerified email at univie.ac.at
