Alexander Weinert

46 papers B 4Journal 26Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models. ICSTW Tim Rosenbach, David Heidrich, Alexander Weinert
2025	J	`jnl`	Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models. CoRR Tim Rosenbach, David Heidrich, Alexander Weinert
2025	—	`conf`	Optimization of Hybrid Quantum-Classical Algorithms. QSW Lian Remme, Alexander Weinert, Andre Waschk
2025	J	`jnl`	Optimization of Hybrid Quantum-Classical Algorithms. CoRR Lian Remme, Alexander Weinert, Andre Waschk
2025	—	`conf`	Quantum Software Ecosystem Design. Software Engineering Companion Achim Basermann, Michael Epping, Benedikt Fauseweh, Michael Felderer, Elisabeth Lobe, Melven Röhrig-Zöllner, Gary Schmiedinghoff, Peter K. Schuhmacher, Yoshinta Setyawati, Alexander Weinert
2025	—	`conf`	Supporting Virtual Aircraft Certification via Provenance. Provenance Week@SIGMOD Paula Natascha Ruß, Andreas Schreiber, Malte Christian Struck, Alexander Weinert
2024	—	`ch.`	Quantum Software Ecosystem Design. Quantum Software Achim Basermann, Michael Epping, Benedikt Fauseweh, Michael Felderer, Elisabeth Lobe, Melven Röhrig-Zöllner, Gary Schmiedinghoff, Peter K. Schuhmacher, Yoshinta Setyawati, Alexander Weinert
2024	J	`jnl`	Quantum Software Ecosystem Design. CoRR Achim Basermann, Michael Epping, Benedikt Fauseweh, Michael Felderer, Elisabeth Lobe, Melven Röhrig-Zöllner, Gary Schmiedinghoff, Peter K. Schuhmacher, Yoshinta Setyawati, Alexander Weinert
2022	—	`conf`	Automated and Manual Testing in the Development of the Research Software RCE. ICCS (4) Robert Mischke, Kathrin Schaffert, Dominik Schneider, Alexander Weinert
2022	J	`jnl`	Automated and manual testing as part of the research software development process of RCE. CoRR Robert Mischke, Kathrin Schaffert, Dominik Schneider, Alexander Weinert
2022	J	`jnl`	Orchestrating Tool Chains for Model-based Systems Engineering with RCE. CoRR Jan Flink, Robert Mischke, Kathrin Schaffert, Dominik Schneider, Alexander Weinert
2022	J	`jnl`	Predicting Winning Regions in Parity Games via Graph Neural Networks (Extended Abstract). CoRR Tobias Hecking, Alexander Weinert
2022	J	`jnl`	Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Inf. Comput. Daniel Neider, Alexander Weinert, Martin Zimmermann
2022	B	`conf`	Towards Specificationless Monitoring of Provenance-Emitting Systems. RV Martin Stoffers, Alexander Weinert
2022	J	`jnl`	Towards Specificationless Monitoring of Provenance-Emitting Systems. CoRR Martin Stoffers, Alexander Weinert
2021	—	`conf`	A Blockchain-Based Approach to Provenance and Reproducibility in Research Workflows. IEEE ICBC Kevin Wittek, Neslihan Wittek, James Lawton, Iryna Dohndorf, Alexander Weinert, Andrei Ionita
2021	J	`jnl`	From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal Methods Syst. Des. Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2021	J	`jnl`	Quantitative reductions and vertex-ranked infinite games. Inf. Comput. Alexander Weinert
2021	J	`jnl`	RCE: An Integration Environment for Engineering and Science. SoftwareX Brigitte Boden, Jan Flink, Niklas Först, Robert Mischke, Kathrin Schaffert, Alexander Weinert, Annika Wohlan, Andreas Schreiber
2021	—	`conf`	Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis. MoDELS (Companion) Dominik Schneider, Alexander Weinert
2021	J	`jnl`	Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis. CoRR Dominik Schneider, Alexander Weinert
2020	—	`conf`	From LTL to rLTL monitoring: improved monitorability through robust semantics. HSCC Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2020	—	`conf`	Supporting the composition of domain-specific software via task-specific roles. Programming Brigitte Boden, Robert Mischke, Alexander Weinert, Andreas Schreiber
2020	J	`jnl`	Synthesizing optimally resilient controllers. Acta Informatica Daniel Neider, Alexander Weinert, Martin Zimmermann
2019	J	`jnl`	Parity Games with Weights. Log. Methods Comput. Sci. Sven Schewe, Alexander Weinert, Martin Zimmermann
2019	J	`jnl`	RCE: An Integration Environment for Engineering and Science. CoRR Brigitte Boden, Jan Flink, Robert Mischke, Kathrin Schaffert, Alexander Weinert, Annika Wohlan, Andreas Schreiber
2019	—	`conf`	Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. GandALF Daniel Neider, Alexander Weinert, Martin Zimmermann
2018	J	`jnl`	From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. CoRR Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2018	—	`—`	Optimality and resilience in parity games. Alexander Weinert
2018	B	`conf`	Parity Games with Weights. CSL Sven Schewe, Alexander Weinert, Martin Zimmermann
2018	J	`jnl`	Parity Games with Weights. CoRR Sven Schewe, Alexander Weinert, Martin Zimmermann
2018	—	`conf`	Quantitative Reductions and Vertex-Ranked Infinite Games. GandALF Alexander Weinert
2018	J	`jnl`	Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. CoRR Daniel Neider, Alexander Weinert, Martin Zimmermann
2018	B	`conf`	Synthesizing Optimally Resilient Controllers. CSL Daniel Neider, Alexander Weinert, Martin Zimmermann
2018	J	`jnl`	Visibly linear dynamic logic. Theor. Comput. Sci. Alexander Weinert, Martin Zimmermann
2017	J	`jnl`	Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. Log. Methods Comput. Sci. Alexander Weinert, Martin Zimmermann
2017	J	`jnl`	Quantitative Reductions and Vertex-Ranked Infinite Games. CoRR Alexander Weinert
2017	J	`jnl`	Synthesizing Optimally Resilient Controllers. CoRR Daniel Neider, Alexander Weinert, Martin Zimmermann
2017	—	`conf`	VLDL Satisfiability and Model Checking via Tree Automata. FSTTCS Alexander Weinert
2017	J	`jnl`	VLDL Satisfiability and Model Checking via Tree Automata. CoRR Alexander Weinert
2016	—	`conf`	Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time GandALF Leander Tentrup, Alexander Weinert, Martin Zimmermann
2016	B	`conf`	Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. CSL Alexander Weinert, Martin Zimmermann
2016	J	`jnl`	Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. CoRR Alexander Weinert, Martin Zimmermann
2016	—	`conf`	Visibly Linear Dynamic Logic. FSTTCS Alexander Weinert, Martin Zimmermann
2015	J	`jnl`	Automata Tutor and what we learned from building an online teaching tool. Bull. EATCS Loris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur
2015	J	`jnl`	Visibly Linear Dynamic Logic. CoRR Alexander Weinert, Martin Zimmermann