3 papers
cs.SE2020
Empowering Multilevel DSMLs with Integrated Runtime Verification
Fernando Macías, Adrian Rutle, Volker Stolz +2
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…
cs.LO2019
Runtime Verification For Timed Event Streams With Partial Information
Martin Leucker, César Sánchez, Torben Scheffel +2
Runtime Verification (RV) studies how to analyze execution traces of a system under observation. Stream Runtime Verification (SRV) applies stream transformations to obtain informat…
cs.FL2018
TeSSLa: Temporal Stream-based Specification Language
Lukas Convent, Sebastian Hungerecker, Martin Leucker +3
Runtime verification is concerned with monitoring program traces. In particular, stream runtime verification (SRV) takes the program trace as input streams and incrementally derive…