Malte Schledjewski

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Feedback Controller

Symbolic Execution

Dynamic Analysis

Top Venues

Publications

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