Jan Baumeister

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Formal Methods (FM)

International Conference on Runtime Verification (RV)
Runtime Verification

Computer Aided Verification (CAV)

AIAA SciTech Forum / AIAA Aerospace Sciences Meeting (AIAA)

International Journal on Software Tools for Technology Transfer

AIAA SciTech Forum / AIAA Aerospace Sciences Meeting (AIAA)

International Conference on Runtime Verification (RV)

Computer Aided Verification (CAV)