C
Christos Kloukinas
Researcher at City University London
Publications - 50
Citations - 583
Christos Kloukinas is an academic researcher from City University London. The author has contributed to research in topics: Software architecture description & Software system. The author has an hindex of 12, co-authored 47 publications receiving 533 citations. Previous affiliations of Christos Kloukinas include French Institute for Research in Computer Science and Automation & Northampton Community College.
Papers
More filters
Proceedings Article
Estimating Event Lifetimes for Distributed Runtime Verification
TL;DR: This paper presents the extension of a framework for runtime verification which can monitor distributed systems, in which events are produced by different components, each having its own clock.
Proceedings ArticleDOI
Validation of Service Level Agreements Using Probabilistic Model Checking
TL;DR: An approach to SLA validation that is based model checking is presented, based on the translation of SLAs expressed in WS-Agreement into models of the probabilistic model checker PRISM and the validation of SLA properties using the model checking capabilities of this tool.
Book ChapterDOI
Xcd – Modular, Realizable Software Architectures
Christos Kloukinas,Mert Ozkaya +1 more
TL;DR: Through the independent specification of control behaviours, Xcd allows designers to experiment more easily with different design decisions early on, without having to modify the functional behaviour specifications (components) or the interaction ones(connectors).
Proceedings Article
Quality Analysis of Dependable Systems: A Developer Oriented Approach.
TL;DR: An architecture-based environment is proposed that facilitates the specification and quality analysis of DS at the architectural level and renders the use of traditional quality analysis techniques more tractable.
Book ChapterDOI
Quality analysis of dependable systems: a developer oriented approach
TL;DR: In this article, the authors propose an architecture-based environment that facilitates the specification and quality analysis of dependable systems at the architectural level, which is based on the previous work.