Research Output per year
Research Output per year
Search results
-
2019
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E. & Zhang, Y., 06.02.2019, In: International Journal on Software Tools for Technology Transfer. 21, 1, p. 31-70 40 p.Research output: Journal Articles › Journal articles › Research › peer-review
33 Citations (Scopus) -
2018
Non-intrusive runtime verification within a system-on-chip
Rufino, J., Casimiro, A., Lange, F. D., Leucker, M., Scheffel, T., Schmitz, M. & Thoma, D., 12.2018, In: Ada User Journal. 39, 4, p. 296-299 4 p.Research output: Journal Articles › Journal articles › Research › peer-review
-
2016
Monitoring modulo theories
Decker, N., Leucker, M. & Thoma, D., 01.04.2016, In: International Journal on Software Tools for Technology Transfer. 18, 2, p. 205-225 21 p.Research output: Journal Articles › Journal articles › Research › peer-review
10 Citations (Scopus)