Mokos

Results: 1-2 of 2

K. Mokos, G. Meditskos, P. Katsaros, N. Bassiliades, V. Vassiliadis, “Ontology-based Model Driven Engineering for Safety Verification”, Proc. 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2010), IEEE Computer Society, pp. 47-54, Lille, France, 1-3 Sep 2010, 2010.

K. Mokos, P. Katsaros, N. Bassiliades, V. Vassiliadis, M. Perrotin, “Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour”, Proc. 8th Joint Conference on Knowledge - Based Software Engineering 2008 (JCKBSE 08), M. Virvou and T. Nakamura (Eds.), IOS Press, pp. 405-414, August 2008, Piraeus, Greece, 2008.