Research Output per year
Research Output per year
-
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) -
Hardware-based runtime verification with embedded tracing units and stream processing
Convent, L., Hungerecker, S., Scheffel, T., Schmitz, M., Thoma, D. & Weiss, A., 08.11.2019, RV 2018: Runtime Verification. Colombo, C. & Leucker, M. (eds.). Springer, Cham, Vol. 11237. p. 43-63 21 p. (Lecture Notes in Computer Science; vol. 11237).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Non-intrusive MC/DC measurement based on traces
Ahishakiye, F., Jaksic, S., Lange, F. D., Schmitz, M., Stolz, V. & Thoma, D., 07.2019, 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, p. 86-92 7 p. 8914094Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Runtime Verification for Timed Event Streams with Partial Information
Leucker, M., Sánchez, C., Scheffel, T., Schmitz, M. & Thoma, D., 01.10.2019, RV 2019: Runtime Verification . Finkbeiner, B. & Mariani, L. (eds.). Springer, Cham, Vol. 11757 LNCS. p. 273-291 19 p. (Lecture Notes in Computer Science; vol. 11757 LNCS).Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review
-
Test und Fehlersuche in komplexen Autonomen Systemen
Translated title of the contribution :Test and debugging in complex autonomous systems Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review