Visualizing the Chromatic Index of Music. - Dionysios Politis; Dimitrios Margounakis; Konstantinos Mokos (WEDELMUSIC, 2004)

Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. - Leo Freitas; Konstantinos Mokos; Jim Woodcock 001 (ICECCS, 2007)

Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. - Konstantinos Mokos; Panagiotis Katsaros; Nick Bassiliades; Vangelis Vassiliadis; Maxime Perrotin (JCKBSE, 2008)

MEL-IRIS: An Online Tool for Audio Analysis and Music Indexing. - Dimitrios Margounakis; Dionysios Politis; Konstantinos Mokos (Int. J. Digit. Multim. Broadcast., 2009)

Ontology-Based Model Driven Engineering for Safety Verification. - Konstantinos Mokos; Georgios Meditskos; Panagiotis Katsaros; Nick Bassiliades; Vangelis Vasiliades (EUROMICRO-SEAA, 2010)

Spacecraft early design validation using formal methods. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Panagiotis Katsaros; Konstantinos Mokos; Viet Yen Nguyen; Thomas Noll 001; Bart Postma; Marco Roveri (Reliab. Eng. Syst. Saf., 2014)

OPEN-SME - Component Certification for Open Source Reuse. - George Kakarontzas; Konstantinos Mokos; Panagiotis Katsaros; Ioannis Stamelos (EPS, 2016)

A survey on the formalisation of system requirements and their validation. - Konstantinos Mokos; Panagiotis Katsaros (Array, 2020)

Semantic Modeling and Analysis of Natural Language System Requirements. - Konstantinos Mokos; Theodoros Nestoridis; Panagiotis Katsaros; Nick Bassiliades (IEEE Access, 2022)

Model-based safety analysis of requirement specifications. - Konstantinos Mokos; Panagiotis Katsaros; Preben Bohn (J. Syst. Softw., 2025)