Konstantinos Mokos

According to our database, Konstantinos Mokos authored at least 10 papers between 2004 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Model-based safety analysis of requirement specifications.

Konstantinos Mokos, Panagiotis Katsaros, Preben Bohn

J. Syst. Softw., 2025

2022

Semantic Modeling and Analysis of Natural Language System Requirements.

Konstantinos Mokos, Theodoros Nestoridis, Panagiotis Katsaros, Nick Bassiliades

IEEE Access, 2022

2020

A survey on the formalisation of system requirements and their validation.

Konstantinos Mokos, Panagiotis Katsaros

Array, 2020

2016

OPEN-SME - Component Certification for Open Source Reuse.

George Kakarontzas, Konstantinos Mokos, Panagiotis Katsaros, Ioannis Stamelos

Proceedings of the European Project Space on Intelligent Technologies, 2016

2014

Spacecraft early design validation using formal methods.

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri

Reliab. Eng. Syst. Saf., 2014

2010

Ontology-Based Model Driven Engineering for Safety Verification.

Konstantinos Mokos, Georgios Meditskos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vasiliades

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

2009

MEL-IRIS: An Online Tool for Audio Analysis and Music Indexing.

Dimitrios Margounakis, Dionysios Politis, Konstantinos Mokos

Int. J. Digit. Multim. Broadcast., 2009

2008

Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour.

Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin

Proceedings of the Knowledge-Based Software Engineering, 2008

2007

Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository.

Leo Freitas, Konstantinos Mokos, Jim Woodcock

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2004

Visualizing the Chromatic Index of Music.

Dionysios Politis, Dimitrios Margounakis, Konstantinos Mokos

Proceedings of the 4th International Conference on WEB Delivering of Music (WEDELMUSIC 2004), 2004