Latest
- Declarative Lifecycle Management for Self-Adaptive Systems
- RDFMutate: Mutation-Based Generation of Knowledge Graphs
- Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring
- Declarative Dynamic Object Reclassification
- Language-Based Testing for Knowledge Graphs
- 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