Alexander Weinert

You can find my complete CV here (in German).

Employment
  • Since July 2020
    :
    Research Group Lead, Distributed Software Systems
    Institute for Software Technology, German Aerospace Center
    ,
    Cologne
  • October 2018 - June 2020
    :
    Research Software Engineer
    Institute for Software Technology, German Aerospace Center
    ,
    Cologne
  • September 2015 - September 2018
    :
    Doctoral Researcher
    Reactive Systems Group, Saarland University
    ,
    Saarbrücken
  • August 2010 - January 2015 (non-continuous)
    :
    Research and Teaching Assistant
    Various Chairs and Institutes of RWTH Aachen University
    ,
    Aachen
  • August 2012 - September 2012
    :
    Research Intern
    Max Planck Institute for Software Systems
    ,
    Saarbrücken

Education

  • December 2018
    :
    Ph.D. in Computer Science
    Saarland University
    ,
    Saarbrücken
  • September 2015
    :
    M.Sc. in Computer Science
    RWTH Aachen University
    ,
    Aachen
  • January 2014 - May 2014
    :
    Exchange Semester
    UC Berkeley
    ,
    Berkeley, California, USA
  • September 2012
    :
    B.Sc. in Computer Science
    RWTH Aachen University
    ,
    Aachen
Publications

You can also find an overview over my publications at my google scholar profile and at my dblp entry.

Conferences
  1. Common Source & Provenance at Virtual Product House: Integration with a Data Management System
    Frank Dressel, Martin Rädel, Alexander Weinert, Malte Struck, Tim Haase, and Matthias Otten. DLRK 2022.
  2. Towards Specificationless Monitoring of Provenance-Emitting Systems
    Martin Stoffers and Alexander Weinert. RV 2022.
  3. Orchestrating Tool Chains for Model-based Systems Engineering with RCE
    Jan Flink, Robert Mischke, Kathrin Schaffert, Dominik Schneider, and Alexander Weinert. IEEE Aerospace Conference 2022.
  4. A Blockchain-Based Approach to Provenance and Reproducibility in Research Workflows
    Kevin Wittek, Neslihan Wittek, James Lawton, Iryna Dohndorf, Alexander Weinert, and Andrei Ionita. IEEE ICBC 2021.
  5. From LTL to rLTL monitoring: improved monitorability through robust semantics
    Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, and Martin Zimmermann. HSCC 2020.
  6. Supporting the composition of domain-specific software via task-specific roles
    Brigitte Boden, Robert Mischke, Alexander Weinert, and Andreas Schreiber. Programming 2020.
  7. Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
    Daniel Neider, Alexander Weinert, and Martin Zimmermann. GandALF 2019.
  8. Distributed Multidisciplinary Optimization and Collaborative Process Development Using RCE
    Brigitte Boden, Jan Flink, Robert Mischke, Kathrin Schaffert, Alexander Weinert, Annika Wohlan, Caslav Ilic, Tobias Wunderlich, Tobias M. Liersch, Stefan Görtz, Pier Davide Ciampa, and Erwin Moerland. AIAA Aviation 2019 Forum.
  9. Synthesizing Optimally Resilient Controllers
    Daniel Neider, Alexander Weinert, and Martin Zimmermann. CSL 2018.
  10. Parity Games with Weights
    Sven Schewe, Alexander Weinert, and Martin Zimmermann. CSL 2018. PDF.
  11. Quantitative Reductions and Vertex-Ranked Infinite Games
    Alexander Weinert. GandALF 2018.
  12. VLDL Satisfiability and Model Checking via Tree Automata
    Alexander Weinert. FSTTCS 2017. PDF.
  13. Visibly Linear Dynamic Logic
    Alexander Weinert and Martin Zimmermann. FSTTCS 2016. PDF.
  14. Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
    Leander Tentrup, Alexander Weinert, and Martin Zimmermann. GandALF 2016. PDF.
  15. Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
    Alexander Weinert and Martin Zimmermann. CSL 2016. PDF.
Journals
  1. RCE: An Integration Environment for Engineering and Science
    Brigitte Boden, Jan Flink, Niklas Först, Robert Mischke, Kathrin Schaffert, Alexander Weinert, Annika Wohlan, and Andreas Schreiber. SoftwareX 15.
  2. Quantitative reductions and vertex-ranked infinite games
    Alexander Weinert. Inf. Comput. 278.
  3. Synthesizing optimally resilient controllers
    Daniel Neider, Alexander Weinert, and Martin Zimmermann. Act. Inf. 57(1-2).
  4. Parity Games with Weights
    Sven Schewe, Alexander Weinert, and Martin Zimmermann. LMCS 15(3).
  5. Visibly Linear Dynamic Logic
    Alexander Weinert and Martin Zimmermann. TCS 747.
  6. Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
    Alexander Weinert and Martin Zimmermann. LMCS 13(3). PDF.
  7. Automata Tutor and what we learned from building an online teaching tool
    Loris D’Antoni, Matthew Weaver, Alexander Weinert, and Rajeev Alur. BEATCS 117. PDF.
Workshops
  1. Predicting Winning Regions in Parity Games via Graph Neural Networks
    Tobias Hecking, Swathy Muthukrishnan, and Alexander Weinert. DAV@CAV 2023.
  2. Automated and Manual Testing in the Development of the Research Software RCE
    Robert Mischke, Kathrin Schaffert, Dominik Schneider, and Alexander Weinert. SE4Science@ICCS 2022.
  3. Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis
    Dominik Schneider and Alexander Weinert. LowCode@MODELS 2021.
Technical Reports
  1. Problem Generation for DFA Construction
    Alexander Weinert. Technical Report UCB/EECS-2015-170. PDF.
