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](/img/profile/Malte_Schledjewski.jpeg)
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 |