Skip to content
  • Home
  • About
    • Info
    • Contact us
  • People
    • Academic Staff
    • PhD Students
    • PhD Graduates
    • Post-Docs
    • Visitors
  • Research
    • Topics
    • Publications
    • Awards
  • Development
    • Systems
    • Projects
    • Partners
  • Teaching
    • Undergraduate Courses
    • Postgraduate Courses
    • Thesis
  • News
Intelligent Systems Lab

Intelligent Systems Lab

School of Informatics AUTh

  • Home
  • About
    • Info
    • Contact us
  • People
    • Academic Staff
    • PhD Students
    • PhD Graduates
    • Post-Docs
    • Visitors
  • Research
    • Topics
    • Publications
    • Awards
  • Development
    • Systems
    • Projects
    • Partners
  • Teaching
    • Undergraduate Courses
    • Postgraduate Courses
    • Thesis
  • News

Mokos

You are here: Home » Publications
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.

© 2021 Intelligent Systems Lab

  • Privacy Policy