Joint Papers

• Compositional Correctness and Completeness for Symbolic Partial Order Reduction
• The Semantically Reflected Digital Twin
• The ABS Simulator Toolchain
• Digital Twin Reconfiguration Using Asset Models
• Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twins
• Knowledge Structures over Simulation Units
• Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
• Programming and Debugging with Semantically Lifted States
• Designing Distributed Control with Hybrid Active Objects.
• Behavioral Contracts for Cooperative Scheduling
• Asynchronous Cooperative Contracts for Cooperative Scheduling