Architecture and prototype of a real-time processor farm running at 1 MHz. - Alexander Walsch (2002)

formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification. - Axel Busboom; Simone Schuler; Alexander Walsch (ARCH@CPSWeek, 2016)

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. - Goran Frehse; Nikolaos Kekatos; Dejan Nickovic; Jens Oehlerking; Simone Schuler; Alexander Walsch; Matthias Woehrle (ACC, 2018)