Article

Ardagna, C. A., Bena, N., Hebert, C. , Krotsiani, M., Kloukinas, C. ORCID: 0000-0003-0424-7425 & Spanoudakis, G. ORCID: 0000-0002-0037-2600view all authors (2023). Big Data Assurance: An Approach Based on Service-Level Agreements. Big Data, doi: 10.1089/big.2021.0369

Iliadou, E., Su, Q., Kikidis, D. , Bibas, T. & Kloukinas, C. ORCID: 0000-0003-0424-7425view all authors (2022). Profiling hearing aid users through big data explainable artificial intelligence techniques. Frontiers in Neurology, 13, doi: 10.3389/fneur.2022.933940

Grguric, A., Khan, O., Ortega-Gil, A. , Markakis, E. K., Pozdniakov, K., Kloukinas, C. ORCID: 0000-0003-0424-7425, Medrano-Gil, A. M., Gaeta, E., Fico, G. & Koloutsou, K.view all authors (2021). Reference architectures, platforms, and pilots for european smart and healthy living—analysis and comparison. Electronics, 10(14), 1616. doi: 10.3390/electronics10141616

Mantzoukas, K., Kloukinas, C. ORCID: 0000-0003-0424-7425 & Spanoudakis, G. ORCID: 0000-0002-0037-2600 (2018). Monitoring Data Integrity in Big Data Analytics Services. 2018 IEEE 11th International Conference on Cloud Computing (CLOUD), pp. 904-907. doi: 10.1109/CLOUD.2018.00132

Krotsiani, M., Spanoudakis, G. & Kloukinas, C. (2015). Monitoring-Based Certification of Cloud Service Security. Lecture Notes in Computer Science, 9415, pp. 644-659. doi: 10.1007/978-3-319-26148-5_44

Kloukinas, C. & Ozkaya, M. (2014). Realizable, Connector-Driven Software Architectures for Practising Engineers. Communications in Computer and Information Science, 457, pp. 273-289. doi: 10.1007/978-3-662-44920-2_17

Besbes, H., Smart, G., Buranapanichkit, D. , Kloukinas, C. & Andreopoulos, Y.view all authors (2013). Analytic Conditions for Energy Neutrality in Uniformly-Formed Wireless Sensor Networks. IEEE Transactions on Wireless Communications, 12(10), pp. 4916-4931. doi: 10.1109/TWC.2013.092013.121649

Ozkaya, M. & Kloukinas, C. (2012). Highly analysable, reusable, and realisable architectural designs with XCD. Communications in Computer and Information Science, 340, pp. 72-79. doi: 10.1007/978-3-642-35267-6_10

Kloukinas, C. & Ozkaya, M. (2012). Xcd - Modular, Realizable Software Architectures. Lecture Notes in Computer Science: Formal Aspects of Component Software, 7684, pp. 152-169. doi: 10.1007/978-3-642-35861-6_10

Lekeas, G., Kloukinas, C. & Stathis, K. (2011). Producing Enactable Protocols in Artificial Agent Societies. Lecture Notes in Computer Science: Agents in Principle, Agents in Practice, 7047, pp. 311-322. doi: 10.1007/978-3-642-25044-6_25

Kloukinas, C. & Yovine, S. (2011). A model-based approach for multiple QoS in scheduling: from models to implementation. Automated Software Engineering, 18(1), pp. 5-38. doi: 10.1007/s10515-010-0074-8

Kloukinas, C. & Spanoudakis, G. (2007). A pattern-driven framework for monitoring security and dependability. Lecture Notes in Computer Science: Trust, Privacy and Security in Digital Business, 4657, pp. 210-218. doi: 10.1007/978-3-540-74409-2_23

Stathis, K., Lekeas, G. & Kloukinas, C. (2006). Competence Checking for the Global E-Service Society Using Games. Lecture Notes in Computer Science: Engineering Societies in the Agents World VII, 4457, pp. 384-400. doi: 10.1007/978-3-540-75524-1_22

