Model-Based Safety and Assessment - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030589196, 9783030589202
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Counterexample Interpretation for Contract-Based Design

2020 ◽  
pp. 99-114
Author(s):  
Arut Prakash Kaleeswaran ◽  
Arne Nordmann ◽  
Thomas Vogel ◽  
Lars Grunske

U-Map: A Reference Map for Safe Handling of Runtime Uncertainties

2020 ◽  
pp. 227-241
Author(s):  
Nishanth Laxman ◽  
Chee Hung Koo ◽  
Peter Liggesmeyer
Keyword(s):  
Safe Handling ◽  
Reference Map

A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles

2020 ◽  
pp. 149-162
Author(s):  
Iwo Kurzidem ◽  
Ahmad Saad ◽  
Philipp Schleiss
Keyword(s):  
Autonomous Vehicles ◽  
Systematic Approach

scholarly journals A Visual Notation for the Representation of Assurance Cases Using SACM

2020 ◽  
pp. 3-18
Author(s):  
Nungki Selviandro ◽  
Richard Hawkins ◽  
Ibrahim Habli
Keyword(s):  
Assurance Cases ◽  
Visual Notation

Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks

2020 ◽  
pp. 212-226
Author(s):  
Sheng Ding ◽  
Andrey Morozov ◽  
Silvia Vock ◽  
Michael Weyrich ◽  
Klaus Janschek
Keyword(s):  
Error Detection ◽  
Industrial Automation ◽  
Model Based ◽  
Automation Systems ◽  
Industrial Automation Systems

Identification and Quantification of Hazardous Scenarios for Automated Driving

2020 ◽  
pp. 163-178
Author(s):  
Birte Kramer ◽  
Christian Neurohr ◽  
Matthias Büker ◽  
Eckard Böde ◽  
Martin Fränzle ◽  
...  
Keyword(s):  
Automated Driving ◽  
Identification And Quantification

scholarly journals SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures

2020 ◽  
pp. 197-211
Author(s):  
Koorosh Aslansefat ◽  
Ioannis Sorokos ◽  
Declan Whiting ◽  
Ramin Tavakoli Kolagari ◽  
Yiannis Papadopoulos
Keyword(s):  
Machine Learning ◽  
Statistical Difference ◽  
Safety Monitoring ◽  
Machine Learning Classifiers ◽  
Learning Classifiers
Load More ...
Sign in / Sign up

Export Citation Format

Share Document