Alexander Weinert
Alexander Weinert
Research Group Leader, German Aerospace Center
Verified email at - Homepage
Cited by
Cited by
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
M Zimmermann, A Weinert
Logical Methods in Computer Science 13 (3), 1-42, 2017
Automata Tutor and what we learned from building an online teaching tool
L D’Antoni, M Weaver, A Weinert, R Alur
Bulletin of EATCS 3 (117), 2015
Visibly Linear Dynamic Logic
A Weinert, M Zimmermann
Theoretical Computer Science 747, 100-117, 2018
Synthesizing optimally resilient controllers
D Neider, A Weinert, M Zimmermann
Acta Informatica 57 (1), 195-221, 2020
Parity Games with Weights
M Zimmermann, A Weinert, S Schewe
Logical Methods in Computer Science 15 (3), 20:1-20:50, 2019
Distributed Multidisciplinary Optimization and Collaborative Process Development Using RCE
B Boden, J Flink, R Mischke, K Schaffert, A Weinert, A Wohlan, C Ilic, ...
AIAA Aviation 2019 Forum, 2019
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
L Tentrup, A Weinert, M Zimmermann
GandALF 2016, 2015
RCE: An Integration Environment for Engineering and Science
B Boden, J Flink, N Först, R Mischke, K Schaffert, A Weinert, A Wohlan, ...
arXiv preprint arXiv:1908.03461, 2019
From LTL to rLTL monitoring: improved monitorability through robust semantics
C Mascle, D Neider, M Schwenger, P Tabuada, A Weinert, ...
HSCC 2020, 1-12, 2020
Problem Generation for DFA Construction
A Weinert
Technical Report, EECS Department, University of California, Berkeley, 2015
Inferring Heap Abstraction Grammars
AD Weinert
Unpublished Bachelor's Thesis. RWTH Aachen University, Aachen, 2012
Overview of Collaborative Multi-Fidelity Multidisciplinary Design Optimization Activities in the DLR Project VicToria
S Görtz, M Abu-Zurayk, C Ilic, TF Wunderlich, S Keye, M Schulze, ...
AIAA Aviation 2020 Forum, 2020
VLDL Satisfiability and Model Checking via Tree Automata
A Weinert
FSTTCS 2017, 2017
Analyzing Arithmetic Prolog Programs by Symbolic Execution
AD Weinert
Unpublished Master's Thesis. RWTH Aachen University, Aachen, 2015
A Blockchain-Based Approach to Provenance and Reproducibility in Research Workflows
K Wittek, N Wittek, J Lawton, I Dohndorf, A Weinert, A Ionita
IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2021, 2021
Quantitative reductions and vertex-ranked infinite games
A Weinert
Information and Computation, 104596, 2020
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
D Neider, A Weinert, M Zimmermann
GandALF 2019, 2019
Optimality and resilience in parity games
AD Weinert
Saarland University, 2018
Supporting the Composition of Domain-Specific Software via Task-Specific Roles
B Boden, R Mischke, A Weinert, A Schreiber
Interconnecting Code Workshop 2020, 0
The system can't perform the operation now. Try again later.
Articles 1–19