Alexander Weinert
Alexander Weinert
Research Group Lead Distributed Systems, German Aerospace Center
Verified email at - Homepage
Cited by
Cited by
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
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
Synthesizing optimally resilient controllers
D Neider, A Weinert, M Zimmermann
Acta Informatica 57 (1-2), 195-221, 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
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
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
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
D Neider, A Weinert, M Zimmermann
GandALF 2019, 2019
Parity Games with Weights
M Zimmermann, A Weinert, S Schewe
Logical Methods in Computer Science 15 (3), 20:1-20:50, 2019
Common Source & Provenance at Virtual Product House: Integration with a Data Management System
F Dressel, M Rädel, A Weinert, M Struck, T Haase, M Otten
Deutscher Luft-und Raumfahrtkongress 2022, 2022
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
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
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
L Tentrup, A Weinert, M Zimmermann
GandALF 2016, 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
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
Visualizing RCE Workflow Executions via W3C Provenance
A Meinecke, MC Struck, A Weinert
2023 IEEE Aerospace Conference, 1-15, 2023
Towards Specificationless Monitoring of Provenance-Emitting Systems
M Stoffers, A Weinert
RV 2022, 253-263, 2022
The system can't perform the operation now. Try again later.
Articles 1–20