Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification

Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann 0001, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach. Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II. Volume 12477 of Lecture Notes in Computer Science, pages 416-439, Springer, 2020. [doi]

Authors

Rasha Faqeh

This author has not been identified. Look up 'Rasha Faqeh' in Google

Christof Fetzer

This author has not been identified. Look up 'Christof Fetzer' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Jörg Hoffmann 0001

This author has not been identified. Look up 'Jörg Hoffmann 0001' in Google

Michaela Klauck

This author has not been identified. Look up 'Michaela Klauck' in Google

Maximilian A. Köhl

This author has not been identified. Look up 'Maximilian A. Köhl' in Google

Marcel Steinmetz

This author has not been identified. Look up 'Marcel Steinmetz' in Google

Christoph Weidenbach

This author has not been identified. Look up 'Christoph Weidenbach' in Google