City Research Online

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, 11(3), pp. 239-254. doi: 10.1089/big.2021.0369

Iliadou, E., Su, Q. ORCID: 0000-0001-6236-5951, 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, article number 933940. 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), article number 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 CC, 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 L, 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 L, 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

Su, Q., Kloukinas, C. ORCID: 0000-0003-0424-7425 & d’Avila Garcez, A. ORCID: 0000-0001-7375-9518 (2024). FocusLearn: Fully-Interpretable, High-Performance Modular Neural Networks for Time Series. In: 2024 International Joint Conference on Neural Networks (IJCNN). 2024 International Joint Conference on Neural Networks (IJCNN), 30 Jun - 5 Jul 2024, Yokohama, Japan. doi: 10.1109/ijcnn60899.2024.10651481

Basdekis, I., Kloukinas, C. ORCID: 0000-0003-0424-7425, Agostinho, C. , Vezakis, I., Pimenta, A., Gallo, L. & Spanoudakis, G. ORCID: 0000-0002-0037-2600view all authors (2023). Pseudonymisation in the context of GDPR-compliant medical research. In: 2023 19th International Conference on the Design of Reliable Communication Networks (DRCN). 19th International Conference on the Design of Reliable Communication Networks (DRCN), 17-20 Apr, 2023, Vilanova i la Geltrú, Spain. doi: 10.1109/DRCN57075.2023.10108370

Su, Q. ORCID: 0000-0001-6236-5951, Peretokin, V., Basdekis, I. , Kouris, I., Maggesi, J., Sicuranza, M., Acebes, A., Bucur, A., Mukkala, V. J. R., Pozdniakov, K., Kloukinas, C. ORCID: 0000-0003-0424-7425, Koutsouris, D. D., Iliadou, E., Leontsinis, I., Gallo, L., De Pietro, G. & Spanoudakis, G. ORCID: 0000-0002-0037-2600view all authors (2023). The SMART BEAR Project: An Overview of Its Infrastructure. In: Information and Communication Technologies for Ageing Well and e-Health. 8th International Conference, ICT4AWE 2022, 23-25 Apr 2022, Online. doi: 10.1007/978-3-031-37496-8_21

Peretokin, V., Basdekis, I., Kouris, I. , Maggesi, J., Sicuranza, M., Su, Q. ORCID: 0000-0001-6236-5951, 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. In: Proceedings of the 8th International Conference on Information and Communication Technologies for Ageing Well and e-Health - ICT4AWE,. 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. In: 2019 IEEE 24th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD). 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). 2018 IEEE International Conference on Services Computing (SCC), 02 - 07 July 2018, San Francisco, CA, USA. doi: 10.1109/SCC.2018.00053

Krotsiani, M., Kloukinas, C. & Spanoudakis, G. (2017). Cloud Certification Process Validation using Formal Methods. In: Maximilien, M., Vallecillo, A., Wang, J. & Oriol, M.view all authors (Eds.), Service-Oriented Computing. ICSOC 2017. 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. 17th international ACM Sigsoft symposium on Component-based software engineering, 30 Jun - 4 Jul 2014, Marcq-en-Bareul, France. doi: 10.1145/2602458.2602463

Ozkaya, M. & Kloukinas, C. (2013). Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability. In: Proceedings - 39th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2013. 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. In: SoMeT 2013 - 12th IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques, Proceedings. 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. In: ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies. 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: ETFA. 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA), 17-21 Sept. 2012, Krakow. doi: 10.1109/ETFA.2012.6489653

Kloukinas, C. (2009). Better abstractions for reusable components & architectures. In: ICSE Companion. 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. In: Proceedings - The 3rd International Conference on Internet Monitoring and Protection, ICIMP 2008. 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. In: SEKE. 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. In: MEMOCODE. 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. (2004). Data-Mining Synthesised Schedulers for Hard Real-Time Systems. In: ASE. 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. In: ECRTS. 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: WICSA. Working IEEE/IFIP Conference on Software Architecture, 28 - 31 Aug 2001, Amsterdam, Holland. 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. In: ASE. 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). .