Malte Schledjewski

About Me

I am a Ph.D. student at Saarland University working at the CISPA Helmholtz Center for Information Security. I am also a member of the Graduate School of Computer Science.

Contact

Reactive Systems Group
Saarland University
Building: E 9.1, Room: 1.12
Phone: +49 681 87083 2685
eMail: malte.schledjewski at cispa.saarland
Office Hours: Whenever the door is open
A profile picture of Malte Schledjewski

Publications

[FKS23] Leveraging Static Analysis: An IDE for RTLola.
Joint work with Bernd Finkbeiner, and Florian Kohn. 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023). October 2023
[BFGS22] Real-time Visualization of Stream-based Monitoring Data.
Joint work with Jan Baumeister, Bernd Finkbeiner, and Stefan Gumhold . RV 2022. September 2022.
[FMP+22] BOCoSy: Small but Powerful Symbolic Output-Feedback Control.
Joint work with Bernd Finkbeiner, Kaushik Mallik, Noemi Passing and Anne-Kathrin Schmuck. HSCC 2022. May 2022.
[FFS+19b] StreamLAB: Stream-based Monitoring of Cyber-physical Systems.
Joint work with Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Marvin Stenger, Leander Tentrup and Hazem Torfah. CAV 2019. July 2019.
[FFS+19a] Real-time Stream Monitoring with StreamLAB.
Joint work with Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger, Leander Tentrup and Hazem Torfah. MT-CPS 2019. March 2019.

Advised Theses

[Linn22] Refinement of TSL Specifications for LTL Synthesis
Bachelor Thesis, 2022
Leonard Niemann Outlier Prediction in Image Streams
Bachelor Thesis, 2021

Theses

MapViewer – eine Softwarekomponente zur Visualisierung statistischer und georeferenzierter Daten Bachelor Thesis, Hochschule Kaiserslautern — University of Applied Sciences, 2015

Teaching

Summer 2018 Coach for Mathematics Precourse
Summer 2018 Teaching assistant for Embedded Systems
Summer 2017 Coach for Mathematics Precourse
received the BESTE award for student initiatives and extraordinary commitment
Winter 2016 Tutor for Algorithms and Data Structures at the Department 1: Algorithms and Complexity of the Max-Planck Institute for Informatics
Summer 2016 Coach for Mathematics Precourse
Summer 2012 Tutor for Einführung in wissenschaftliches Programmieren at the TU Kaiserslautern