Latest
- Simulating User Journeys with Active Objects
- The Semantically Reflected Digital Twin
- Reply to Ekström and Ottersen: Real-time access to data during outbreaks is a key to avoid a local epidemic becoming a global pandemic
- How to Avoid a Local Epidemic Becoming a Global Pandemic
- A Semantically Reflected Digital Twin
- The ABS Simulator Toolchain
- Digital Twin Reconfiguration Using Asset Models
- Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twins
- Digital Twins for Autonomic Cloud Application Management
- Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
- Programming and Debugging with Semantically Lifted States
- Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
- Designing Distributed Control with Hybrid Active Objects.
- Global Reproducibility through Local Control for Distributed Active Objects
- Release the Beasts: When Formal Methods Meet Real World Data
- EasyInterface: A toolkit for rapid development of GUIs for research prototype tools
- 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
- Fault Model Design Space for Cooperative Concurrency
- Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling
- User-defined Schedulers for Real-Time Concurrent Objects
- Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS
- Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
- A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
- ABS: A Core Language for Abstract Behavioral Specification
- Models of Rate Restricted Communication for Concurrent Objects
- Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
- Simulating Concurrent Behaviors with Worst-Case Cost Bounds
- Dynamic Resource Reallocation Between Deployment Components
- Lightweight Time Modeling in Timed Creol
- Validating Timed Models of Deployment Components with Parametric Concurrency
- Dynamic Symbolic Execution for Testing Distributed Objects
- Testing Concurrent Objects with Application-Specific Schedulers