65 search results - page 1 / 13 » Provably Correct Runtime Monitoring |
FM
2008
Springer
13 years 6 months ago
2008
Springer
RTSS
2008
IEEE
13 years 11 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
JCS
2010
13 years 3 months ago
2010
Inline reference monitoring is a powerful technique to enforce security policies on untrusted programs. The security-by-contract paradigm proposed by the EU FP6 S3 MS project uses...
ESOP
1992
Springer
13 years 9 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
SEW
2003
IEEE
13 years 10 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...