Malte Schledjewski

While being a member of this group or in collaboration with us.

• Leveraging Static Analysis: An IDE for RTLola
  Bernd Finkbeiner, Florian Kohn and Malte Schledjewski · ATVA 2023
• Real-time Visualization of Stream-based Monitoring Data.
  Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold and Malte Schledjewski · RV 2022
• BOCoSy: Small but Powerful Symbolic Output-Feedback Control
  Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski and Anne-Kathrin Schmuck · HSCC 2022
• StreamLAB: Stream-based Monitoring of Cyber-physical Systems
  Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup and Hazem Torfah · CAV 2019
• Real-time Stream Monitoring with StreamLAB
  Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Leander Tentrup and Hazem Torfah · MT-CPS 2019

• Outlier Prediction in Image Streams
  Leonard Niemann · Bachelor Thesis
• Refinement of TSL Specifications for LTL Synthesis
  Jonas Linn · Bachelor Thesis

• From Program Verification to Synthesis

  Advisor·Reactive Systems Group · Summer 2022