Alexander Weinert
Alexander Weinert
Research Group Lead Distributed Systems, German Aerospace Center
Verified email at - Homepage
Cited by
Cited by
Synthesizing optimally resilient controllers
D Neider, A Weinert, M Zimmermann
Acta Informatica 57 (1), 195-221, 2020
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
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
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
Visibly Linear Dynamic Logic
A Weinert, M Zimmermann
Theoretical Computer Science 747, 100-117, 2018
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
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
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
Parity Games with Weights
M Zimmermann, A Weinert, S Schewe
Logical Methods in Computer Science 15 (3), 20:1-20:50, 2019
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
D Neider, A Weinert, M Zimmermann
GandALF 2019, 2019
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
L Tentrup, A Weinert, M Zimmermann
GandALF 2016, 2015
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
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
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
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
Quantitative reductions and vertex-ranked infinite games
A Weinert
Information and Computation, 104596, 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
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
The system can't perform the operation now. Try again later.
Articles 1–20