Latest
- BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
- An LAGC Semantics for Timed Rebeca
- Inside Every Multithreaded Program There Are Active Objects Struggling To Get Out
- Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
- Analysing Self-Adaptive Systems as Software Product Lines
- A Configurable Software Model of a Self-Adaptive Robotic System
- Nudging Strategies for User Journeys: Take a Path on the Wild Side
- Semantic Reflection and Digital Twins: A Comprehensive Overview
- Declarative Lifecycle Management in Digital Twins
- The Semantically Reflected Digital Twin
- Proving Correctness of Parallel Implementations of Transition System Models
- Stochastic Games for User Journeys
- User Journey Games: Automating User-Centric Analysis
- Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
- Simulating User Journeys with Active Objects
- The Semantically Reflected Digital Twin.
- Formal Modelling and Analysis of a Self-Adaptive Robotic System
- 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
- A 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
- UpScale: From Inherent Concurrency to Massive Parallelism through Type-based Optimizations
- 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