Three-valued asynchronous distributed runtime verification. - Torben Scheffel; Malte Schmitz 001 (MEMOCODE, 2014)

Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE. - Timm B. Bußhaus; Stefan Fischer 001; Franziska Kühn; Martin Leucker; Alexander Mildner; Malte Schmitz 001 (Software Engineering & Management, 2015)

Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). - Martin Leucker; Malte Schmitz 001 (Software Engineering (Workshops), 2015)

Runtime Verification for Interconnected Medical Devices. - Martin Leucker; Malte Schmitz 001; Danilo à Tellinghusen (ISoLA (2), 2016)

Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). - Fernando Macías; Torben Scheffel; Malte Schmitz 001; Rui Wang (RV, 2016)

Runtime Monitoring with Union-Find Structures. - Normann Decker; Jannis Harder 001; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (TACAS, 2016)

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. - Normann Decker; Philip Gottschling; Christian Hochberger; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Alexander Weiss (SBMF, 2017)

Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. - Lukas Convent; Sebastian Hungerecker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma; Alexander Weiss (RV, 2018)

TeSSLa: runtime verification of non-synchronized real-time streams. - Martin Leucker; César Sánchez 001; Torben Scheffel; Malte Schmitz 001; Alexander Schramm (SAC, 2018)

TeSSLa: Temporal Stream-Based Specification Language. - Lukas Convent; Sebastian Hungerecker; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (SBMF, 2018)

Test und Fehlersuche in komplexen Autonomen Systemen. - Thomas Preußer; Albert Schulz; Alexander Weiss; Martin Heininger; Martin Leucker; Malte Schmitz 001; Torben Scheffel; Daniel Thoma (Echtzeit, 2019)

Runtime Verification for Timed Event Streams with Partial Information. - Martin Leucker; César Sánchez 001; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (RV, 2019)

Non-Intrusive MC/DC Measurement Based on Traces. - Faustin Ahishakiye; Svetlana Jaksic; Felix Dino Lange; Malte Schmitz 001; Volker Stolz; Daniel Thoma (TASE, 2019)

Empowering Multilevel DSMLs with Integrated Runtime Verification. - Fernando Macías; Adrian Rutle; Volker Stolz; Torben Scheffel; Malte Schmitz 001 (CoRR, 2020)

Runtime verification of real-time event streams under non-synchronized arrival. - Martin Leucker; César Sánchez 001; Torben Scheffel; Malte Schmitz 001; Alexander Schramm (Softw. Qual. J., 2020)

Aggregate Update Problem for Multi-clocked Dataflow Languages. - Hannes Kallwies; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (CGO, 2022)

TeSSLa - An Ecosystem for Runtime Verification. - Hannes Kallwies; Martin Leucker; Malte Schmitz 001; Albert Schulz; Daniel Thoma; Alexander Weiss (RV, 2022)

Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. - Hannes Kallwies; Martin Leucker; Meiko Prilop; Malte Schmitz 001 (TASE, 2022)

TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. - Marian Johannes Begemann; Hannes Kallwies; Martin Leucker; Malte Schmitz 001 (ICTAC, 2023)

Efficient implementation of stream transformations. - Malte Schmitz 001 (2024)