Maria Krotsiani

According to our database1, Maria Krotsiani authored at least 9 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Big Data Assurance: An Approach Based on Service-Level Agreements.
Big Data, June, 2023

2020
Pattern-Based Design and Verification of Secure Service Compositions.
IEEE Trans. Serv. Comput., 2020

2018
Big Data Assurance Evaluation: An SLA-Based Approach.
Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

2017
Cloud Certification Process Validation Using Formal Methods.
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

Validation of Service Level Agreements Using Probabilistic Model Checking.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016
Model driven certification of Cloud service security based on continuous monitoring.
PhD thesis, 2016

2015
Monitoring-Based Certification of Cloud Service Security.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

2014
Continuous Certification of Non-repudiation in Cloud Storage Services.
Proceedings of the 13th IEEE International Conference on Trust, 2014

A Multi-layer and MultiTenant Cloud Assurance Evaluation Methodology.
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014


  Loading...