David Thönnessen

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 5

Top Topics

Hausdorff Distance

Top Venues

Publications

Adnan Khan, David Thönnessen, Martin Fabian
On-the-fly conformance testing of safety PLC code using QuickCheck. INDIN (2019)
Manfred Smieschek, Stefan Rakel, David Thönnessen, Andreas Derks, André Stollenwerk, Stefan Kowalewski
A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course. CyPhy/WESE (2019)
David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski
Testing Safety PLCs Using QuickCheck. CASE (2019)
David Thönnessen, Niklas Reinker, Stefan Rakel, Andrei Svetlakov, Stefan Kowalewski
Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications. CASE (2018)
David Thönnessen, Niklas Reinker, Stefan Rakel, Stefan Kowalewski
A concept for PLC hardware-in-the-loop testing using an extension of structured text. ETFA (2017)