A concept for PLC hardware-in-the-loop testing using an extension of structured text. - David Thönnessen; Niklas Reinker; Stefan Rakel; Stefan Kowalewski (ETFA, 2017)

Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications. - David Thönnessen; Niklas Reinker; Stefan Rakel; Andrei Svetlakov; Stefan Kowalewski (CASE, 2018)

Testing Safety PLCs Using QuickCheck. - David Thönnessen; Nick Smallbone; Martin Fabian; Koen Claessen; Stefan Kowalewski (CASE, 2019)

A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course. - Manfred Smieschek; Stefan Rakel; David Thönnessen; Andreas Derks; André Stollenwerk; Stefan Kowalewski (CyPhy/WESE, 2019)

On-the-fly conformance testing of safety PLC code using QuickCheck. - Adnan Khan; David Thönnessen; Martin Fabian (INDIN, 2019)

Hardware-in-the-Loop testing of industrial automation systems using PLC languages. - David Thönnessen (2021)