| 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 | 87 | 2014 |
| 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 | 29 | 2010 |
| Visualizing the chromatic index of music D Politis, D Margounakis, K Mokos Proceedings of the Fourth International Conference onWeb Delivering of Music …, 2004 | 25 | 2004 |
| Semantic modeling and analysis of natural language system requirements K Mokos, T Nestoridis, P Katsaros, N Bassiliades IEEE Access 10, 84094-84119, 2022 | 13 | 2022 |
| A survey on the formalisation of system requirements and their validation K Mokos, P Katsaros Array 7, 100030, 2020 | 13 | 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 | 12 | 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 (1), 806750, 2009 | 9 | 2009 |
| Model-based safety analysis of requirement specifications K Mokos, P Katsaros, P Bohn Journal of Systems and Software 219 (112231), 49, 2025 | 1 | 2025 |
| 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 | 1 | 2023 |
| 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* | |
| Embedded Systems Verification and Validation K Mokos Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Σχολή Θετικών Επιστημών. Τμήμα …, 2024 | | 2024 |
| OPEN-SME-Component Certification for Open Source Reuse. G Kakarontzas, K Mokos, P Katsaros, I Stamelos EPS, 2016 | | 2016 |