Kloukinas, C., Nakhli, C. & Yovine, S. (2003). A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. Lecture Notes in Computer Science: Embedded Software, 2855, pp. 274-289. doi: 10.1007/978-3-540-45212-6_18

Zarras, A., Kloukinas, C. & Issarny, V. (2003). Quality Analysis of Dependable Systems: A Developer Oriented Approach. Lecture Notes in Computer Science: Architecting Dependable Systems, 2677, pp. 197-218. doi: 10.1007/3-540-45177-3_9

Book Section

Ozkaya, M. & Kloukinas, C. (2014). Architectural specification and analysis with XCD: The aegis combat system case study. In: 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD). (pp. 368-375). IEEE.

Tsigkritis, T., Spanoudakis, G., Kloukinas, C. & Lorenzoli, D.view all authors (2009). Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework. In: Spanoudakis, G., Gomez, A. & Kokolakis, S. (Eds.), Security and Dependability for Ambient Intelligence. Advances in Information Security, 45. (pp. 239-271). USA: Springer. doi: 10.1007/978-0-387-88775-3_14

Conference or Workshop Item

Peretokin, V., Basdekis, I., Kouris, I. , Maggesi, J., Sicuranza, M., Su, Q., Acebes, A., Bucur, A., Mukkala, V. J. R., Pozdniakov, K., Kloukinas, C. ORCID: 0000-0003-0424-7425, Koutsouris, D., Iliadou, E., Leontsinis, I., Gallo, L., De Pietro, G. & Spanoudakis, G. ORCID: 0000-0002-0037-2600view all authors (2022). Overview of the SMART-BEAR Technical Infrastructure. Paper presented at the 8th International Conference on Information and Communication Technologies for Ageing Well and e-Health, 23-25 Apr 2022, Online. doi: 10.5220/0011082700003188

Hatzivasilis, G., Chatziadam, P., Petroulakis, N. , Ioannidis, S., Mangini, M., Kloukinas, C. ORCID: 0000-0003-0424-7425, Yautsiukhin, A., Antoniou, M., Katehakis, D. G. & Panayiotou, M.view all authors (2019). Cyber insurance of information systems: Security and privacy cyber insurance contracts for ICT and helathcare organizations. 2019 IEEE 24th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD), ISSN 2378-4873 doi: 10.1109/CAMAD.2019.8858165

Ardagna, C. A., Damiani, E., Krotsiani, M. , Kloukinas, C. ORCID: 0000-0003-0424-7425 & Spanoudakis, G. ORCID: 0000-0002-0037-2600view all authors (2018). Big Data Assurance Evaluation: An SLA-Based Approach. In: 2018 IEEE International Conference on Services Computing (SCC). (pp. 299-303). IEEE. ISBN 978-1-5386-7250-1 doi: 10.1109/SCC.2018.00053

Krotsiani, M., Kloukinas, C. & Spanoudakis, G. (2017). Cloud Certification Process Validation using Formal Methods. Paper presented at the 15th International Conference on Service Oriented Computing (ICSOC 2017), 13-16 Nov 2017, Malaga, Spain.

Krotsiani, M., Kloukinas, C. & Spanoudakis, G. (2017). Validation of Service Level Agreements using Probabilistic Model Checking. Paper presented at the 14th IEEE International Conference on Services Computing, 25-30 Jun 2017, Honolulu, USA.

Ozkaya, M. & Kloukinas, C. (2014). Design-by-contract for reusable components and realizable architectures. In: CBSE '14 Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering. (pp. 129-138). New York, USA: ACM. ISBN 9781450325776 doi: 10.1145/2602458.2602463

Ozkaya, M. & Kloukinas, C. (2013). Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability. Paper presented at the 39th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2013, 4th - 6th September 2013, Santander, Spain.

Ozkaya, M. & Kloukinas, C. (2013). Towards Design-by-Contract based software architecture design. Paper presented at the 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT), 22nd September - 24 September 2013, Budapest, Hungary.

