Computer-Aided Generation of Assurance Cases

Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo 0002. Computer-Aided Generation of Assurance Cases. In Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops - ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings. Volume 14182 of Lecture Notes in Computer Science, pages 135-148, Springer, 2023. [doi]

Authors

Timothy E. Wang

This author has not been identified. Look up 'Timothy E. Wang' in Google

Chanwook Oh

This author has not been identified. Look up 'Chanwook Oh' in Google

Matthew Low

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

Isaac Amundson

This author has not been identified. Look up 'Isaac Amundson' in Google

Zamira Daw

This author has not been identified. Look up 'Zamira Daw' in Google

Alessandro Pinto

This author has not been identified. Look up 'Alessandro Pinto' in Google

Massimiliano L. Chiodo

This author has not been identified. Look up 'Massimiliano L. Chiodo' in Google

Guoqiang Wang

This author has not been identified. Look up 'Guoqiang Wang' in Google

Saqib Hasan

This author has not been identified. Look up 'Saqib Hasan' in Google

Ryan Melville

This author has not been identified. Look up 'Ryan Melville' in Google

Pierluigi Nuzzo 0002

This author has not been identified. Look up 'Pierluigi Nuzzo 0002' in Google