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
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
602021
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
302020
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
272019
Synthesizing optimally resilient controllers
D Neider, A Weinert, M Zimmermann
Acta Informatica 57 (1-2), 195-221, 2020
232020
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
192020
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
182015
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
152021
Visibly Linear Dynamic Logic
A Weinert, M Zimmermann
Theoretical Computer Science 747, 100-117, 2018
152018
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
D Neider, A Weinert, M Zimmermann
GandALF 2019, 2019
13*2019
Parity Games with Weights
M Zimmermann, A Weinert, S Schewe
Logical Methods in Computer Science 15 (3), 20:1-20:50, 2019
13*2019
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
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
82022
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
62022
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
L Tentrup, A Weinert, M Zimmermann
GandALF 2016, 2015
42015
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
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
Visualizing RCE Workflow Executions via W3C Provenance
A Meinecke, MC Struck, A Weinert
2023 IEEE Aerospace Conference, 1-15, 2023
12023
Towards Specificationless Monitoring of Provenance-Emitting Systems
M Stoffers, A Weinert
RV 2022, 253-263, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20