Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,306 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.
2009
2009
Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules
Stephanie Drzevitzky
,
U. Kastens
,
M. Platzner
International Conference on Reconfigurable…
2009
Corpus ID: 833974
Dynamically reconfigurable hardware combines hardware performance with software-like flexibility and finds increasing use in…
Expand
2009
2009
Use of electronic calibration units for vector-network-analyzer verification
Dylan F. Williams
,
A. Lewandowski
,
D. LeGolvan
,
R. Ginley
,
C. Wang
,
J. Splett
ARFTG Microwave Measurement Conference
2009
Corpus ID: 16129605
We present measurements demonstrating that electronic calibration units are stable enough to be used in place of mechanical…
Expand
2009
2009
Reliable Monitoring for Runtime Validation of Choreographies
Michael Von Riegen
,
N. Ritter
Fourth International Conference on Internet and…
2009
Corpus ID: 11434804
Cross-organizational business processes gain more and more attention in the scientific community. For modeling these processes…
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
2008
2008
Predictive runtime verification of multi-processor SoCs in SystemC
A. Sen
,
V. Ogale
,
M. Abadir
45th ACM/IEEE Design Automation Conference
2008
Corpus ID: 692243
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulation- based…
Expand
2005
2005
Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability
Yan Jin
,
Jun Han
IEEE International Conference on COTS-Based…
2005
Corpus ID: 14721307
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality…
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
2004
2004
Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions
Oscar Mondragon
,
A. Gates
International journal of software engineering and…
2004
Corpus ID: 207130206
Prospec is a tool that assists practitioners in the elicitation and specification of system properties. Practitioners are guided…
Expand
2003
2003
Using AsmL for Runtime Verification
Mike Barnett
,
Wolfram Schulte
,
N. Tillmann
Abstract State Machines
2003
Corpus ID: 35608282
We use AsmL, an executable specification language created by the Foundations of Software Engineering group [1], to describe the…
Expand
Review
2002
Review
2002
jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java
Parker Abercrombie
,
M. Karaorman
RV@FLoC
2002
Corpus ID: 15143950
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE