Cloud

Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
Journal of Systems & Software 203, Sept. 2023.
Preprint Cite DOI Github
Digital Twins for Autonomic Cloud Application Management
Proc. CCPI 2022. LNNS 451. © Springer 2022.
Preprint Cite Project DOI
A Formal Model of the Kubernetes Container Framework
Proc. ISoLA 2020. LNCS 12476, Springer 2020.
Preprint Cite DOI Artefact
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
Proc. ISoLA 2020. LNCS 12476, Springer 2020
Preprint Cite Project DOI
A configurable and executable model of Spark Streaming on Apache YARN
IJGUC 11 (2): 185 - 195, 2020
Preprint Cite DOI
Checking Modal Contracts for Virtually Timed Ambients
Proc. ICTAC 2018
Preprint Cite Project DOI
Resource-Aware Virtually Timed Ambients
Proc. IFM 2018
Preprint Cite Project DOI
Modeling and Simulation of Spark Streaming
Proc. AINA 2018
Preprint Cite DOI
Virtually timed ambients: A calculus of nested virtualization
Journal of Logic and Algebraic Methods in Programming 94:109-127, 2018
Preprint Cite Project DOI
A formal model of cloud-deployed software and its application to workflow processing
Proc. SoftCOM 2017
Preprint Cite DOI
Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies
Proc. SETTA 2016
Preprint Cite DOI
Modeling Deployment Decisions for Elastic Services with ABS
Proc. IFMCloud 2016
Preprint Cite DOI
Comparing AWS Deployments Using Model-Based Predictions
Proc. ISoLa 2016
Preprint Cite DOI
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
Proc. FASE 2016
Preprint Cite DOI