Malte Schledjewski

According to our database, Malte Schledjewski authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Leveraging Static Analysis: An IDE for RTLola.

Bernd Finkbeiner, Florian Kohn, Malte Schledjewski

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Real-Time Visualization of Stream-Based Monitoring Data.

Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski

Proceedings of the Runtime Verification - 22nd International Conference, 2022

BOCoSy: Small but Powerful Symbolic Output-Feedback Control.

Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2019

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.

Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah

Proceedings of the Computer Aided Verification - 31st International Conference, 2019