default search action

combined dblp search
author search
venue search
publication search

ask others

David Thönnessen

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Thonnessen21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Thonnessen21
David Thönnessen:
Hardware-in-the-Loop testing of industrial automation systems using PLC languages. RWTH Aachen University, Germany, 2021

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/case/ThonnessenSFCK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/ThonnessenSFCK19
David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski:
Testing Safety PLCs Using QuickCheck. CASE 2019: 1-6
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/SmieschekRTDSK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/SmieschekRTDSK19
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: 231-246
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/KhanTF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/KhanTF19
Adnan Khan, David Thönnessen, Martin Fabian:
On-the-fly conformance testing of safety PLC code using QuickCheck. INDIN 2019: 419-424
2018
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/case/ThonnessenRRSK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/ThonnessenRRSK18
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: 1197-1202
2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/ThonnessenRRK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/ThonnessenRRK17
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: 1-8

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.