Search
photo of Christos Kloukinas

Dr Christos Kloukinas

Reader

School of Science & Technology Department of Computer Science

Contact details

Address

Dr Christos Kloukinas A205, College Building [A]
City, University of London
Northampton Square
London EC1V 0HB
United Kingdom

Personal links

About

Overview

Dr Christos Kloukinas is a Reader (equivalent to an Associate Professor in the USA) at the Department of Computer Science.

Christos holds a BSc degree in Computer Science (1994) and an MSc degree in the fields of Parallel & Distributed Systems and Machine Vision & Robotics (1997), both from the University of Crete at Heraklion, Greece. He also holds a PhD degree in Informatics (2002) from the University of Rennes 1, France.

Before joining City University London, Christos worked as a programmer in the Machine Vision & Robotics Laboratory, Machine Learning group of ICS-FoRTH (Heraklion, Greece) and as a researcher in the PLEIADES - Parallel & Distributed Systems Laboratory of ICS-FoRTH, the Solidor research project of IRISA (Rennes, France), the Arles research project of INRIA-Rocquencourt (Paris, France) and the Verimag research laboratory (Grenoble, France).

While at City Christos has been/is currently involved as an investigator in the AERAS (2019/12-2023/11), Smart-Bear (2019/9-2023/8), CyberSure (2017/1-2020/12), Toreador (2016/1-2018/12), IoT@Work (2010/6-2013/6), SLA@SOI (2008/6-2011/7), Serenity (2006/1-2008/12), Pepers (2006/1-2008/6), and SeCSE (2004/10-2007/9) research projects.

Before joining City, Christos was an investigator in the OMEGA (2002/12-2005/2), AMETIST (2002/4-2005/6), DSoS (2000/4-2003/3), C3DS (1998/1-2000/12), Lydia (1994/4-1997/3), and MLT (1989/4-1993/3) European research projects, in the Expresso French RNTL research project and in the TinAster (France Telecom R&D) and ANACONDA (STMicroelectronics) industry-funded research projects.

Christos's personal web page is available here: staff.city.ac.uk/c.kloukinas/

Qualifications

  • PhD Composition of Software Architectures, University of Rennes 1, France, 2002
  • MSc Computer Science, University of Crete, Greece, Jan 1997
  • BSc Computer Science, University of Crete, Greece, Jan 1994

Employment

  • Reader, City, University of London, Aug 2020 – present
  • Senior Lecturer, City, University of London, Aug 2010 – Jul 2020
  • Lecturer, City, University of London, Jan 2005 – Jul 2010
  • Researcher, Verimag Research Laboratory, Jan 2002 – Nov 2004

Teaching

Christos is the current Scheme Director for the Technical Scheme of Postgraduate Courses, which includes the MSc in Advanced Computer Science, the MSc in Computer Games Technology, the MSc in e-Business Systems, and the MSc in Software Engineering, for which he is also the Course Director.

Research

Christos' principal research interests are in the area of software engineering and embedded systems, focusing in the development of methods and tools for the analysis, fine-grain control, optimisation and implementation of mission-critical and safety-critical, hard real-time embedded systems. Also interested in Software Architectures, Security and Machine Learning.

While at City Christos has been/is currently involved as an investigator in the IoT@Work, SLA@SOI, SeCSE, Serenity and Pepers research projects.

Before joining City, Christos was an investigator in the MLT, Lydia, C3DS, DSoS, AMETIST and OMEGA European research projects, in the Expresso French RNTL research project and in the TinAster (France Telecom R&D) and ANACONDA (STMicroelectronics) industry-funded research projects.

Publications

Featured publications

  1. Mantzoukas, K., Kloukinas, C. and Spanoudakis, G. (2018). Monitoring Data Integrity in Big Data Analytics Services. 2018 IEEE 11th International Conference on Cloud Computing (CLOUD) 2-7 July.
  2. Krotsiani, M., Kloukinas, C. and Spanoudakis, G. (2017). Validation of Service Level Agreements Using Probabilistic Model Checking. 2017 IEEE International Conference on Services Computing (SCC) 25-30 June.
  3. Ozkaya, M. and Kloukinas, C. (2014). Design-by-contract for reusable components and realizable architectures. CompArch'14: Federated Events on Component-Based Software Engineering and Software Architecture.
  4. Kloukinas, C. and Ozkaya, M. (2013). XCD - Modular, realizable software architectures.
  5. Ozkaya, M. and Kloukinas, C. (2013). Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability.
  6. Lekeas, G., Kloukinas, C. and Stathis, K. (2011). Producing Enactable Protocols in Artificial Agent Societies.
  7. Kloukinas, C. (2005). Thunderstriking constraints with JUPITER.
  8. Kloukinas, C. (2004). Data-Mining Synthesised Schedulers for Hard Real-Time Systems.
  9. Krotsiani, M., Spanoudakis, G. and Kloukinas, C. (2015). Monitoring-Based Certification of Cloud Service Security. pp. 644–659. doi:10.1007/978-3-319-26148-5_44.

    [publisher’s website]

  10. Kagadis, G.C., Kloukinas, C., Moore, K., Philbin, J., Papadimitroulas, P., Alexakos, C. … Hendee, W.R. (2013). Cloud computing in medical imaging. Med Phys, 40(7), p. 70901. doi:10.1118/1.4811272.
  11. Besbes, H., Smart, G., Buranapanichkit, D., Kloukinas, C. and Andreopoulos, Y. (2013). Analytic Conditions for Energy Neutrality in Uniformly-Formed Wireless Sensor Networks. IEEE Transactions on Wireless Communications.
  12. Kloukinas, C. and Yovine, S. (2011). A model-based approach for multiple QoS in scheduling: from models to implementation. Autom. Softw. Eng., 18, pp. 5–38.