Theses
  1. Optimality and Resilience in Parity Games
    Alexander Weinert. Ph.D. Thesis. Saarland University.
  2. Analyzing Arithmetic Prolog Programs by Symbolic Execution
    Alexander Weinert. Master Thesis. RWTH Aachen University. PDF.
  3. Inferring Heap Abstraction Grammars
    Alexander Weinert. Bachelor Thesis. RWTH Aachen University. PDF.
Student Supervision
  • Paula Ruß, Analyzing Provenance Graphs for Programming Errors
    2024, M. Sc. Thesis. TU Berlin.
    Together with André Nichterlein.
  • Lukas Ehlers, Konzeptionierung und Implementierung eines verteilten Universal Execution Agents
    2024, B. Sc. Thesis. HS Offenburg.
    Together with Robert Mischke.
  • Tim Rosenbach, Developing an Interface between an LLM and the GUI of RCE
    2024, B. Sc. Thesis. DHBW Mannheim.
    Together with David Heidrich.
  • Lucas Fournier, Using graph neural networks for predicting winning strategies in parity games
    2023, Research Internship. ENS Lyon.
    Together with Tobias Hecking.
  • Swathy Muthukrishnan, Using graph neural networks for predicting winning regions in parity games
    2023, Research Intern. Stuttgart University.
    Together with Tobias Hecking.
  • Jomana Abdelkader, Predicting Winning Regions in Parity Games via Graph Neural Networks
    2023, M. Sc. Thesis. TU Berlin.
    Together with Tobias Hecking.
  • Swathy Muthukrishnan, Using graph neural networks for predicting winning regions in parity games
    2023, Research Intern. Stuttgart University.
    Together with Tobias Hecking.
  • Sebastian Nocke, Development of an application programming interface for launching and managing dynamic networks of distributed software
    2022, B.Sc. Thesis. DHBW Mannheim.
    Together with Niklas Först and Robert Mischke.
  • Brian Hampel, Automatisierte Anwendung von Chaos Engineering Methoden zur Untersuchung der Robustheit eines verteilten Softwaresystems
    2021, B.Sc. Thesis. HTWK Leipzig.
    Together with Robert Mischke.
  • Lukas Rosenbach, Implementation of a data-flow analysis for Python scripts in RCE
    2021, B.Sc. Thesis. DHBW Mannheim.
  • Sebastian Nocke, Automated Eclipse Setup for RCE Development
    2021, Practical Project. DHBW Mannheim.
  • Tim Rosenbach, Using LLMS for Software Testing
    Since 2021, Research Assistant. DHBW Mannheim.
    Together with Tobias Hecking.
  • Tim Rosenbach, Using LLMs for software testing
    Since 2021, Research Assistant. DHBW Mannheim.
  • Dominik Schneider, Clustering of RCE Workflow Graphs
    2020, B.Sc. Thesis. DHBW Mannheim.
  • Lukas Rosenbach, Applying formal methods to re-engineer legacy software
    Since 2020, Research Assistant. DHBW Mannheim, Bonn University.
  • Sebastian Nocke, Displaying 3D models in RCE. Conducted code reviews.
    2020-2022, Research Assistant. DHBW Mannheim.
  • Marlon Schröter, Manual and automated software testing. Automated design of integration tests and acceptance tests. Conducted code reviews.
    2019-2022, Research Assistant. RWTH Aachen.
  • Dominik Schneider, Design and implementation of caching. Conducted code reviews.
    2019-2022, Research Assistant. DHBW Mannheim.
Selected Talks
  • March 2019
    :
    Introduction to RCE.
    RCE Introductory Workshop, DLR Institute for Engineering Thermodynamics, Stuttgart, Germany
    .
  • November 2018
    :
    Introduction to RCE.
    RCE Introductory Workshop, DLR Simulation and Software Technology, Cologne, Germany
    .
  • September 2018
    :
    Quantitative Reductions and Vertex-Ranked Games.
    Conference presentation, GandALF 2018, Saarbrücken, Germany
    . Slides. Handout.
  • September 2018
    :
    Parity Games with Weights.
    Conference presentation, Highlights 2018, Berlin, Germany
    . Slides. Handout.
  • September 2018
    :
    Parity Games with Weights.
    Conference presentation, CSL 2018, Birmingham, UK
    . Slides. Handout.
  • December 2017
    :
    VLDL Satisfiability and Model Checking via Tree Automata.
    Conference presentation, FSTTCS 2017, Kanpur, India
    . Slides. Handout.
  • September 2017
    :
    Quantitative Reductions and Vertex-Ranked Games.
    Conference presentation, Highlights 2017, London, UK
    . Slides. Handout.
  • April 2017
    :
    Easy to Win, Hard to Master: Playing Infinite Games Optimally.
    Thesis Proposal Talk, Saarbrücken, Germany
    . Slides. Handout.
  • December 2016
    :
    Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs.
    MFV Seminar, Université libre de Bruxelles, Brussels, Belgium
    . Slides. Handout.
  • September 2016
    :
    Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time.
    Conference Presentation, GandALF 2016, Catania, Italy
    . Slides. Handout.
  • September 2016
    :
    Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs.
    Conference Presentation, Highlights 2016, Brussels, Belgium
    . Slides. Handout.
  • August 2016
    :
    Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs.
    Conference Presentation, CSL 2016, Marseilles, France
    . Slides. Handout.
  • June 2015
    :
    Analysis of Arithmetic Prolog Programs using Abstract Interpretation.
    Master Thesis Defense, Research Group Computer Science 2, Aachen University
    . Slides. Handout.
  • February 2015
    :
    Automatically Proving Memory Safety and Termination of C-Programs.
    Seminar Talk, Reactive Systems Group at Saarland University
    . Slides. Handout.