Malte Schmitz

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