Concepedia

Daniel Thoma

DT

3

Publications

125

Citations

3

H-Index

2014

Active since

Affiliations

University of Lübeck(Current)

Daniel Thoma is an author at University of Lübeck specializing in engineering, computer science, and formal methods.

Top concepts

Publications per year

2014–2017

3

Publications

3

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour et al. · International Journal on Software Tools for Technology Transfer · 2017 · 66 citations · Full text

Monitoring modulo theories

Normann Decker, Martin Leucker, Daniel Thoma · International Journal on Software Tools for Technology Transfer · 2015 · 49 citations

, , +4

Runtime Verification of Web Services for Interconnected Medical Devices

Normann Decker, Franziska Kühn, Daniel Thoma · 2014 · 10 citations

, , +19

Rows per page

1–3 of 3