Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour

Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin. Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. In Maria Virvou, Taichi Nakamura, editors, Knowledge-Based Software Engineering, Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2008, August 25-28, 2008, University of Piraeus, Piraeus, Greece. Volume 180 of Frontiers in Artificial Intelligence and Applications, pages 405-414, IOS Press, 2008. [doi]

Authors

Konstantinos Mokos

This author has not been identified. Look up 'Konstantinos Mokos' in Google

Panagiotis Katsaros

This author has not been identified. Look up 'Panagiotis Katsaros' in Google

Nick Bassiliades

This author has not been identified. It may be one of the following persons: Look up 'Nick Bassiliades' in Google

Vangelis Vassiliadis

This author has not been identified. Look up 'Vangelis Vassiliadis' in Google

Maxime Perrotin

This author has not been identified. Look up 'Maxime Perrotin' in Google