↓ 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 Model-Based Safety Analysis for Vehicle Guidance Systems
  3. Altmetric Badge
    Chapter 2 Rare Event Simulation for Dynamic Fault Trees
  4. Altmetric Badge
    Chapter 3 Arguing on Software-Level Verification Techniques Appropriateness
  5. Altmetric Badge
    Chapter 4 Confidence Assessment Framework for Safety Arguments
  6. Altmetric Badge
    Chapter 5 Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach
  7. Altmetric Badge
    Chapter 6 Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications
  8. Altmetric Badge
    Chapter 7 Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
  9. Altmetric Badge
    Chapter 8 A Simplex Architecture for Hybrid Systems Using Barrier Certificates
  10. Altmetric Badge
    Chapter 9 A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems
  11. Altmetric Badge
    Chapter 10 A Strategy for Assessing Safe Use of Sensors in Autonomous Road Vehicles
  12. Altmetric Badge
    Chapter 11 Modeling the Safety Architecture of UAS Flight Operations
  13. Altmetric Badge
    Chapter 12 Generic Management of Availability in Fail-Operational Automotive Systems
  14. Altmetric Badge
    Chapter 13 Benchmarking Static Code Analyzers
  15. Altmetric Badge
    Chapter 14 Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis
  16. Altmetric Badge
    Chapter 15 Classification Tree Method with Parameter Shielding
  17. Altmetric Badge
    Chapter 16 ErrorSim: A Tool for Error Propagation Analysis of Simulink Models
  18. Altmetric Badge
    Chapter 17 Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework
  19. Altmetric Badge
    Chapter 18 Towards a Sensor Failure-Dependent Performance Adaptation Using the Validity Concept
  20. Altmetric Badge
    Chapter 19 SMT-Based Synthesis of Fault-Tolerant Architectures
  21. Altmetric Badge
    Chapter 20 A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain
  22. Altmetric Badge
    Chapter 21 A Security Architecture for Railway Signalling
  23. Altmetric Badge
    Chapter 22 Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain
Attention for Chapter 15: Classification Tree Method with Parameter Shielding
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
3 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.
Chapter title
Classification Tree Method with Parameter Shielding
Chapter number 15
Book title
Computer Safety, Reliability, and Security
Published by
Springer, Cham, September 2017
DOI 10.1007/978-3-319-66266-4_15
Book ISBNs
978-3-31-966265-7, 978-3-31-966266-4
Authors

Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-Hye Choi, Cyrille Artho

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 33%
Researcher 1 33%
Unknown 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Unknown 1 33%