Send email Copy Email Address
PhD Student

Malte Schledjewski

Reliable Security Guarantees

Email

Phone

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Malte Schledjewski

Year 2022

2022-05-04

BOCoSy: Small but Powerful Symbolic Output-Feedback Control

Conference / Medium

HSCC
Proceedings of HSCC22,25th ACM International Conference on Hybrid Systems: Computation and Control

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

Year 2019

2019-04-15

Real-time Stream Monitoring with StreamLAB

Conference / Medium

MT-CPS
MT-CPS4th Workshop on Monitoring and Testing of Cyber-Physical Systems

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2019

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems

Conference / Medium

CAV
Computer Aided Verification - 31th International Conference, CAV

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page