ABS

A Formal Model of the Kubernetes Container Framework
Proc. ISoLA 2020. LNCS 12476, Springer 2020.
Preprint Cite DOI Artefact
Global Reproducibility through Local Control for Distributed Active Objects
Proc FASE 2020
Preprint Cite DOI
A configurable and executable model of Spark Streaming on Apache YARN
IJGUC 11 (2): 185 - 195, 2020
Preprint Cite DOI
Asynchronous Cooperative Contracts for Cooperative Scheduling
Proc. SEFM 2019
Preprint Cite DOI
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Proc. FASE 2019
Preprint Cite DOI
Release the Beasts: When Formal Methods Meet Real World Data
Festschrift Farhad Arbab
Preprint Cite DOI
Modeling and Simulation of Spark Streaming
Proc. AINA 2018
Preprint Cite DOI
A Survey of Active Object Languages
ACM Computing Surveys 50 (5): 76:1–76:39, 2017
Preprint Cite DOI
A formal model of cloud-deployed software and its application to workflow processing
Proc. SoftCOM 2017
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
Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types
Proc. FACS 2015
Preprint Cite DOI