Send email Copy Email Address
PhD Student

Jan Baumeister

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Jan Baumeister

Year 2025

Conference / Medium

Formal Methods (FM)

Year 2024

Year 2023

Article

International Journal on Software Tools for Technology Transfer

Conference / Medium

AIAA SciTech Forum / AIAA Aerospace Sciences Meeting (AIAA)

Year 2022

Conference / Medium

International Conference on Runtime Verification (RV)

Year 2021

Conference / Medium

Computer Aided Verification (CAV)

Year 2020

Conference / Medium

International Conference on Runtime Verification (RV)

Conference / Medium

Computer Aided Verification (CAV)

Year 2019

Article

ACM Transactions on Embedded Computing Systems