20 citations · 42 across the 6 of their papers we have counts for
3 papers · 1 filter
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
Ezio Bartocci, Roderick Bloem, Dejan Nickovic +1
We consider the problem of monitoring a Linear Time Logic (LTL) specification that is defined on infinite paths, over finite traces. For example, we may need to draw a verdict on w…
An Algebraic Framework for Runtime Verification
Stefan Jaksic, Ezio Bartocci, Radu Grosu +1
Runtime verification (RV) is a pragmatic and scalable, yet rigorous technique, to assess the correctness of complex systems, including cyber-physical systems (CPS). By measuring ho…