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

    23562 Lübeck

    Deutschland

Basierend auf der Anzahl der in Pure gespeicherten Publikationen und Zitate aus PlumX berechnet
20122019

Publikationen pro Jahr

Suchergebnisse

  • 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, S. 31-70 40 S.

    Publikation: Beiträge in FachzeitschriftenZeitschriftenaufsätzeForschungBegutachtung

    33 Zitate (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. (Hrsg.). Springer, Cham, Band 11237. S. 43-63 21 S. (Lecture Notes in Computer Science; Band 11237).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 86-92 7 S. 8914094

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Springer, Cham, Band 11757 LNCS. S. 273-291 19 S. (Lecture Notes in Computer Science; Band 11757 LNCS).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • Test und Fehlersuche in komplexen Autonomen Systemen

    Preusser, T., Schulz, A., Weiss, A., Heininger, M., Leucker, M., Schmitz, M., Scheffel, T. & Thoma, D., 18.09.2019, Echtzeit 2019. Unger, H. (Hrsg.). Springer Vieweg, Wiesbaden, S. 33-42 10 S. (Informatik aktuell).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Springer Verlag, Band 10457 LNCS. S. 61-102 42 S. (Lecture Notes in Computer Science; Band 10457 LNCS).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKapitelBegutachtung

    23 Zitate (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, S. 296-299 4 S.

    Publikation: Beiträge in FachzeitschriftenZeitschriftenaufsätzeForschungBegutachtung

  • 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. (Hrsg.). Springer, Cham, Band 11254 LNCS. S. 144-162 19 S. (Lecture Notes in Computer Science ; Band 11254 LNCS).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, Band 85. S. 29:1--29:17 17 S. (Leibniz International Proceedings in Informatics, LIPIcs; Band 85).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 8648-8653 6 S. (Conference of the IEEE Industrial Electronics Society).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 2016

    Monitoring modulo theories

    Decker, N., Leucker, M. & Thoma, D., 01.04.2016, in: International Journal on Software Tools for Technology Transfer. 18, 2, S. 205-225 21 S.

    Publikation: Beiträge in FachzeitschriftenZeitschriftenaufsätzeForschungBegutachtung

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

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

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Berlin: Springer Verlag, Band 9636. S. 868-884 17 S. (Lecture Notes in Computer Science; Band 9636).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, Band 8489 LNCS. S. 130-149 20 S. (Lecture Notes in Computer Science; Band 8489 LNCS).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, Band 8413. S. 341-356 16 S. (Lecture Notes in Computer Science; Band 8413).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). Berlin: Springer Verlag, Band LNCS 8704. S. 497-511 15 S. (Lecture Notes in Computer Science ; Band LNCS 8704).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, S. 235-244 10 S. ( International Symposium on Software Reliability Engineering).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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, Band LNCS 8174. S. 183-200 18 S. (Lecture Notes in Computer Science; Band LNCS 8174).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • jUnitRV - Adding Runtime Verification to jUnit

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

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung

  • 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. (Hrsg.). PART 1 Aufl. Berlin: Springer Verlag, Band 7609 LNCS. S. 131-145 15 S. (Lecture Notes in Computer Science; Band 7609 LNCS).

    Publikation: Kapitel in Büchern/Berichten/KonferenzbändenKonferenzbeitragBegutachtung