Kevin Baum, M.A. M.Sc.

Kevin Baum; Biewer Sebastian; Hermanns Holger; Hetmank Sven; Langer Markus; Lauber-Rönsberg Anne; Sterz Sarah

In: Thomas Neele; Anton Wijs (Hrsg.). Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg, Pages 3-25, Lecture Notes in Computer Science (LNCS), Vol. 14624, Springer Nature, Switzerland, 10/2024.

Kevin Baum; Lisa Dargasz; Felix Jahn; Timo P Gros; Verena Wolf

In: ArXiv e-prints (arxiv), Vol. 1, Pages 1-10, arXiv, 9/2024.

Sebastian Biewer; Kevin Baum; Sarah Sterz; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Franz Lehr

In: Formal Methods in System Design, Vol. 62, Pages 1-50, Springer, 4/2024.