5 citations · 11 across the 11 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2022★ 1 cited
Real-time Visualization of Stream-based Monitoring Data
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold +1
Stream-based runtime monitors are used in safety-critical applications such as Unmanned Aerial Systems (UAS) to compute comprehensive statistics and logical assessments of system h…
cs.FL2020★ 5 cited
Automatic Optimizations for Stream-based Monitoring Languages
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse +1
Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language…