Publications by category

Chapters (6)

  • (2014). Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study. In SCITEPRESS - Science and and Technology Publications.
  • Ozkaya, M. and Kloukinas, C. (2014). Realizable, Connector-Driven Software Architectures for Practising Engineers. Communications in Computer and Information Science (pp. 273–289). Springer Berlin Heidelberg. ISBN 978-3-662-44919-6.
  • Spanoudakis, G., Kloukinas, C. and Mahbub, K. (2009). The Runtime Monitoring Framework of SERENITY. In Spanoudakis, G., Maña, A. and Kokolakis, S. (Eds.), (pp. 213–238). Springer-Verlag New York Inc. ISBN 978-0-387-88774-6.
  • Tsigkritis, T., Spanoudakis, G., Kloukinas, C. and Lorenzoli, D. (2009). Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework. In Spanoudakis, G., Maña, A. and Kokolakis, S. (Eds.), Security and Dependability for Ambient Intelligence (pp. 239–274). Springer-Verlag New York Inc. ISBN 978-0-387-88774-6.
  • Spanoudakis, G., Sanchez-Cid, F., Mana, A., Serrano, D. and Munnoz, A. (2009). Representation of Security and Dependability Solutions. In Spanoudakis, G., Mana, A. and 4. Kokolakis, (Eds.), Security and Dependability for Ambient Intelligence (pp. 69–96). Springer-Verlag New York Inc. ISBN 978-0-387-88774-6.
  • Spanoudakis, G., Kloukinas, C. and Mahbub, K. (2009). The SERENITY Runtime Monitoring Framework. In Kokolakis, S., Gómez, A.M. and Spanoudakis, G. (Eds.), Security and Dependability for Ambient Intelligence (pp. 213–237). Springer. ISBN 978-0-387-88774-6.

Compositions (2)

  • Kloukinas, C. (2007). "Assigning meaning to form". Position paper for the National Workshop on New Research Directions in Composable and Systems Technologies for High Confidence Cyber Physical Systems (CST-HCCPS). Organised by the Committee on Technology of the National Science and Technology Council, Federal Networking and Information Technology R&D Subcommittee, High Confidence Software and Systems (HCSS) Coordinating Group (CG).
  • Kloukinas, C. (2007). "The need to revisit architectural connectors". Position paper for the National Workshop on New Research Directions in Composable and Systems Technologies for High Confidence Cyber Physical Systems (CST-HCCPS). Organised by the Committee on Technology of the National Science and Technology Council, Federal Networking and Information Technology R&D Subcommittee, High Confidence Software and Systems (HCSS) Coordinating Group (CG).

