Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Runtime verification

Known as: Runtime validation, Verification 
Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Formal verification and validation play a crucial role in making cyber-physical systems (CPS) safe. Formal methods make strong… Expand
  • figure 1
  • table 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
This article studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2011
Highly Cited
2011
We introduce the concept of Runtime Verification with State Estimation and show how this concept can be applied to estimate the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2011
Highly Cited
2011
The underlying property, its definition, and representation play a major role when monitoring a system. Having a suitable and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Software validation and verification (VV and (ii) present a proposal for including V&V operations explicitly in feedback loops… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In this paper, a brief account of the field of runtime verification is given. Starting with a definition of runtime verification… Expand
  • figure 1
Is this relevant?
Highly Cited
2009
Highly Cited
2009
The underlying property, its definition and representation play a major role when monitoring a system. Having a suitable and… Expand
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Monitoring-Oriented Programming (MOP1) [21, 18, 22, 19] is a formal framework for software development and analysis, in which the… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We present a rule-based framework for defining and implementing finite trace monitoring logics, including future and past time… Expand
Is this relevant?