Athanasios Naskos
Aristotle University of Thessaloniki
24 Papers
80 Citations
Athanasios Naskos is an academic researcher from Aristotle University of Thessaloniki. The author has contributed to research in topics: Computer science & Predictive maintenance. The author has an hindex of 7, co-authored 21 publications.
Chat about Author
Papers
Dependable horizontal scaling based on probabilistic model checking
Athanasios Naskos,Emmanouela Stachtiari,Anastasios Gounaris,Panagiotis Katsaros,Dimitrios Tsoumakos,Ioannis Konstantinou,Spyros Sioutas +6 more
- 04 May 2015
TL;DR: This work proposes an extensible approach to enforcing elasticity through the dynamic instantiation and online quantitative verification of Markov Decision Processes (MDP) using probabilistic model checking and shows that this proposal can improve upon the state-of-the-art in significantly decreasing under-provisioning while avoiding over-Provisioning.
Cloud Elasticity: A Survey
Athanasios Naskos,Anastasios Gounaris,Spyros Sioutas +2 more
- 14 Sep 2015
TL;DR: An up-to-date review of the latest elasticity handling approaches and a detailed classification scheme, focusing on the elasticity decision making techniques are presented.
23
Online Analysis of Security Risks in Elastic Cloud Applications
TL;DR: The authors advocate a solution that can be efficiently realized through modeling the application behavior as a Markov decision process, on top of which probabilistic model checking is applied, and its use in online analysis and decision making regarding elasticity decisions is illustrated.
16
Event-Based Predictive Maintenance on Top of Sensor Data in a Real Industry 4.0 Case Study
Athanasios Naskos,Georgia Kougka,Theodoros Toliopoulos,Anastasios Gounaris,Cosmas Vamvalis,Daniel Caljouw +5 more
- 16 Sep 2019
TL;DR: A novel methodology is proposed that combines and extends the state-of-the-art in event-based predictions with advanced time-series analytics, and renders the technique applicable directly onto the sensor data, as it is produced in a modern factory setting.
15
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources
Athanasios Naskos,Emmanouela Stachtiari,Panagiotis Katsaros,Anastasios Gounaris +3 more
- 01 Jan 2015
TL;DR: This research presents the specification of an appropriate MDP model for the provisioning of cloud resources, the generation of a parametric model with system-specific parameters and the dynamic instantiation of MDPs at runtime based on logged and current measurements.
14