Spacecraft early design validation using formal methods M Bozzano, A Cimatti, JP Katoen, P Katsaros, K Mokos, VY Nguyen, ... Reliability engineering & system safety 132, 20-35, 2014 | 83 | 2014 |
Visualizing the chromatic index of music D Politis, D Margounakis, K Mokos Proceedings of the Fourth International Conference onWeb Delivering of Music …, 2004 | 26 | 2004 |
Ontology-based model driven engineering for safety verification K Mokos, G Meditskos, P Katsaros, N Bassiliades, V Vasiliades 2010 36th EUROMICRO Conference on Software Engineering and Advanced …, 2010 | 23 | 2010 |
A survey on the formalisation of system requirements and their validation K Mokos, P Katsaros Array 7, 100030, 2020 | 12 | 2020 |
Towards compositional safety analysis via semantic representation of component failure behaviour K Mokos, P Katsaros, N Bassiliades, V Vassiliadis, M Perrotin Knowledge-Based Software Engineering, 405-414, 2008 | 11 | 2008 |
MEL-IRIS: An online tool for audio analysis and music indexing D Margounakis, D Politis, K Mokos International Journal of Digital Multimedia Broadcasting 2009, 2009 | 9 | 2009 |
Semantic Modeling and Analysis of Natural Language System Requirements K Mokos, T Nestoridis, P Katsaros, N Bassiliades IEEE Access 10, 84094-84119, 2022 | 5 | 2022 |
Music in colors D Margounakis, D Politis, K Mokos Digital Tools for Computer Music Production and Distribution, 82-115, 2016 | 1 | 2016 |
Verified Software Repository 2: Specifying the IBM CICS Application Programmer’s Interface K Mokos MSc thesis, University of York, 2006 | 1 | 2006 |
Model Checking for Generation of Test Suites in Software Unit Testing V Almaliotis, P Katsaros, K Mokos IEEE, 2006 | 1 | 2006 |
An opportunity model strategy for scheduling NEO observations K Mokos, K Davies, JS Pedersen, P Bohn, R Gad | 1* | |
Tasking Software of the ESA Flyeye Telescope M Hübner, K Mokos, M Rasotto, K Davies, P Bohn 2nd NEO and Debris Detection Conference, 70, 2023 | | 2023 |
OPEN-SME-Component Certification for Open Source Reuse. G Kakarontzas, K Mokos, P Katsaros, I Stamelos EPS, 2016 | | 2016 |
Model-based Safety Analysis of Requirement Specifications K Mokos, P Katsaros, P Bohn Available at SSRN 4748212, 0 | | |