StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. - Peter Faymonville; Bernd Finkbeiner; Malte Schledjewski; Maximilian Schwenger; Marvin Stenger; Leander Tentrup; Hazem Torfah (CAV (1), 2019)

BOCoSy: Small but Powerful Symbolic Output-Feedback Control. - Bernd Finkbeiner; Kaushik Mallik; Noemi Passing; Malte Schledjewski; Anne-Kathrin Schmuck (HSCC, 2022)

Real-Time Visualization of Stream-Based Monitoring Data. - Jan Baumeister; Bernd Finkbeiner; Stefan Gumhold; Malte Schledjewski (RV, 2022)

Leveraging Static Analysis: An IDE for RTLola. - Bernd Finkbeiner; Florian Kohn; Malte Schledjewski (ATVA, 2023)