Alexander Weinert
Alexander Weinert
Research Group Leader, German Aerospace Center
Verified email at dlr.de - Homepage
Title
Cited by
Cited by
Year
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
12*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
112015
Parity Games with Weights
M Zimmermann, A Weinert, S Schewe
Logical Methods in Computer Science 15 (3), 20:1-20:50, 2019
9*2019
Visibly Linear Dynamic Logic
A Weinert, M Zimmermann
Theoretical Computer Science 747, 100-117, 2018
92018
Synthesizing optimally resilient controllers
D Neider, A Weinert, M Zimmermann
Acta Informatica 57 (1), 195-221, 2020
72020
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
72019
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
L Tentrup, A Weinert, M Zimmermann
GandALF 2016, 2015
42015
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
32019
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
2*2020
Problem Generation for DFA Construction
A Weinert
Technical Report, EECS Department, University of California, Berkeley, 2015
22015
Inferring Heap Abstraction Grammars
AD Weinert
Unpublished Bachelor's Thesis. RWTH Aachen University, Aachen, 2012
22012
VLDL Satisfiability and Model Checking via Tree Automata
A Weinert
FSTTCS 2017, 2017
12017
Analyzing Arithmetic Prolog Programs by Symbolic Execution
AD Weinert
Unpublished Master's Thesis. RWTH Aachen University, Aachen, 2015
12015
Quantitative reductions and vertex-ranked infinite games
A Weinert
Information and Computation, 104596, 2020
2020
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
2020
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
D Neider, A Weinert, M Zimmermann
GandALF 2019, 2019
2019
Optimality and resilience in parity games
AD Weinert
Saarland University, 2018
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–18