Demo: OpenC2X - An open source experimental and prototyping platform supporting ETSI ITS-G5. - Sven Laux; Gurjashan Singh Pannu; Stefan Schneider 008; Jan Tiemann; Florian Klingler; Christoph Sommer 001; Falko Dressler (VNC, 2016)

Existing and New Ideas on Least Change Triple Graph Grammars. - Milica Stojkovic; Sven Laux; Anthony Anjorin (BX@ETAPS, 2017)

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