Alexander Weinert

According to our database, Alexander Weinert authored at least 25 papers between 2015 and 2025.

Collaborative distances:

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

2025

Quantum Software Ecosystem Design.

Achim Basermann, Michael Epping, Benedikt Fauseweh, Michael Felderer, Elisabeth Lobe, Melven Röhrig-Zöllner, Gary Schmiedinghoff, Peter K. Schuhmacher, Yoshinta Setyawati, Alexander Weinert

Proceedings of the Software Engineering 2025 Companion Proceedings, 2025

Optimization of Hybrid Quantum-Classical Algorithms.

Lian Remme, Alexander Weinert, Andre Waschk

Proceedings of the IEEE International Conference on Quantum Software, 2025

Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models.

Tim Rosenbach, David Heidrich, Alexander Weinert

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2025 - Workshops, Naples, Italy, March 31, 2025

2024

Quantum Software Ecosystem Design.

Achim Basermann, Michael Epping, Benedikt Fauseweh, Michael Felderer, Elisabeth Lobe, Melven Röhrig-Zöllner, Gary Schmiedinghoff, Peter K. Schuhmacher, Yoshinta Setyawati, Alexander Weinert

Proceedings of the Quantum Software - Aspects of Theory and System Design, 2024

2022

Robust, expressive, and quantitative linear temporal logics: Pick any two for free.

Daniel Neider, Alexander Weinert, Martin Zimmermann

Inf. Comput., 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

Quantitative reductions and vertex-ranked infinite games.

Alexander Weinert

Inf. Comput., 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

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

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

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

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

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

Parity Games with Weights.

Sven Schewe, Alexander Weinert, Martin Zimmermann

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Synthesizing Optimally Resilient Controllers.

Daniel Neider, Alexander Weinert, Martin Zimmermann

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

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

Visibly Linear Dynamic Logic.

Alexander Weinert, Martin Zimmermann

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

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

Alexander Weinert, Martin Zimmermann

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 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