Concepedia

Athanasios Naskos

AN

5

Publications

122

Citations

5

H-Index

2014

Active since

Affiliations

Aristotle University of Thessaloniki(Current)

Athanasios Naskos is an author at Aristotle University of Thessaloniki specializing in formal verification, computer science, and verification.

Top concepts

EngineeringData ScienceVerificationCloud ComputingComputer ScienceFormal VerificationEdge ComputingData ManagementCluster ComputingSystems Engineering

Publications per year

2014–2022

5

Publications

5

Dependable Horizontal Scaling Based on Probabilistic Model Checking

Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris et al. · 2015 · 56 citations

Mathematical Programming, Cluster Computing, Provisioning (Technology) +22

Cloud elasticity using probabilistic model checking

Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris et al. · arXiv (Cornell University) · 2014 · 27 citations · Full text

Cluster Computing, Provisioning (Technology), Engineering +18

Online Analysis of Security Risks in Elastic Cloud Applications

Athanasios Naskos, Anastasios Gounaris, Haralambos Mouratidis et al. · IEEE Cloud Computing · 2016 · 15 citations

Engineering, Information Security, Verification +23

Implementation and Transfer of Predictive Analytics for Smart Maintenance: A Case Study

Sebastian von Enzberg, Athanasios Naskos, Ifigeneia Metaxa et al. · Frontiers in Computer Science · 2020 · 14 citations · Full text

Investigating thresholding techniques in a real predictive maintenance scenario

Apostolos Giannoulidis, Anastasios Gounaris, Nikodimos Nikolaidis et al. · ACM SIGKDD Explorations Newsletter · 2022 · 10 citations

Rows per page

1–5 of 5