194 search results - page 4 / 39 » Rule-Based Runtime Verification |
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
117
click to vote
ECOWS
2009
Springer
15 years 3 months ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
90
Voted
ENTCS
2002
14 years 12 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
104
click to vote
ICSE
2004
IEEE-ACM
16 years 7 days ago
2004
IEEE-ACM
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
ENTCS
2006
15 years 5 days ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...