Chair for Verification and
Synthesis of Reactive Systems
People
Research
Publications
Tools
Student Projects
Courses
Malte Schledjewski
Now at
VIVAVIS
Publications
While being a member of this group or in collaboration with us.
Leveraging Static Analysis: An IDE for RTLola
Bernd Finkbeiner
,
Florian Kohn
and
Malte Schledjewski
·
ATVA 2023
Real-time Visualization of Stream-based Monitoring Data.
Jan Baumeister
,
Bernd Finkbeiner
,
Stefan Gumhold
and
Malte Schledjewski
·
RV 2022
BOCoSy: Small but Powerful Symbolic Output-Feedback Control
Bernd Finkbeiner
,
Kaushik Mallik
,
Noemi Passing
,
Malte Schledjewski
and
Anne-Kathrin Schmuck
·
HSCC 2022
StreamLAB: Stream-based Monitoring of Cyber-physical Systems
Peter Faymonville
,
Bernd Finkbeiner
,
Malte Schledjewski
,
Maximilian Schwenger
,
Marvin Stenger
,
Leander Tentrup
and
Hazem Torfah
·
CAV 2019
Real-time Stream Monitoring with StreamLAB
Peter Faymonville
,
Bernd Finkbeiner
,
Malte Schledjewski
,
Maximilian Schwenger
,
Leander Tentrup
and
Hazem Torfah
·
MT-CPS 2019
Advised Theses and Student Projects
Outlier Prediction in Image Streams
Leonard Niemann
·
Bachelor Thesis
Refinement of TSL Specifications for LTL Synthesis
Jonas Linn
·
Bachelor Thesis
Teaching Activities
From Program Verification to Synthesis
Advisor
·
Reactive Systems Group
·
Summer 2022
Contact
Data Privacy Policy
Imprint
Home
People
Publications
More
Research
Tools
Projects
Courses