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 1.1, Room: 1.16.1 |
| Phone: | +49 681 302 5665 |
| eMail: | malte.schledjewski at cispa.saarland |
| Office Hours: | Whenever the door is open |
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 |