↓ 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 Towards Zero Alarms in Sound Static Analysis of Finite State Machines
  3. Altmetric Badge
    Chapter 2 Graceful Degradation Design Process for Autonomous Driving System
  4. Altmetric Badge
    Chapter 3 Formal Verification of Memory Preservation of x86-64 Binaries
  5. Altmetric Badge
    Chapter 4 Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits
  6. Altmetric Badge
    Chapter 5 Fitness Functions for Testing Automated and Autonomous Driving Systems
  7. Altmetric Badge
    Chapter 6 A SysML Profile for Fault Trees—Linking Safety Models to System Design
  8. Altmetric Badge
    Chapter 7 Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models
  9. Altmetric Badge
    Chapter 8 Forecast Horizon for Automated Safety Actions in Automated Driving Systems
  10. Altmetric Badge
    Chapter 9 Digital Forensics in Industrial Control Systems
  11. Altmetric Badge
    Chapter 10 Efficient Model-Level Reliability Analysis of Simulink Models
  12. Altmetric Badge
    Chapter 11 Increasing Trust in Data-Driven Model Validation
  13. Altmetric Badge
    Chapter 12 A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems
  14. Altmetric Badge
    Chapter 13 BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact
  15. Altmetric Badge
    Chapter 14 Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems
  16. Altmetric Badge
    Chapter 15 Dynamic Risk Assessment Enabling Automated Interventions for Medical Cyber-Physical Systems
  17. Altmetric Badge
    Chapter 16 Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems
  18. Altmetric Badge
    Chapter 17 Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety
  19. Altmetric Badge
    Chapter 18 Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities
  20. Altmetric Badge
    Chapter 19 SafeDeML: On Integrating the Safety Design into the System Model
  21. Altmetric Badge
    Chapter 20 Towards Trusted Security Context Exchange Protocol for SDN Based Low Latency Networks
  22. Altmetric Badge
    Chapter 21 Devil’s in the Detail: Through-Life Safety and Security Co-assurance Using SSAF
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

policy
1 policy source
twitter
5 X users

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
9 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.
Title
Computer Safety, Reliability, and Security
Published by
Springer International Publishing, September 2019
DOI 10.1007/978-3-030-26601-1
ISBNs
978-3-03-026600-4, 978-3-03-026601-1
Editors

Romanovsky, Alexander, Troubitsyna, Elena, Bitsch, Friedemann

X Demographics

X Demographics

The data shown below were collected from the profiles of 5 X users 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 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 9 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 33%
Other 1 11%
Student > Bachelor 1 11%
Student > Doctoral Student 1 11%
Student > Master 1 11%
Other 1 11%
Unknown 1 11%
Readers by discipline Count As %
Computer Science 5 56%
Engineering 3 33%
Unknown 1 11%