Ozkaya, M. & Kloukinas, C. (2013). Towards a design-by-contract based approach for realizable connector-centric software architectures. Paper presented at the ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, 29 - 31 Jul 2013, Rejkyavik, Iceland.

Houyou, A. M., Huth, H-P., Kloukinas, C. , Trsek, H. & Rotondi, D.view all authors (2012). Agile manufacturing: General challenges and an IoT@Work perspective. In: UNSPECIFIED (pp. 1-7). IEEE. ISBN 978-1-4673-4735-8 doi: 10.1109/ETFA.2012.6489653

Kloukinas, C. (2009). Better abstractions for reusable components & architectures. Paper presented at the 31st International Conference on Software Engineering (ICSE-Companion 2009), 16 - 24 May 2009, Vancouver, BC, Canada. doi: 10.1109/ICSE-COMPANION.2009.5070981

Spanoudakis, G., Kloukinas, C. & Androutsopoulos, K. (2008). Dynamic verification and control of mobile peer-to-peer systems. Paper presented at the 3rd International Conference on Internet Monitoring and Protection, 29 Jun - 5 Jul 2008, Bucharest, Romania.

Kloukinas, C., Spanoudakis, G. & Mahbub, K (2008). Estimating Event Lifetimes for Distributed Runtime Verification. Paper presented at the 20th International Conference on Software Engineering and Knowledge Engineering, 1 - 3 Jul 2008, Redwood City, CA, US.

Kloukinas, C., Lekeas, G. & Stathis, K. (2008). From Agent Game Protocols to Implementable Roles. Paper presented at the Sixth European Workshop on Multi-Agent Systems - EUMAS, 18 - 19 Dec 2008, Bath, UK.

Spanoudakis, G., Kloukinas, C. & Androutsopoulos, K. (2007). Towards security monitoring patterns. Paper presented at the 22nd Annual ACM Symposium on Applied Computing, 11 - 15 March 2007, Seoul, Korea.

Kloukinas, C. (2005). Thunderstriking constraints with JUPITER. Paper presented at the Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE '05), 11 - 14 Jul 2005. doi: 10.1109/MEMCOD.2005.1487917

Kloukinas, C. & Verimag, G. (2004). Data-Mining Synthesised Schedulers for Hard Real-Time Systems. Paper presented at the 19th International Conference on Automated Software Engineering, 24 Sep 2004, Linz, Austria. doi: 10.1109/ASE.2004.10002

Kloukinas, C. & Yovine, S. (2003). Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. Paper presented at the 15th Euromicro Conference on Real-Time Systems, 2003, Porto, Portugal. doi: 10.1109/EMRTS.2003.1212754

Kloukinas, C. & Issarny, V. (2001). SPIN-ning Software Architectures: A Method for Exploring Complex Systems. In: UNSPECIFIED (pp. 67-76). IEEE Computer Society. ISBN 0-7695-1360-3 doi: 10.1109/WICSA.2001.948409

Zarras, A., Issarny, V., Kloukinas, C. & Nguyen, V.view all authors (2001). Towards a Base UML Profile for Architecture Description. Paper presented at the 1st ICSE Workshop on Describing Software Architecture with UML, held in conjunction with the 23rd International Conference on Software Engineering (ICSE-2001), 15 May 2001, Toronto, Canada.

Kloukinas, C. & Issarny, V. (2000). Automating the Composition of Middleware Configurations. Paper presented at the he Fifteenth IEEE International Conference on Automated Software Engineering, 11 - 15 Sep 2000, Grenoble, France.

Kloukinas, C., Saridakis, T. & Issarny, V. (1999). Fault Tolerant Access to Dynamically Located Services for CORBA Applications. Paper presented at the Computer Applications in Industry and Engineering (CAINE-99), 12th Int'l. Conference, 4 - 6 Nov 1999, Atlanta, GE, US.

Report

Kloukinas, C. & Ozkaya, M. (2012). XCD – Simple, Modular, Formal Software Architectures (TR/2012/DOC/01). .