Malte Schmitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2013–2023
Best venue rank
B
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICTAC | TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. | Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz |
| 2022 | CGO | Aggregate Update Problem for Multi-clocked Dataflow Languages. | Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2022 | RV | TeSSLa - An Ecosystem for Runtime Verification. | Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss |
| 2022 | TASE | Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. | Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz |
| 2019 | RV | Runtime Verification for Timed Event Streams with Partial Information. | Martin Leucker, Csar Snchez, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2019 | TASE | Non-Intrusive MC/DC Measurement Based on Traces. | Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma |
| 2018 | SAC | TeSSLa: runtime verification of non-synchronized real-time streams. | Martin Leucker, Csar Snchez, Torben Scheffel, Malte Schmitz, Alexander Schramm |
| 2018 | RV | Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. | Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss |
| 2016 | ISoLA | Runtime Verification for Interconnected Medical Devices. | Martin Leucker, Malte Schmitz, Danilo Tellinghusen |
| 2016 | RV | Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). | Fernando Macas, Torben Scheffel, Malte Schmitz, Rui Wang |
| 2016 | TACAS | Runtime Monitoring with Union-Find Structures. | Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2014 | MEMOCODE | Three-valued asynchronous distributed runtime verification. | Torben Scheffel, Malte Schmitz |
| 2013 | GI | IT Governance in Unternehmensnetzwerken - Eine kontingenztheoretische Betrachtung. | Simon Thanh-Nam Trang, Malte Schmitz, Lutz M. Kolbe |