VLDB 2026 Research / reviewers in the wild / expert
Albert Schulz
dblp:249/0639
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
DX | 2 |
| 2022 | TeSSLa - An Ecosystem for Runtime VerificationabstractAbstract 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 |
RV | 4 |