Maria Krotsiani

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 5

Top Topics

Evaluation Methodology

Resource Sharing

Top Venues

OTM Conferences

IEEE Trans. Serv. Comput.

City University London, UK (PHD)

Education History

City University London, UK

PHD

Publications

Claudio A. Ardagna, Nicola Bena, Cédric Hébert, Maria Krotsiani, Christos Kloukinas, George Spanoudakis
Big Data Assurance: An Approach Based on Service-Level Agreements. Big Data 11 (3) (2023)
Luca Pino, George Spanoudakis, Maria Krotsiani, Khaled Mahbub
Pattern-Based Design and Verification of Secure Service Compositions. IEEE Trans. Serv. Comput. 13 (3) (2020)
Claudio Agostino Ardagna, Ernesto Damiani, Maria Krotsiani, Christos Kloukinas, George Spanoudakis
Big Data Assurance Evaluation: An SLA-Based Approach. SCC (2018)
Maria Krotsiani, Christos Kloukinas, George Spanoudakis
Cloud Certification Process Validation Using Formal Methods. ICSOC (2017)
Maria Krotsiani, Christos Kloukinas, George Spanoudakis
Validation of Service Level Agreements Using Probabilistic Model Checking. SCC (2017)
Maria Krotsiani, George Spanoudakis, Christos Kloukinas
Monitoring-Based Certification of Cloud Service Security. OTM Conferences (2015)
Maria Krotsiani, George Spanoudakis
Continuous Certification of Non-repudiation in Cloud Storage Services. TrustCom (2014)
Aleksandar Hudic, Markus Tauber, Thomas Lorünser, Maria Krotsiani, George Spanoudakis, Andreas Mauthe, Edgar R. Weippl
A Multi-layer and MultiTenant Cloud Assurance Evaluation Methodology. CloudCom (2014)