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. 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.
  2. 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.
  3. Supporting the composition of domain-specific software via task-specific roles
    Brigitte Boden, Robert Mischke, Alexander Weinert, and Andreas Schreiber. Programming 2020.
  4. Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
    Daniel Neider, Alexander Weinert, and Martin Zimmermann. GandALF 2019.
  5. 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.
  6. Synthesizing Optimally Resilient Controllers
    Daniel Neider, Alexander Weinert, and Martin Zimmermann. CSL 2018.
  7. Parity Games with Weights
    Sven Schewe, Alexander Weinert, and Martin Zimmermann. CSL 2018. PDF.
  8. Quantitative Reductions and Vertex-Ranked Infinite Games
    Alexander Weinert. GandALF 2018.
  9. VLDL Satisfiability and Model Checking via Tree Automata
    Alexander Weinert. FSTTCS 2017. PDF.
  10. Visibly Linear Dynamic Logic
    Alexander Weinert and Martin Zimmermann. FSTTCS 2016. PDF.
  11. Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
    Leander Tentrup, Alexander Weinert, and Martin Zimmermann. GandALF 2016. PDF.
  12. 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.
  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.
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
  • Brian Hampel, Automatisierte Anwendung von Chaos Engineering Methoden zur Untersuchung der Robustheit eines verteilten Softwaresystems
    B.Sc. Thesis, October 2021. HTWK Leipzig.
    Together with Robert Mischke.
  • Lukas Rosenbach, Implementation of a data-flow analysis for Python scripts in RCE
    B.Sc. Thesis, September 2021. DHBW Mannheim.
  • Sebastian Nocke, Automated Eclipse Setup for RCE Development
    Practical Project, September 2021. DHBW Mannheim.
  • Dominik Schneider, Clustering of RCE Workflow Graphs
    B.Sc. Thesis, September 2020. 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.