Malte Schmitz
Former Employee
Recent Publications
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems
Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings, 2023
Marian Johannes Begemann and Hannes Kallwies and Martin Leucker and Malte Schmitz
Aggregate Update Problem for Multi-clocked Dataflow Languages
IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022, 2022
Hannes Kallwies and Martin Leucker and Torben Scheffel and Malte Schmitz and Daniel Thoma
TeSSLa - An Ecosystem for Runtime Verification
Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, 2022
Hannes Kallwies and Martin Leucker and Malte Schmitz and Albert Schulz and Daniel Thoma and Alexander Weiss
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes
Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, 2022
Hannes Kallwies and Martin Leucker and Meiko Prilop and Malte Schmitz
Runtime verification of real-time event streams under non-synchronized arrival
Softw. Qual. J., 2020
Martin Leucker and César Sánchez and Torben Scheffel and Malte Schmitz and Alexander Schramm
Theses on Offer
Contact Information
schmitz@placeholder.isp.uni-luebeck.de
Address
N/A
Phone
N/A