Conference papers and proceedings (19)

  • Peretokin, V., Basdekis, I., Kouris, I., Maggesi, J., Sicuranza, M., Su, Q. … Spanoudakis, G. (2022). Overview of the SMART-BEAR Technical Infrastructure. 8th International Conference on Information and Communication Technologies for Ageing Well and e-Health 23-25 April.
  • Hatzivasilis, G., Chatziadam, P., Petroulakis, N., Ioannidis, S., Mangini, M., Kloukinas, C. … Panayiotou, M. (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) 11-13 September.
  • Ardagna, C.A., Damiani, E., Krotsiani, M., Kloukinas, C. and Spanoudakis, G. (2018). Big Data Assurance Evaluation: An SLA-Based Approach. 2018 IEEE International Conference on Services Computing (SCC) 2-7 July.
  • Krotsiani, M., Kloukinas, C. and Spanoudakis, G. (2017). Cloud Certification Process Validation Using Formal Methods.
  • Ozkaya, M. and Kloukinas, C. (2013). Towards Design-by-Contract based software architecture design. 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) 22-24 September.
  • Ozkaya, M. and Kloukinas, C. (2013). Towards a design-by-contract based approach for realizable connector-centric software architectures.
  • Houyou, A.M., Huth, H.-.P., Kloukinas, C., Trsek, H. and Rotondi, D. (2012). Agile manufacturing: General challenges and an IoT@Work perspective.
  • Kloukinas, C. (2009). Better abstractions for reusable components & architectures.
  • Kloukinas, C., Lekeas, G. and Stathis, K. (2008). From Agent Game Protocols to Implementable Roles. Sixth European Workshop on Multi-Agent Systems - EUMAS 18-19 December, Bath.
  • Spanoudakis, G., Kloukinas, C. and Androutsopoulos, K. (2008). Dynamic verification and control of mobile peer-to-peer systems.
  • Kloukinas, C., Spanoudakis, G. and Mahbub, K. (2008). Estimating Event Lifetimes for Distributed Runtime Verification.
  • Spanoudakis, G., Kloukinas, C. and Androutsopoulos, K. (2007). Towards security monitoring patterns.
  • Kloukinas, C. and Spanoudakis, G. (2007). A pattern-driven framework for monitoring security and dependability.
  • Kloukinas, C. and Yovine, S. (2003). Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems.
  • Kloukinas, C., Nakhli, C. and Yovine, S. (2003). A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications.
  • Zarras, A., Issarny, V., Kloukinas, C. and Nguyen, V. (2001). Towards a Base UML Profile for Architecture Description. 1st ICSE Workshop on Describing Software Architecture with UML, held in conjunction with the 23rd International Conference on Software Engineering (ICSE-2001) 15 May, Toronto.
  • Kloukinas, C. and Issarny, V. (2001). SPIN-ning Software Architectures: A Method for Exploring Complex.
  • Kloukinas, C. and Issarny, V. (2000). Automating the Composition of Middleware Configurations.
  • Kloukinas, C., Saridakis, T. and Issarny, V. (1999). Fault Tolerant Access to Dynamically Located Services for CORBA Applications. Computer Applications in Industry and Engineering (CAINE-99), 12th Int'l. Conference 4-6 November, Atlanta.

Journal articles (8)

Reports (17)

  • Kloukinas, C. and Ozkaya, M. (2012). XCD – Simple, Modular, Formal Software Architectures..
  • Botella, A., Compagna, L., El Khaoury, P., Kloukinas, C., Li, K., Maña, A. … Sinha, S. (2008). Patterns and Integration Schemes Languages (Final Version)..
  • Spanoudakis, G., Tsigkritis, T. and Kloukinas, C. (2008). 2nd Version of Diagnosis Prototype..
  • Amalio, N., Di Giacomo, V., Kloukinas, C. and Spanoudakis, G. (2008). Mechanisms for detecting potential S&D threats..
  • Botella, A., Compagna, L., El Khoury, P., Kloukinas, C., Li, K., Maña, A. … Sinha, S. (2008). Patterns and Integration Schemes Languages (Second Version)..
  • Mahbub, K., Kloukinas, C. and Spanoudakis, G. (2007). V2 of Dynamic Validation Prototype..
  • Kloukinas, C., Mahbub, K. and Spanoudakis, G. (2007). Evaluation of V1 of Dynamic Validation Prototype..
  • Androutsopoulos, K., Kloukinas, C. and Spanoudakis, G. (2006). Basic traceability model for run-time S&D monitoring..
  • Kloukinas, C., Ballas, C., Presenza, D. and Spanoudakis, G. (2006). Basic set of information collection mechanisms for run-time S&D monitoring..
  • Spanoudakis, G., Kloukinas, C., Tsigkritis, T., Androutsopoulos, K., Ballas, C. and Presenza, D. (2006). Review of the state of the art - security and dependability monitoring and recover..
  • Androutsopoulos, K., Ballas, C., Kloukinas, C., Mahbub, K. and Spanoudakis, G. (2006). V1 of Dynamic Validation Prototype..
  • Issarny, V., Kloukinas, C., Nguyen, V. and Zarras, A. (2001). An Architecture-based Environment for the Development of DSoS..
  • Periorellis, P., Romanovsky, A., Welch, I. and Kloukinas, C. (2001). Dealing with Interface Changes in the TA Case Study..
  • Issarny, V., Kloukinas, C. and Zarras, A. (2000). Architecture and Design..
  • Issarny, V., Demairy, E., Zarras, A., Kloukinas, C. and Rouvrais, S. (2000). 3DS Design and Development Methodology..
  • Issarny, V., Demairy, E., Zarras, A., Kloukinas, C. and Rouvrais, S. (2000). QoS Analysis..
  • Nikolaou, C., Labrinidis, A., Bohn, V., Ferguson, D., Artavanis, M., Kloukinas, C. … Marazakis, M. (1998). The Impact of Workload Clustering on Transaction Routing..

Scholarly edition

  • Kloukinas, C. (2003). Course on Real-Time Java for IN2P3.

Theses/dissertations (2)

  • Kloukinas, C. Composition of Software Architectures. (PhD Thesis)
  • Kloukinas, C. On-the-fly clustering of OLTP workload characterisations. (Master's Thesis)