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

    23562 Lübeck

    Germany

  • 330
    Citations
20122019

Research activity per year

Filter
Conference contribution

Search results

  • 2019

    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

    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

    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