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 2025

2025

A Tutorial on Stream-Based Monitoring

Konferenz / Medium

Formal Methods (FM)

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

Jahr 2024

2024-10-12

RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring

Konferenz / Medium

International Conference on Runtime Verification (RV)
Runtime Verification

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

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned

Konferenz / Medium

Computer Aided Verification (CAV)

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

Certification Aspects of Runtime Assurance for Urban Air Mobility

Konferenz / Medium

AIAA SciTech Forum / AIAA Aerospace Sciences Meeting (AIAA)

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

Jahr 2023

2023-08

Monitoring with verified guarantees

Artikel

International Journal on Software Tools for Technology Transfer

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

A Hierarchy of Monitoring Properties for Autonomous Systems

Konferenz / Medium

AIAA SciTech Forum / AIAA Aerospace Sciences Meeting (AIAA)

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

Jahr 2022

2022-09-28

Real-time Visualization of Stream-based Monitoring Data

Konferenz / Medium

International Conference on Runtime Verification (RV)

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

Jahr 2021

2021-07-15

A Temporal Logic for Asynchronous Hyperproperties

Konferenz / Medium

Computer Aided Verification (CAV)

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

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