Alexander Weinert

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 36

Top Topics

Weighted Majority

Nash Equilibria

Top Venues

Publications

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