Education

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

1. Robust, expressive, and quantitative linear temporal logics: Pick any two for free.

   Daniel Neider, Alexander Weinert, and Martin Zimmermann. Information and Computation 285.
2. 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.
3. Quantitative reductions and vertex-ranked infinite games

   Alexander Weinert. Information and Computation 278.
4. Synthesizing optimally resilient controllers

   Daniel Neider, Alexander Weinert, and Martin Zimmermann. Acta Informatica 57(1-2).
5. Parity Games with Weights

   Sven Schewe, Alexander Weinert, and Martin Zimmermann. Logical Methods in Computer Science 15(3).
6. Visibly Linear Dynamic Logic

   Alexander Weinert and Martin Zimmermann. Theoretical Computer Science 747.
7. Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs

   Alexander Weinert and Martin Zimmermann. Logical Methods in Computer Science 13(3). PDF.
8. Automata Tutor and what we learned from building an online teaching tool

   Loris D’Antoni, Matthew Weaver, Alexander Weinert, and Rajeev Alur. Bulletin of the EATCS 117. PDF.

1. Visualizing RCE Workflow Executions via W3C Provenance

   Annika Meinecke, Malte Christian Struck, and Alexander Weinert. Under Review.
2. Towards Specificationless Monitoring of Provenance-Emitting Systems

   Martin Stoffers and Alexander Weinert. RV 2022.
3. Common Source & Provenance at Virtual Product House: Integration with a Data Management System

   Frank Dressel, Martin Rädel, Alexander Weinert, Malte Christian Struck, Tobias Haase, and Matthias Otten. DLRK 2022.
4. Orchestrating Tool Chains for Model-based Systems Engineering with RCE

   Jan Flink, Robert Mischke, Kathrin Schaffert, Dominik Schneider, and Alexander Weinert. IEEE AERO 2022.
5. 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.
6. 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.
7. Supporting the composition of domain-specific software via task-specific roles

   Brigitte Boden, Robert Mischke, Alexander Weinert, and Andreas Schreiber. Programming 2020.
8. Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free

   Daniel Neider, Alexander Weinert, and Martin Zimmermann. GandALF 2019.
9. 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.
10. Synthesizing Optimally Resilient Controllers

    Daniel Neider, Alexander Weinert, and Martin Zimmermann. CSL 2018.
11. Parity Games with Weights

    Sven Schewe, Alexander Weinert, and Martin Zimmermann. CSL 2018. PDF.
12. Quantitative Reductions and Vertex-Ranked Infinite Games

    Alexander Weinert. GandALF 2018.
13. VLDL Satisfiability and Model Checking via Tree Automata

    Alexander Weinert. FSTTCS 2017. PDF.
14. Visibly Linear Dynamic Logic

    Alexander Weinert and Martin Zimmermann. FSTTCS 2016. PDF.
15. Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time

    Leander Tentrup, Alexander Weinert, and Martin Zimmermann. GandALF 2016. PDF.
16. Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs

    Alexander Weinert and Martin Zimmermann. CSL 2016. PDF.

1. Predicting Winning Regions in Parity Games via Graph Neural Networks (Extended Abstract)

   Tobias Hecking and Alexander Weinert. Under Review.
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.

1. Problem Generation for DFA Construction

   Alexander Weinert. Technical Report UCB/EECS-2015-170. PDF.

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.

• Brian Hampel, Automatisierte Anwendung von Chaos Engineering Methoden zur Untersuchung der Robustheit eines verteilten Softwaresystems
  October 2021, B.Sc. Thesis. HTWK Leipzig.
  Together with Robert Mischke.
• Lukas Rosenbach, Implementation of a data-flow analysis for Python scripts in RCE
  September 2021, B.Sc. Thesis. DHBW Mannheim.
• Sebastian Nocke, Automated Eclipse Setup for RCE Development
  September 2021, Practical Project. DHBW Mannheim.
• Dominik Schneider, Clustering of RCE Workflow Graphs
  September 2020, B.Sc. Thesis. DHBW Mannheim.

• 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.