Joint Papers
- Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
- SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
- Building User Journey Games from Multi-Party Event Logs
- The Semantically Reflected Digital Twin
- The ABS Simulator Toolchain
- A Formal Model of Metacontrol in Maude
- Digital Twin Reconfiguration Using Asset Models
- Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twins
- Weighted Games for User Journeys
- Smart Journey Mining for Improved Service Quality
- Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
- Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
- A Formal Model of the Kubernetes Container Framework
- Designing Distributed Control with Hybrid Active Objects.
- SymPaths: Symbolic Execution Meets Partial Order Reduction
- A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
- Deployment by Construction for Multicore Architectures
- Release the Beasts: When Formal Methods Meet Real World Data
- A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
- Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
- A formal model of cloud-deployed software and its application to workflow processing
- Modeling Deployment Decisions for Elastic Services with ABS
- Meeting Deadlines, Elastically.
- An Operational Semantics of Cache Coherent Multicore Architectures
- A Maude Framework for Cache Coherent Multicore Architectures
- History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
- Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
- Integrating deployment architectures and resource consumption in timed object-oriented models
- Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
- Deployment Variability in Delta-Oriented Models
- User-defined Schedulers for Real-Time Concurrent Objects
- Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS
- A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
- Models of Rate Restricted Communication for Concurrent Objects
- Simulating Concurrent Behaviors with Worst-Case Cost Bounds
- Dynamic Resource Reallocation Between Deployment Components
- Validating Timed Models of Deployment Components with Parametric Concurrency