Malte Schmitz

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 20

Top Venues

CoRR

SBMF

TASE

University of Lübeck, Germany (PHD)

Education History

University of Lübeck, Germany

PHD

Publications

Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. ICTAC (2023)
Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. TASE (2022)
Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss
TeSSLa - An Ecosystem for Runtime Verification. RV (2022)
Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Aggregate Update Problem for Multi-clocked Dataflow Languages. CGO (2022)
Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz
Empowering Multilevel DSMLs with Integrated Runtime Verification. CoRR (2020)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Runtime verification of real-time event streams under non-synchronized arrival. Softw. Qual. J. 28 (2) (2020)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Verification For Timed Event Streams With Partial Information. CoRR (2019)
Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
Non-Intrusive MC/DC Measurement Based on Traces. TASE (2019)
Thomas Preußer, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma
Test und Fehlersuche in komplexen Autonomen Systemen. Echtzeit (2019)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Verification for Timed Event Streams with Partial Information. RV (2019)
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
TeSSLa: Temporal Stream-based Specification Language. CoRR (2018)
Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. RV (2018)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
TeSSLa: runtime verification of non-synchronized real-time streams. SAC (2018)
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
TeSSLa: Temporal Stream-Based Specification Language. SBMF (2018)
Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. SBMF (2017)
Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Monitoring with Union-Find Structures. TACAS (2016)
Fernando Macías, Torben Scheffel, Malte Schmitz, Rui Wang
Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). RV (2016)
Martin Leucker, Malte Schmitz, Danilo à Tellinghusen
Runtime Verification for Interconnected Medical Devices. ISoLA (2) (2016)
Timm B. Bußhaus, Stefan Fischer, Franziska Kühn, Martin Leucker, Alexander Mildner, Malte Schmitz
Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE. Software Engineering & Management (2015)
Martin Leucker, Malte Schmitz
Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). Software Engineering (Workshops) (2015)
Torben Scheffel, Malte Schmitz
Three-valued asynchronous distributed runtime verification. MEMOCODE (2014)

Malte Schmitz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Malte Schmitz