Formal Methods.- Testing conformance in multi-component enterprise application management.- Formalizing Event-Driven Behavior of Serverless Applications.- Probabilistic Verification of Outsourced Computation Based on Novel Reversible PUFs.- Cloud Service and Platform Selection.- Multiplayer game backends: A Comparison of commodity cloud-based approaches.- Are Cloud Platforms Ready for Multi-Cloud?.- Identification of Comparison Key Elements and their Relationships for Cloud Service Selection.- Deployment and Workflows.- Deployable Self-Contained Workflow Models.- Technology-Agnostic Declarative Deployment Automation of Cloud Applications.- Blockchain-Based Healthcare Workflows in Federated Hospital Clouds.- Monitoring.- Monitoring Behavioral Compliance with Architectural Patterns based on Complex Event Processing.- Towards Real-Time Monitoring of Data Centers using Edge Computing.- Modeling Users' Performance: Predictive Analytics in an IoT Cloud Monitoring System.- Data Distribution and Analytics.- Multi-Source Distributed System Data for AI-powered Analytics.- Blockchain- and IPFS-based Data Distribution for the Internet of Things.