Test Automation Meets Static Analysis. - Jan Peleska 001; Helge Löding; Tatiana Kotas (GI Jahrestagung (2), 2007)

Symbolic and Abstract Interpretation for C/C++ Programs. - Helge Löding; Jan Peleska 001 (SSV, 2008)

Timed Moore Automata: Test Data Generation and Model Checking. - Helge Löding; Jan Peleska 001 (ICST, 2010)

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. - Jan Peleska 001; Artur Honisch; Florian Lapschies; Helge Löding; Hermann Schmid; Peer Smuda; Elena Vorobev; Cornelia Zahlten (ICTSS, 2011)

A framework for formal verification of systems of synchronous components. - Stefan Milius; Henning Günther; Jan Peleska 001; Oliver Möller; Helge Löding; Martin Sulzmann; Ramin Hedayati; Axel Zechner (MBEES, 2012)

Model-based scenario testing and model checking with applications in the railway domain. - Helge Löding (2014)