logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
Κ

Κωνσταντίνος Μώκος

aristotle university of thessaloniki

5H-index
14Paper Count
129Citation Count
Published Papers 4
Publication Date
logo
From Natural Language Requirement Specifications to Logic Properties
errMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
err2026-01-01
err0
PREAI
errNestoridis, Theodoros; Mokos, Konstantinos; Katsaros, Panagiotis
errShare
errSave
Model-based safety analysis of requirement specifications
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2025-01-01
err0
PREAI
errMokos, Konstantinos; Katsaros, Panagiotis; Bohn, Preben
errShare
errSave
Semantic Modeling and Analysis of Natural Language System Requirements
errIEEE ACCESS
IF3.6
err2022-01-01
err8
errOAAI
errMokos, Konstantinos; Nestoridis, Theodoros; Katsaros, Panagiotis; Bassiliades, Nick
errShare
errSave
Spacecraft early design validation using formal methods
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2014-12-01
err52
errOAAI
errBozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Viet Yen Nguyen; Noll, Thomas; Postma, Bart; Roveri, Marco
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Joost-Pieter Katoen
H-index: 58 · Papers: 636
A
Alessandro Cimatti
H-index: 55 · Papers: 376
M
Marco Roveri
H-index: 36 · Papers: 186
N
Nick Bassiliades
H-index: 32 · Papers: 306
M
Marco Bozzano
H-index: 25 · Papers: 99
View more