David Thönnessen

According to our database, David Thönnessen authored at least 6 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Hardware-in-the-Loop testing of industrial automation systems using PLC languages.

David Thönnessen

PhD thesis, 2021

2019

On-the-fly conformance testing of safety PLC code using QuickCheck.

Adnan Khan, David Thönnessen, Martin Fabian

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 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

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

Testing Safety PLCs Using QuickCheck.

David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

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

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017

A concept for PLC hardware-in-the-loop testing using an extension of structured text.

David Thönnessen, Niklas Reinker, Stefan Rakel, Stefan Kowalewski

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017