Christos Kloukinas

Orcid: 0000-0003-0424-7425

According to our database1, Christos Kloukinas authored at least 39 papers between 2000 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Big Data Assurance: An Approach Based on Service-Level Agreements.
Big Data, June, 2023

Modular Neural Networks for Time Series Forecasting: Interpretability and Feature Selection using Attention.
CoRR, 2023

Pseudonymisation in the context of GDPR-compliant medical research.
Proceedings of the 19th International Conference on the Design of Reliable Communication Networks, 2023

2022

Overview of the SMART-BEAR Technical Infrastructure.
Proceedings of the 8th International Conference on Information and Communication Technologies for Ageing Well and e-Health, 2022

2019
Cyber Insurance of Information Systems: Security and Privacy Cyber Insurance Contracts for ICT and Helathcare Organizations.
Proceedings of the 24th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, 2019

2018
Big Data Assurance Evaluation: An SLA-Based Approach.
Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

Monitoring Data Integrity in Big Data Analytics Services.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017
Cloud Certification Process Validation Using Formal Methods.
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

Validation of Service Level Agreements Using Probabilistic Model Checking.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2015
Monitoring-Based Certification of Cloud Service Security.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

2014
Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Design-by-contract for reusable components and realizable architectures.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013
Analytic Conditions for Energy Neutrality in Uniformly-Formed Wireless Sensor Networks.
IEEE Trans. Wirel. Commun., 2013

Towards Design-by-Contract based software architecture design.
Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

Realizable, Connector-Driven Software Architectures for Practising Engineers.
Proceedings of the Software Technologies - 8th International Joint Conference, 2013

Towards a Design-by-contract based Approach for Realizable Connector-centric Software Architectures.
Proceedings of the ICSOFT 2013, 2013

Are We There Yet? Analyzing Architecture Description Languages for Formal Analysis, Usability, and Realizability.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012
Xcd - Modular, Realizable Software Architectures.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Agile manufacturing: General challenges and an IoT@Work perspective.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011
A model-based approach for multiple QoS in scheduling: from models to implementation.
Autom. Softw. Eng., 2011

Producing Enactable Protocols in Artificial Agent Societies.
Proceedings of the Agents in Principle, Agents in Practice - 14th International Conference, 2011

2009
Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework.
Proceedings of the Security and Dependability for Ambient Intelligence, 2009

The SERENITY Runtime Monitoring Framework.
Proceedings of the Security and Dependability for Ambient Intelligence, 2009

Representation of Security and Dependability Solutions.
Proceedings of the Security and Dependability for Ambient Intelligence, 2009

Better abstractions for reusable components & architectures.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Estimating Event Lifetimes for Distributed Runtime Verification.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

2007
A Pattern-Driven Framework for Monitoring Security and Dependability.
Proceedings of the Trust, 2007

Towards security monitoring patterns.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006
Competence Checking for the Global E-Service Society Using Games.
Proceedings of the Engineering Societies in the Agents World VII, 2006

2005
Thunderstriking constraints with JUPITER.
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

2004
Data-Mining Synthesised Schedulers for Hard Real-Time Systems.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003
A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications.
Proceedings of the Embedded Software, Third International Conference, 2003

Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

2002
Composition of Software Architectures.
PhD thesis, 2002

Systematic aid for developing middleware architectures.
Commun. ACM, 2002

Quality Analysis of Dependable Systems: A Developer Oriented Approach.
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

2001
SPIN-ning Software Architectures: A Method for Exploring Complex.
Proceedings of the 2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 2001

2000
Automating the Composition of Middleware Configurations.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000


  Loading...