Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,232,726 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
AspectJ
Design marker
Dynamic program analysis
Formal verification
Expand
Broader (2)
Formal methods
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
A Deterministic Event Calculus for Effective Runtime Verification
D. Ancona
,
Luca Franceschini
,
Angelo Ferrando
,
V. Mascardi
Italian Conference on Theoretical Computer…
2019
Corpus ID: 208607582
Runtime verification (RV) is an effective technique for dynamically monitoring, even after deployment, properties that could be…
Expand
2015
2015
Runtime Verification of Expected Energy Consumption in Smartphones
Ana Rosario Espada
,
María del Mar Prados Gallardo
,
Alberto Salmerón
,
P. Merino
SPIN
2015
Corpus ID: 26249461
Smartphones connected to Internet should work properly for days without a reset. One of the most critical non-functional…
Expand
2015
2015
Runtime Verification for Hybrid Analysis Tools
L. V. Nguyen
,
Christian Schilling
,
Sergiy Bogomolov
,
Taylor T. Johnson
Runtime Verification
2015
Corpus ID: 15283437
In this paper, we present the first steps toward a runtime verification framework for monitoring hybrid and cyber-physical…
Expand
2014
2014
Parallelized Runtime Verification of First-order LTL Specifications
R. Medhat
,
Yogi Joshi
,
B. Bonakdarpour
,
S. Fischmeister
2014
Corpus ID: 16798844
Runtime verification is an effective automated method for specification-based offline testing and analysis as well as online…
Expand
2013
2013
A Simple and Efficient Framework for Detection of SQL Injection Attack
W. Win
,
Hnin Hnin Htun
2013
Corpus ID: 56040003
Web applications have become an integral part of the daily life. One of the most serious types of attack against web applications…
Expand
2013
2013
Methods for Reducing Monitoring Overhead in Runtime Verification
Chun-Han Wu
2013
Corpus ID: 55559651
Runtime verification is a lightweight technique that serves to complement existing approaches, such as formal methods and testing…
Expand
2011
2011
Active Program Analysis Using Rule-Based Modification and Aspectation
S. M. Babamir
2011
Corpus ID: 55468365
Active programs behave based on occurrence of events and therefore they facilitate capturing events and states. The active system…
Expand
2008
2008
Focus on Isabelle : From Specification to Verification ?
M. Spichkova
2008
Corpus ID: 3138340
This approach introduces a coupling of a specification framework with a verification system. Given a system, represented in a…
Expand
2007
2007
07011 Executive Summary -- Runtime Verification
B. Finkbeiner
,
K. Havelund
,
Grigore Roşu
,
O. Sokolsky
Runtime Verification
2007
Corpus ID: 41011031
From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 A¢â‚¬EœRuntime VerificationA¢â‚¬â„¢ was held in the International…
Expand
2005
2005
Software safety: current status and future direction
P. Bhansali
SOEN
2005
Corpus ID: 7079060
This paper describes the current status of software safety in terms of research and existing standards. It highlights the…
Expand