Latest

• Digital Twin Engineering
• Towards a Proof System for Probabilistic Dynamic Logic
• Mutation-Based Integration Testing of Knowledge Graph Applications
• Semantic Reflection and Digital Twins: A Comprehensive Overview
• Declarative Lifecycle Management in Digital Twins
• The Semantically Reflected Digital Twin
• GreenhouseDT: An Exemplar for Digital Twins
• Active Object Languages: Current Research Trends
• Preface for the special issue on 'Fundamental Approaches to Software Engineering (FASE 2022)'
• The Semantically Reflected Digital Twin.
• Compositional Correctness and Completeness for Symbolic Partial Order Reduction
• 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
• 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