research
∙
10/18/2022
Predicting Winning Regions in Parity Games via Graph Neural Networks (Extended Abstract)
Solving parity games is a major building block for numerous applications...
share
research
∙
07/21/2022
Towards Specificationless Monitoring of Provenance-Emitting Systems
Monitoring often requires insight into the monitored system as well as c...
research
∙
07/11/2022
Orchestrating Tool Chains for Model-based Systems Engineering with RCE
When using multiple software tools to analyze, visualize, or optimize mo...
research
∙
04/12/2022
Automated and manual testing as part of the research software development process of RCE
Research software is often developed by individual researchers or small ...
research
∙
11/30/2021
Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis
When designing multidisciplinary tool workflows in visual development en...
research
∙
09/17/2019
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
Linear Temporal Logic (LTL) is the standard specification language for r...
research
∙
08/09/2019
RCE: An Integration Environment for Engineering and Science
We present RCE (Remote Component Environment), an open-source framework ...
research
∙
09/10/2018
Quantitative Reductions and Vertex-Ranked Infinite Games
We introduce quantitative reductions, a novel technique for structuring ...
research
∙
08/27/2018
Robust, Expressive, and Quantitative Linear Temporal Logics
Linear Temporal Logic (LTL) is the standard specification language for r...
research
∙
07/21/2018
Robust Monitoring of Linear Temporal Properties
Runtime verification is commonly used to detect and, if possible, react ...
research
∙
04/17/2018
Parity Games with Weights
Quantitative extensions of parity games have recently attracted signific...
research
∙
09/14/2017
