Jan Baumeister

Formal Methods (FM)

Computer Aided Verification (CAV)

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