1222 search results - page 132 / 245 » Verifying a File System Implementation |
98
Voted
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
119
Voted
EMSOFT
2010
Springer
15 years 22 days ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
118
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
177
Voted
SIES
2010
IEEE
15 years 18 days ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
143
Voted
AAAI
1996
15 years 4 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...