Malte Schmitz

According to our database, Malte Schmitz authored at least 20 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficient implementation of stream transformations.

Malte Schmitz

PhD thesis, 2024

2023

TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems.

Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes.

Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz

Proceedings of the Theoretical Aspects of Software Engineering, 2022

TeSSLa - An Ecosystem for Runtime Verification.

Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Aggregate Update Problem for Multi-clocked Dataflow Languages.

Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2020

Runtime verification of real-time event streams under non-synchronized arrival.

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm

Softw. Qual. J., 2020

Empowering Multilevel DSMLs with Integrated Runtime Verification.

Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz

CoRR, 2020

2019

Non-Intrusive MC/DC Measurement Based on Traces.

Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Runtime Verification for Timed Event Streams with Partial Information.

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the Runtime Verification - 19th International Conference, 2019

Test und Fehlersuche in komplexen Autonomen Systemen.

Thomas Preußer, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma

Proceedings of the Echtzeit 2019 - Autonome Systeme, 2019

2018

TeSSLa: Temporal Stream-Based Specification Language.

Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

TeSSLa: runtime verification of non-synchronized real-time streams.

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing.

Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss

Proceedings of the Runtime Verification - 18th International Conference, 2018

2017

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems.

Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016

Runtime Monitoring with Union-Find Structures.

Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper).

Fernando Macías, Torben Scheffel, Malte Schmitz, Rui Wang

Proceedings of the Runtime Verification - 16th International Conference, 2016

Runtime Verification for Interconnected Medical Devices.

Martin Leucker, Malte Schmitz, Danilo à Tellinghusen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Secured SOA for the Safe Interconnection of Medical Devices (Position Paper).

Martin Leucker, Malte Schmitz

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE.

Timm B. Bußhaus, Stefan Fischer, Franziska Kühn, Martin Leucker, Alexander Mildner, Malte Schmitz

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

Three-valued asynchronous distributed runtime verification.

Torben Scheffel, Malte Schmitz

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014