Jan Baumeister

Formal Methods (FM)

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)

International Conference on Runtime Verification (RV)

Computer Aided Verification (CAV)

ACM Transactions on Embedded Computing Systems