Follow
Alexander Weinert
Alexander Weinert
Research Group Lead Distributed Systems, German Aerospace Center
Verified email at dlr.de - Homepage
Title
Cited by
Cited by
Year
Synthesizing optimally resilient controllers
D Neider, A Weinert, M Zimmermann
Acta Informatica 57 (1), 195-221, 2020
172020
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
142015
RCE: an integration environment for engineering and science
B Boden, J Flink, N Först, R Mischke, K Schaffert, A Weinert, A Wohlan, ...
SoftwareX 15, 100759, 2021
132021
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
13*2017
Visibly Linear Dynamic Logic
A Weinert, M Zimmermann
Theoretical Computer Science 747, 100-117, 2018
122018
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
112020
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
112019
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
102020
Parity Games with Weights
M Zimmermann, A Weinert, S Schewe
Logical Methods in Computer Science 15 (3), 20:1-20:50, 2019
10*2019
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
D Neider, A Weinert, M Zimmermann
GandALF 2019, 2019
62019
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
L Tentrup, A Weinert, M Zimmermann
GandALF 2016, 2015
52015
Orchestrating Tool Chains for Model-based Systems Engineering with RCE
J Flink, R Mischke, K Schaffert, D Schneider, A Weinert
IEEE Aerospace Conference 2022, 2022
32022
Supporting the Composition of Domain-Specific Software via Task-Specific Roles
B Boden, R Mischke, A Weinert, A Schreiber
Interconnecting Code Workshop @ <Programming> 2020, 2020
32020
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
A Blockchain-Based Approach to Provenance and Reproducibility in Research Workflows
K Wittek, N Wittek, J Lawton, I Dohndorf, A Weinert, A Ionita
ICBC 2021, 2021
12021
Quantitative reductions and vertex-ranked infinite games
A Weinert
Information and Computation, 104596, 2020
12020
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
Automated and Manual Testing in the Development of the Research Software RCE
R Mischke, K Schaffert, D Schneider, A Weinert
Software Engineering for Science Workshop @ ICCS 2022, 531-544, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20