Debugging Models in the Context of Automotive Software Development. - Lars Stockmann (MoDELS (Doctoral Symposium), 2015)

Architectural Runtime Verification. - Lars Stockmann; Sven Laux; Eric Bodden (ICSA Companion, 2019)