Konstantinos Mokos

11 papers B 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
From Natural Language Requirement Specifications to Logic Properties.
IMBSA
Theodoros Nestoridis, Konstantinos Mokos, Panagiotis Katsaros
2025 J jnl
Model-based safety analysis of requirement specifications.
J. Syst. Softw.
Konstantinos Mokos, Panagiotis Katsaros, Preben Bohn
2022 J jnl
Semantic Modeling and Analysis of Natural Language System Requirements.
IEEE Access
Konstantinos Mokos, Theodoros Nestoridis, Panagiotis Katsaros, Nick Bassiliades
2020 J jnl
A survey on the formalisation of system requirements and their validation.
Array
Konstantinos Mokos, Panagiotis Katsaros
2016 — conf
OPEN-SME - Component Certification for Open Source Reuse.
EPS
George Kakarontzas, Konstantinos Mokos, Panagiotis Katsaros, Ioannis Stamelos
2014 J jnl
Spacecraft early design validation using formal methods.
Reliab. Eng. Syst. Saf.
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
2010 — conf
Ontology-Based Model Driven Engineering for Safety Verification.
EUROMICRO-SEAA
Konstantinos Mokos, Georgios Meditskos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vasiliades
2009 J jnl
MEL-IRIS: An Online Tool for Audio Analysis and Music Indexing.
Int. J. Digit. Multim. Broadcast.
Dimitrios Margounakis, Dionysios Politis, Konstantinos Mokos
2008 — conf
Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour.
JCKBSE
Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin
2007 B conf
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository.
ICECCS
Leo Freitas, Konstantinos Mokos, Jim Woodcock
2004 — conf
Visualizing the Chromatic Index of Music.
WEDELMUSIC
Dionysios Politis, Dimitrios Margounakis, Konstantinos Mokos