Malte Schmitz
YOU?
Author Swipe
View article: TeSSLa – An Ecosystem for Runtime Verification
TeSSLa – An Ecosystem for Runtime Verification Open
Runtime verification deals with checking correctness properties on the runs of a system under scrutiny. To achieve this, it addresses a variety of sub-problems related to monitoring of systems: These range from the appropriate design of a …
View article: Empowering Multilevel DSMLs with Integrated Runtime Verification
Empowering Multilevel DSMLs with Integrated Runtime Verification Open
Within Model-Driven Software Engineering, Domain-Specific Modelling has proven to be a powerful technique to specify systems and systems' behaviour in a formal, yet understandable way. Runtime verification (RV) has been successfully used t…
View article: Runtime verification of real-time event streams under non-synchronized arrival
Runtime verification of real-time event streams under non-synchronized arrival Open
We study the problem of online runtime verification of real-time event streams. Our monitors can observe concurrent systems with a shared clock, but where each component reports observations as signals that arrive to the monitor at differe…
View article: Empowering Multilevel DSMLs with Integrated Runtime Verification
Empowering Multilevel DSMLs with Integrated Runtime Verification Open
Within Model-Driven Software Engineering, Domain-Specific Modelling has proven to be a powerful technique to specify systems and systems' behaviour in a formal, yet understandable way. Runtime verification (RV) has been successfully used t…
View article: TeSSLa: Temporal Stream-based Specification Language
TeSSLa: Temporal Stream-based Specification Language Open
Runtime verification is concerned with monitoring program traces. In particular, stream runtime verification (SRV) takes the program trace as input streams and incrementally derives output streams. SRV can check logical properties and comp…
View article: TeSSLa
TeSSLa Open
We present TeSSLa, a specification language based on stream run-time verification, designed for monitoring a specific class of real-time signals. Our monitors can observe concurrent systems with a shared clock, but where each component rep…
View article: Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing Open
In this tutorial, we present a comprehensive approach to non-intrusive monitoring of multi-core processors. Modern multi-core processors come with trace-ports that provide a highly compressed trace of the instructions executed by the proce…
View article: TeSSLa: Temporal Stream-Based Specification Language
TeSSLa: Temporal Stream-Based Specification Language Open
Runtime verification is concerned with monitoring program traces. In particular, stream runtime verification (SRV) takes the program trace as input streams and incrementally derives output streams. SRV can check logical properties and comp…
View article: Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems Open
This paper presents an approach for rapidly adjustable embedded trace online monitoring of multi-core systems, called RETOM. Today, most commercial multi-core SoCs provide accurate runtime information through an embedded trace unit without…