Sciweavers

20 search results - page 3 / 4
» edcc 2010
Sort
View
EDCC
2010
Springer
14 years 2 months ago
Finding Error Handling Bugs in OpenSSL Using Coccinelle
Julia L. Lawall, Ben Laurie, René Rydhof Ha...
EDCC
2010
Springer
14 years 2 months ago
Towards verification-based development of in-vehicle safety critical software: a case study
Martijn M. H. P. van den Heuvel, Reinder J. Bril, ...
EDCC
2010
Springer
14 years 3 months ago
Opportunities from standardization in automotive safety assessment
An important initiative in the automotive domain is the development of the ISO 26262 standard for functional safety of road vehicles. The standard introduces numerous techniques f...
Raul Barbosa, Johan Karlsson
EDCC
2010
Springer
14 years 3 months ago
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
Paolo Masci, Silvano Chiaradonna, Felicita Di Gian...
EDCC
2010
Springer
14 years 3 months ago
Towards Understanding the Importance of Variables in Dependable Software
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
Matthew Leeke, Arshad Jhumka