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
Simulating User Journeys with Active Objects
Active Object Languages: Current Research Trends. Springer 2024.
Preprint Cite Project DOI
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
Global Reproducibility through Local Control for Distributed Active Objects
Proc FASE 2020
Preprint Cite DOI
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Proc. FASE 2019
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
Simulating Concurrent Behaviors with Worst-Case Cost Bounds
Proc. FM 2011
Preprint Cite DOI
Dynamic Resource Reallocation Between Deployment Components
Proc. ICFEM 2010
Preprint Cite DOI
Validating Timed Models of Deployment Components with Parametric Concurrency
Proc. FOVEOOS 2010
Preprint Cite DOI