ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Thu 11 Apr 2019 16:30 - 17:00 at SUN I - Monitoring and Runtime Verification Chair(s): Ondrej Lengal

An appealing feature of Signal Temporal Logic (STL) is the existence of efficient monitoring algorithms both for Boolean and real-valued robustness semantics, which are based on computing an aggregate function (conjunction, disjunction, min, or max) over a sliding window. On the other hand, there are properties that can be monitored with the same algorithms, but that cannot be directly expressed in STL due to syntactic restrictions. In this paper, we define a new specification language that extends STL with the ability to produce and manipulate real-valued output signals and with a new form of until operator. The new language still admits efficient offline monitoring, but also allows to express some properties that in the past motivated researchers to extend STL with existential quantification, freeze quantification, and other features that increase the complexity of monitoring.

Thu 11 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

tacas-2019-papers
16:30 - 18:00: TACAS 2019 - Monitoring and Runtime Verification at SUN I
Chair(s): Ondrej LengalBrno University of Technology
tacas-2019-papers16:30 - 17:00
Talk
Link to publication
tacas-2019-papers17:00 - 17:30
Talk
Joshua DawesUniversity of Manchester and CERN, Giles RegerUniversity of Manchester, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
Link to publication
tacas-2019-papers17:30 - 18:00
Talk
Link to publication