M
Maximilian Schwenger
Researcher at Saarland University
Publications - 25
Citations - 320
Maximilian Schwenger is an academic researcher from Saarland University. The author has contributed to research in topics: Specification language & Runtime verification. The author has an hindex of 6, co-authored 23 publications receiving 129 citations.
Papers
More filters
Posted ContentDOI
FPGA Stream-Monitoring of Real-time Properties
TL;DR: This work presents an FPGA-based monitoring approach by compiling an RTLola specification into synthesizable VHDL code, a stream-based specification language capable of expressing complex real-time properties while providing an upper bound on the execution time and memory requirements.
Book ChapterDOI
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems
Peter Faymonville,Bernd Finkbeiner,Malte Schledjewski,Maximilian Schwenger,Marvin Stenger,Leander Tentrup,Hazem Torfah +6 more
TL;DR: This work demonstrates the applicability of \(\text {StreamLAB} \) on typical monitoring tasks for cyber-physical systems, such as sensor validation and system health checks.
Posted Content
Real-time Stream-based Monitoring.
TL;DR: This work introduces RTLola, a new stream-based specification language for the description of real-time properties of reactive systems that allows for an automatic memory analysis that guides the user in identifying the computationally expensive specifications.
Journal ArticleDOI
FPGA Stream-Monitoring of Real-time Properties
TL;DR: This work presents an FPGA-based monitoring approach by compiling an RTLola specification into synthesizable VHDL code, a stream-based specification language capable of expressing complex real-time properties while providing an upper bound on the execution time and memory requirements.
Book ChapterDOI
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
TL;DR: In this article, the authors present a dynamic monitoring framework for the DLR ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) family of unmanned aircraft based on the formal specification language RTLola.