7 citations · 19 across the 13 of their papers we have counts for
17 papers
Predicting Winning Regions in Parity Games via Graph Neural Networks (Extended Abstract)
Tobias Hecking, Swathy Muthukrishnan, Alexander Weinert
Solving parity games is a major building block for numerous applications in reactive program verification and synthesis. While they can be solved efficiently in practice, no known…
Towards Specificationless Monitoring of Provenance-Emitting Systems
Martin Stoffers, Alexander Weinert
Monitoring often requires insight into the monitored system as well as concrete specifications of expected behavior. More and more systems, however, provide information about their…
Orchestrating Tool Chains for Model-based Systems Engineering with RCE
Jan Flink, Robert Mischke, Kathrin Schaffert +2
When using multiple software tools to analyze, visualize, or optimize models in MBSE, it is often tedious and error-prone to manually coordinate the execution of these tools and to…
Automated and manual testing as part of the research software development process of RCE
Robert Mischke, Kathrin Schaffert, Dominik Schneider +1
Research software is often developed by individual researchers or small teams in parallel to their research work. The more people and research projects rely on the software in ques…
Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis
Dominik Schneider, Alexander Weinert
When designing multidisciplinary tool workflows in visual development environments, researchers and engineers often combine simulation tools which serve a functional purpose and he…
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
Daniel Neider, Alexander Weinert, Martin Zimmermann
Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have b…