Albert Schulz

dblp:249/0639 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 since 2021
YearPublicationVenuePosition
2024 Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper)
Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, Martin Leucker
DX2
2022 TeSSLa - An Ecosystem for Runtime Verification
abstract
Abstract 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 specification language over efficient monitor generation as hardware and software monitors to solutions for instrumenting the monitored system, preferably in a non-intrusive way. Further aspects play a role for the usability of a runtime verification toolchain, e.g. availability, sufficient documentation and the existence of a developer community. In this paper we present the TeSSLa ecosystem, a runtime verification framework built around the stream runtime verification language TeSSLa: It provides a rich toolchain of mostly freely available compilers for monitor generation on different hardware and software backends, as well as instrumentation mechanisms for various runtime verification requirements. Additionally, we highlight how the online resources and supporting tools of the community-driven project enable the productive usage of stream runtime verification.
Hannes Kallwies, Martin Leucker, Malte Schmitz 0001, Albert Schulz, Daniel Thoma, Alexander Weiss
RV4