Collaborated with:S.Kowalewski Niklas Reinker Stefan Rakel Andrei Svetlakov Nick Smallbone M.Fabian K.Claessen
Talks about:multidimension (1) exemplifi (1) algorithm (1) properti (1) correct (1) specif (1) signal (1) safeti (1) applic (1) toler (1)
Person: David Thönnessen
DBLP: Th=ouml=nnessen:David
Contributed to:
20182019Wrote 2 papers:
- CASE-2018-ThonnessenRRSK #algorithm #correctness #multi #specification
- Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications (DT, NR, SR, AS, SK), pp. 1197–1202.
- CASE-2019-ThonnessenSFCK #quickcheck #safety #testing #using
- Testing Safety PLCs Using QuickCheck (DT, NS, MF, KC, SK), pp. 1–6.