E-mail senden E-Mail Adresse kopieren
Doktorand:in

Jan Baumeister

E-Mail

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Weitere Informationen

Veröffentlichungen von Jan Baumeister

Jahr 2020

2020-08-20

Automatic Optimizations for Stream-based Monitoring Languages

Konferenz / Medium

International Conference on Runtime Verification (RV)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2020

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

Konferenz / Medium

Computer Aided Verification (CAV)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2019

2019-10-31

FPGA Stream-Monitoring of Real-time Properties

Artikel

ACM Transactions on Embedded Computing Systems

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen