research
∙
09/19/2023
Modular Analysis of Distributed Hybrid Systems using Post-Regions (Full Version)
We introduce a new approach to analyze distributed hybrid systems by a g...
share
research
∙
05/12/2023
Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users
Establishing digital twins is a non-trivial endeavour especially when us...
research
∙
08/09/2022
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics
We present a novel and well automatable approach to formal verification ...
research
∙
10/05/2021
Deductive Verification of Programs with Underspecified Semantics by Model Extraction
We present a novel and well automatable approach to formal verification ...
research
∙
02/19/2021
Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects
We present the Crowbar tool, a deductive verification system for the ABS...
research
∙
12/23/2019
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability
Development processes in various engineering disciplines are incorporati...
research
∙
06/13/2019
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
Formal modeling of cyber-physical systems (CPS) is hard, because they po...
research
∙
04/30/2019
Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report)
We present Behavioral Program Logic (BPL), a dynamic logic for trace pro...
research
∙
10/05/2018
Prototyping Formal System Models with Active Objects
We propose active object languages as a development tool for formal syst...
research
∙
02/23/2018