Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks

Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee. Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. In António Casimiro, Frank Ortmeier, Erwin Schoitsch, Friedemann Bitsch, Pedro M. Ferreira 0001, editors, Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings. Volume 12235 of Lecture Notes in Computer Science, pages 82-97, Springer, 2020. [doi]

Authors

Ramneet Kaur

This author has not been identified. Look up 'Ramneet Kaur' in Google

Radoslav Ivanov

This author has not been identified. Look up 'Radoslav Ivanov' in Google

Matthew Cleaveland

This author has not been identified. Look up 'Matthew Cleaveland' in Google

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google