• Ratzeburger Allee 160, Gebäude 64, 1. OG, Raum 44

    23562 Lübeck

    Germany

  • 330
    Citations
20122019

Research activity 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 ArticlesJournal articlesResearchpeer-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 ProceedingsConference contributionpeer-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. 8914094

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-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 ProceedingsConference contributionpeer-review

  • Test und Fehlersuche in komplexen Autonomen Systemen

    Translated title of the contribution: Test and debugging in complex autonomous systemsPreusser, T., Schulz, A., Weiss, A., Heininger, M., Leucker, M., Schmitz, M., Scheffel, T. & Thoma, D., 18.09.2019, Echtzeit 2019. Unger, H. (ed.). Springer Vieweg, Wiesbaden, p. 33-42 10 p. (Informatik aktuell).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review

  • 2018

    Monitoring events that carry data

    Havelund, K., Reger, G., Thoma, D. & Zălinescu, E., 11.02.2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Springer Verlag, Vol. 10457 LNCS. p. 61-102 42 p. (Lecture Notes in Computer Science; vol. 10457 LNCS).

    Research output: Chapters in Books/Reports/Conference ProceedingsChapterpeer-review

    23 Citations (Scopus)
  • 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 ArticlesJournal articlesResearchpeer-review

  • TeSSLa: Temporal stream-based specification language

    Convent, L., Hungerecker, S., Leucker, M., Scheffel, T., Schmitz, M. & Thoma, D., 24.10.2018, SBMF 2018: Formal Methods: Foundations and Applications. Massoni, T. & Mousavi, M. R. (eds.). Springer, Cham, Vol. 11254 LNCS. p. 144-162 19 p. (Lecture Notes in Computer Science ; vol. 11254 LNCS).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review

  • 2017

    Model-Checking Counting Temporal Logics on Flat Structures

    Decker, N., Habermehl, P., Leucker, M., Sangnier, A. & Thoma, D., 01.08.2017, 28th International Conference on Concurrency Theory (CONCUR 2017). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 85. p. 29:1--29:17 17 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 85).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review

  • Monitoring as a Service for Networked Medical Cyber-Physical Systems

    Kühn, F., Thoma, D., Labitzke, D. & Fischer, S., 01.05.2017, IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. Beijing, China: IEEE Computer Society, p. 8648-8653 6 p. (Conference of the IEEE Industrial Electronics Society).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-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 ArticlesJournal articlesResearchpeer-review

    10 Citations (Scopus)
  • On Freeze LTL with Ordered Attributes

    Decker, N. & Thoma, D., 01.01.2016, Foundations of Software Science and Computation Structures. Berlin: Springer Verlag, Vol. 9634. p. 269-284 16 p. ( Lecture Notes in Computer Science; vol. 9634).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review

  • Runtime Monitoring with Union-Find Structures

    Decker, N., Harder, J., Scheffel, T., Schmitz, M. & Thoma, D., 09.04.2016, Tools and Algorithms for the Construction and Analysis of Systems . Raskin, J. -F. & Chechik, M. (eds.). Berlin: Springer Verlag, Vol. 9636. p. 868-884 17 p. (Lecture Notes in Computer Science; vol. 9636).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review

  • 2014

    Learning Transparent Data Automata

    Decker, N., Habermehl, P., Leucker, M. & Thoma, D., 01.06.2014, Application and Theory of Petri Nets and Concurrency . Cham: Springer Verlag, Vol. 8489 LNCS. p. 130-149 20 p. (Lecture Notes in Computer Science; vol. 8489 LNCS).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review

  • Monitoring Modulo Theories

    Decker, N., Leucker, M. & Thoma, D., 01.04.2014, Tools and Algorithms for the Construction and Analysis of Systems . Berlin: Springer Verlag, Vol. 8413. p. 341-356 16 p. (Lecture Notes in Computer Science; vol. 8413).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review

  • Ordered Navigation on Multi-attributed Data Words

    Decker, N., Habermehl, P., Leucker, M. & Thoma, D., 01.09.2014, CONCUR 2014 – Concurrency Theory. Baldan, P. & Gorla, D. (eds.). Berlin: Springer Verlag, Vol. LNCS 8704. p. 497-511 15 p. (Lecture Notes in Computer Science ; vol. LNCS 8704).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review

  • Runtime Verification of Web Services for Interconnected Medical Devices

    Decker, N., Kühn, F. & Thoma, D., 01.11.2014, 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014. Naples, Italy: IEEE Computer Society, p. 235-244 10 p. ( International Symposium on Software Reliability Engineering).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review

  • 2013

    Impartiality and Anticipation for Monitoring of Visibly Context-free Properties

    Decker, N., Leucker, M. & Thoma, D., 18.11.2013, Runtime Verification. Berlin: Springer Verlag, Vol. LNCS 8174. p. 183-200 18 p. (Lecture Notes in Computer Science; vol. LNCS 8174).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review

  • jUnitRV - Adding Runtime Verification to jUnit

    Decker, N., Leucker, M. & Thoma, D., 09.09.2013, NASA Formal Methods. Brat, G., Rungta, N. & Venet, A. (eds.). Berlin: Springer Verlag, Vol. LNCS 7871. p. 459-464 6 p. ( Lecture Notes in Computer Science ; vol. LNCS 7871).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review

  • 2012

    A Formal Approach to Software Product Families

    Leucker, M. & Thoma, D., 07.11.2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change . Margaria, T. & Steffen, B. (eds.). PART 1 ed. Berlin: Springer Verlag, Vol. 7609 LNCS. p. 131-145 15 p. (Lecture Notes in Computer Science; vol. 7609 LNCS).

    Research output: Chapters in Books/Reports/Conference ProceedingsConference contributionpeer-review