↓ Skip to main content

Computer Safety, Reliability, and Security

Overview of attention for book
Cover of 'Computer Safety, Reliability, and Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems
  3. Altmetric Badge
    Chapter 2 Rapid Fault-Space Exploration by Evolutionary Pruning
  4. Altmetric Badge
    Chapter 3 Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search
  5. Altmetric Badge
    Chapter 4 Debugging with Timed Automata Mutations
  6. Altmetric Badge
    Chapter 5 Systematic Derivation of Functional Safety Requirements for Automotive Systems
  7. Altmetric Badge
    Chapter 6 Making Implicit Safety Requirements Explicit
  8. Altmetric Badge
    Chapter 7 Securing Vehicle Diagnostics in Repair Shops
  9. Altmetric Badge
    Chapter 8 Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage
  10. Altmetric Badge
    Chapter 9 Exploiting Narrow Data-Width to Mask Soft Errors in Register Files
  11. Altmetric Badge
    Chapter 10 Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence
  12. Altmetric Badge
    Chapter 11 Assurance Cases for Block-Configurable Software
  13. Altmetric Badge
    Chapter 12 Generation of Safety Case Argument-Fragments from Safety Contracts
  14. Altmetric Badge
    Chapter 13 Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function
  15. Altmetric Badge
    Chapter 14 Proving the Absence of Stack Overflows
  16. Altmetric Badge
    Chapter 15 Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks
  17. Altmetric Badge
    Chapter 16 A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems
  18. Altmetric Badge
    Chapter 17 On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet
  19. Altmetric Badge
    Chapter 18 Specifying Safety Monitors for Autonomous Systems Using Model-Checking
  20. Altmetric Badge
    Chapter 19 Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements
  21. Altmetric Badge
    Chapter 20 Querying Safety Cases
  22. Altmetric Badge
    Chapter 21 Security Application of Failure Mode and Effect Analysis (FMEA)
  23. Altmetric Badge
    Chapter 22 Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline
  24. Altmetric Badge
    Chapter 23 A Pragmatic Approach towards Safe and Secure Medical Device Integration
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

1 X user
2 patents


1 Dimensions

Readers on

67 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Computer Safety, Reliability, and Security
Published by
Springer International Publishing, September 2014
DOI 10.1007/978-3-319-10506-2
978-3-31-910505-5, 978-3-31-910506-2

Bondavalli, Andrea, Di Giandomenico, Felicita

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 67 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 1%
United Kingdom 1 1%
Brazil 1 1%
United States 1 1%
Sweden 1 1%
Unknown 62 93%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 22 33%
Student > Master 13 19%
Researcher 7 10%
Student > Doctoral Student 6 9%
Student > Postgraduate 4 6%
Other 15 22%
Readers by discipline Count As %
Computer Science 35 52%
Engineering 16 24%
Unspecified 6 9%
Medicine and Dentistry 4 6%
Economics, Econometrics and Finance 2 3%
Other 4 6%