7 citations · 19 across the 13 of their papers we have counts for
4 papers · 1 filter
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…