Send email Copy Email Address
PhD Student

Jan Baumeister

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Jan Baumeister

Year 2020

2020-08-20

Automatic Optimizations for Stream-based Monitoring Languages

Conference / Medium

International Conference on Runtime Verification (RV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2020

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

Conference / Medium

Computer Aided Verification (CAV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2019

2019-10-31

FPGA Stream-Monitoring of Real-time Properties

Article

ACM Transactions on Embedded Computing Systems

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page