Alexander Weinert

According to our database, Alexander Weinert authored at least 21 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Predicting Winning Regions in Parity Games via Graph Neural Networks (Extended Abstract).

Tobias Hecking, Alexander Weinert

CoRR, 2022

Orchestrating Tool Chains for Model-based Systems Engineering with RCE.

Jan Flink, Robert Mischke, Kathrin Schaffert, Dominik Schneider, Alexander Weinert

CoRR, 2022

Automated and manual testing as part of the research software development process of RCE.

Robert Mischke, Kathrin Schaffert, Dominik Schneider, Alexander Weinert

CoRR, 2022

Towards Specificationless Monitoring of Provenance-Emitting Systems.

Martin Stoffers, Alexander Weinert

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Automated and Manual Testing in the Development of the Research Software RCE.

Robert Mischke, Kathrin Schaffert, Dominik Schneider, Alexander Weinert

Proceedings of the Computational Science - ICCS 2022, 2022

2021

RCE: An Integration Environment for Engineering and Science.

Brigitte Boden, Jan Flink, Niklas Först, Robert Mischke, Kathrin Schaffert, Alexander Weinert, Annika Wohlan, Andreas Schreiber

SoftwareX, 2021

From LTL to rLTL monitoring: improved monitorability through robust semantics.

Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann

Formal Methods Syst. Des., 2021

Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis.

Dominik Schneider, Alexander Weinert

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

A Blockchain-Based Approach to Provenance and Reproducibility in Research Workflows.

Kevin Wittek, Neslihan Wittek, James Lawton, Iryna Dohndorf, Alexander Weinert, Andrei Ionita

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

2020

Synthesizing optimally resilient controllers.

Daniel Neider, Alexander Weinert, Martin Zimmermann

Acta Informatica, 2020

Supporting the composition of domain-specific software via task-specific roles.

Brigitte Boden, Robert Mischke, Alexander Weinert, Andreas Schreiber

Proceedings of the Programming'20: 4th International Conference on the Art, 2020

2019

Parity Games with Weights.

Sven Schewe, Alexander Weinert, Martin Zimmermann

Log. Methods Comput. Sci., 2019

Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free.

Daniel Neider, Alexander Weinert, Martin Zimmermann

Proceedings of the Proceedings Tenth International Symposium on Games, 2019

RCE: An Integration Environment for Engineering and Science.

Brigitte Boden, Jan Flink, Robert Mischke, Kathrin Schaffert, Alexander Weinert, Annika Wohlan, Andreas Schreiber

CoRR, 2019

2018

Optimality and resilience in parity games.

Alexander Weinert

PhD thesis, 2018

Visibly linear dynamic logic.

Alexander Weinert, Martin Zimmermann

Theor. Comput. Sci., 2018

Quantitative Reductions and Vertex-Ranked Infinite Games.

Alexander Weinert

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

2017

Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs.

Alexander Weinert, Martin Zimmermann

Log. Methods Comput. Sci., 2017

VLDL Satisfiability and Model Checking via Tree Automata.

Alexander Weinert

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

2016

Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time

Leander Tentrup, Alexander Weinert, Martin Zimmermann

Proceedings of the Seventh International Symposium on Games, 2016

2015

Automata Tutor and what we learned from building an online teaching tool.

Loris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur

Bull. EATCS, 2015