ABS

Proving Correctness of Parallel Implementations of Transition System Models
ACM Transactions on Programming Languages and Systems (TOPLAS): 46 (3), 2024.
Preprint Cite DOI
Proving Correctness of Parallel Implementations of Transition System Models
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
ACM Transactions on Programming Languages and Systems (TOPLAS) 46 (1), 2024.
Preprint Cite DOI
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
Journal of Systems & Software 203, Sept. 2023.
Preprint Cite DOI Github
The ABS Simulator Toolchain
Science of Computer Programming 223, 2022.
Cite DOI
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
Proc. COORDINATION 2021. LNCS 12717, Springer 2021.
Preprint Cite DOI
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 Project Project 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
Integrating deployment architectures and resource consumption in timed object-oriented models
Journal of Logical and Algebraic Methods in Programming 84 (1): 67-91, 2015
Preprint Cite DOI
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
Journal of Service-Oriented Computing and Applications 8 (4):323-339, 2014
Preprint Cite DOI
Deployment Variability in Delta-Oriented Models
Proc. ISoLa 2014
Preprint Cite DOI
Fault Model Design Space for Cooperative Concurrency
Proc. ISoLa 2014
Preprint Cite DOI
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling
Proc. ISoLa 2014
Preprint Cite DOI
User-defined Schedulers for Real-Time Concurrent Objects
Innovations in Systems and Software Engineering 9 (1):29-43, 2013
Preprint Cite DOI
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS
Proc. ICFEM 2012
Preprint Cite DOI
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
Proc. ESOCC 2012
Preprint Cite DOI
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
Proc. FOVEOOS 2011
Preprint Cite DOI
ABS: A Core Language for Abstract Behavioral Specification
Proc. FMCO 2010
Preprint Cite DOI
Fault in the Future
Proc. COORDINATION 2011
Preprint Cite DOI
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Proc. SFM 2011
Preprint Cite DOI