School of Informatics AUTh
K. Mokos, Th. Nestoridis, P. Katsaros, N. Bassiliades, "Semantic Modeling and Analysis of Natural Language System Requirements", IEEE Access, vol. 10, pp. 84094-84119, 2022.
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.