Department of Computer Science

Dr Christos Kloukinas

Publications

Dr Christos Kloukinas
Reader
Office A205
Department of Computer Science
City University London
Northampton Square
London EC1V 0HB

C.Kloukinas (at) City.Ac.UK
tel: +44 20 7040 8848
fax: +44 20 7040 0244
Staff.City.Ac.UK/c.kloukinas

Reaching the College building (where my office is) from Angel. (https://bit.ly/fdc0K2)

Reaching the main University building from Angel. (https://bit.ly/fNKDnq)

Drop-In Office Hours (during teaching weeks)

Publications

On the Web

Books, Chapters in Books, Journals:

  1. Mert OZKAYA, and Christos KLOUKINAS
    "Realizable, Connector-Driven Software Architectures for Practising Engineers"
    In Communications in Computer and Information Science Volume 457, 2014, pp 273-289.
    DOI: 10.1007/978-3-662-44920-2_17
  2. Hana BESBES, George SMART, Dujdow BURANAPANICHKIT, Christos KLOUKINAS, and Yiannis ANDREOPOULOS
    "Analytic Conditions for Energy Neutrality in Uniformly-Formed Wireless Sensor Networks"
    IEEE Transactions on Wireless Communications, volume 12, issue 10, pages 4916-4931, October 2013.
    DOI: 10.1109/TWC.2013.092013.121649
  3. George C. KAGADIS, Christos KLOUKINAS, Kevin MOORE, Jim PHILBIN, Panagiotis PAPADIMITROULAS, Christos ALEXAKOS, Paul G. NAGY, Dimitris VISVIKIS, and William R. HENDEE
    "Cloud computing in medical imaging"
    Medical Physics, volume 40, issue 7, Vision 20/20, pages 11, June 2013.
    DOI: 10.1118/1.4811272
  4. Christos KLOUKINAS, and Sergio YOVINE
    "A model-based approach for multiple QoS in scheduling: from models to implementation"
    Automated Software Engineering Journal, volume 18, number 1, pages 5-38, March 2011.
    DOI: 10.1007/s10515-010-0074-8
  5. Francisco SÁNCHEZ-CID, Antonio MAÑA, George SPANOUDAKIS, Christos KLOUKINAS, Daniel SERRANO, Antonio MUÑOZ
    Chapter 5 "Representation of Security and Dependability Solutions" In G. Spanoudakis, A. Maña, and S. Kokolakis, editors, Security and Dependability for Ambient Intelligence, number 13 in Information Security Series, pages 69-95. Springer-Verlag, 2009.
    Local copy (in PDF).
  6. George SPANOUDAKIS, Christos KLOUKINAS, and Khaled MAHBUB
    Chapter 13 "The Runtime Monitoring Framework of SERENITY"
    In G. Spanoudakis, A. Maña, and S. Kokolakis, editors, Security and Dependability for Ambient Intelligence, number 13 in Information Security Series, pages 190-214. Springer-Verlag, 2009.
    Local copy (in PDF).
  7. Theoharis TSIGRITIS, George SPANOUDAKIS, Christos KLOUKINAS, and Davide LORENZOLI
    Chapter 14 "Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework" In G. Spanoudakis, A. Maña, and S. Kokolakis, editors, Security and Dependability for Ambient Intelligence, number 13 in Information Security Series, pages 215-247. Springer-Verlag, 2009.
    Local copy (in PDF).
  8. Kostas STATHIS, George LEKEAS, and Christos KLOUKINAS
    "Competence checking for the global e-service society using games" In Gregory M. P. O'Hare, Alessandro Ricci, Michael J. O'Grady, and Oguz Dikenelli, editors, Engineering Societies in the Agents World VII - Revised Selected and Invited Papers, volume 4457 of Lecture Notes in Artificial Intelligence, pages 384-400. Springer-Verlag, April 2007.
    Local copy (in PDF).
  9. Apostolos ZARRAS, Christos KLOUKINAS, Valérie ISSARNY
    "Quality Analysis of Dependable Systems: A Developer Oriented Approach"
    Chapter in LNCS-2677, (book title "Architecting Dependable Systems", ISBN 3-540-40727-8), pages 197-218.
    Local copy (in PDF).
  10. Valérie ISSARNY, Christos KLOUKINAS, Apostolos ZARRAS
    "Systematic Aid for Developing Middleware Architectures"
    Communications of the ACM, Vol. 45, Issue 6, pages 53-58, June 2002.
    Copy from the ACM Portal
    Local copy (both in PDF). BibTeX reference

Refereed Conferences & Workshops:

  1. George HATZIVASILIS, Panos CHATZIADAM, Nikos PETROULAKIS, Sotiris IOANNIDIS, Matteo MANGINI, Christos KLOUKINAS, Artsiom YAUTSIUKHIN, Michalis ANTONIOU, Dimitrios G. KATEHAKIS, and Marios PANAYIOTOU
    "Cyber Insurance of Information Systems"
    IEEE CAMAD 2019:
  2. Konstantinos MANTZOUKAS, Christos KLOUKINAS, and George SPANOUDAKIS
    "Monitoring Data Integrity in Big Data Analytics Services"
    IEEE CLOUD 2018: 904-907
    DOI: 10.1109/SCC.2017.26
  3. Claudio Agostino ARDAGNA, Ernesto DAMIANI, Maria KROTSIANI, Christos KLOUKINAS, and George SPANOUDAKIS
    "Big Data Assurance Evaluation: An SLA-Based Approach"
    SCC 2018: 299-303
    DOI: 10.1109/SCC.2018.00053
  4. Maria KROTSIANI, Christos KLOUKINAS, and George SPANOUDAKIS
    "Validation of Service Level Agreements Using Probabilistic Model Checking"
    SCC 2017: 148-155
    DOI: 10.1109/SCC.2017.26
  5. Maria KROTSIANI, Christos KLOUKINAS, and George SPANOUDAKIS
    "Cloud Certification Process Validation Using Formal Methods"
    ICSOC 2017: 65-79
    DOI: 10.1007/978-3-319-69035-3_5
  6. Maria KROTSIANI, George SPANOUDAKIS, and Christos KLOUKINAS
    "Monitoring-Based Certification of Cloud Service Security"
    In the Cloud and Trusted Computing 2015 (C&TC 2015) - International Symposium on Secure Virtual Infrastructures., C. Debruyne et al. (Eds.): OTM 2015 Conference, LNCS 9415, pp. 1–16, 2015.
    DOI: 10.1007/978-3-319-26148-5_44
  7. Mert OZKAYA, and Christos KLOUKINAS
    "Design-by-Contract for Reusable Components and Realizable Architectures"
    In the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'14), 129-138.
    DOI: 10.1145/2602458.2602463
    Slides used at the CBSE'14 conference
  8. Mert OZKAYA, and Christos KLOUKINAS
    "Architectural Specification and Analysis with XCD - The Aegis Combat System Case Study"
    MODELSWARD 2014: 368-375
    DOI: 10.5220/0004714403680375 conference
  9. Mert OZKAYA, and Christos KLOUKINAS
    "Are We There Yet? Analyzing Architecture Description Languages for Formal Analysis, Usability, and Realizability"
    In 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), p. 177-184 , 2013
    DOI: 10.1109/SEAA.2013.34 (PDF).
    Full paper (PDF).
  10. Mert OZKAYA, and Christos KLOUKINAS
    "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'13), p. 555-562, 29 - 31 Jul 2013, Rejkyavik, Iceland
    DOI: 10.5220/0004592305550562 (PDF).
    Full paper (PDF).
  11. Mert OZKAYA, and Christos KLOUKINAS
    "Towards Design-by-Contract Based Software Architecture Design"
    In IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2013, p. 157-164, Budapest, Hungary, September 22-24, 2013
    DOI: 10.1109/SoMeT.2013.6645654 (PDF).
    Full paper (PDF).
  12. Mert OZKAYA, and Christos KLOUKINAS
    "Highly Analysable, Reusable, and Realisable Architectural Designs with Xcd"
    In the 5th International Conference on Advanced Software Engineering and Its Applications (ASEA 2012), Communications in Computer and Information Science (CCIS) 340, pp. 72–79, 2012. Springer.
    DOI: 10.1007/978-3-642-35267-6_10 (PDF).
    Full paper (PDF).
  13. Mert Ozkaya, and Christos KLOUKINAS
    "Facilitating Early Architectural Exploration with Connector-Centric Design (Xcd)" (p. 7-16)
    In the Fifth York Doctoral Symposium on Computer Science (YDS 2012), University of York Technical Report YCS-2012-480, p. 7-16, York, UK, 2012.
    Symposium Proceedings (PDF).
  14. Christos KLOUKINAS, and Mert OZKAYA
    "Xcd - Modular, Realizable Software Architectures"
    In Formal Aspects of Component Systems - FACS 2012, Lecture Notes in Computer Science (LNCS) 7684, pp. 152–169, NASA Ames, 2012. Springer.
    DOI: 10.1007/978-3-642-35861-6_10 (PDF).
    Full paper (PDF).
  15. Amine M. Houyou, Hans-Peter Huth, Christos KLOUKINAS, Henning Trsek, and Domenico Rotondi
    "Agile Manufacturing: General Challenges and an IoT@Work Perspective"
    In the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2012), September 2012.
    DOI: 10.1109/ETFA.2012.6489653
    Full Paper (PDF).
  16. George LEKEAS, Christos KLOUKINAS, Kostas STATHIS
    Producing Enactable Protocols in Artificial Agent Societies
    In LNAI: Agents in Principle, Agents in Practice, 7047, 311-322, 2011.
    DOI: 10.1007/978-3-642-25044-6_25
    Full paper
  17. Christos KLOUKINAS
    "Better Abstractions for Reusable Components & Architectures"
    In International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), ICSE Companion, pp. 199-202, Vancouver, Canada, May 2009, ISBN 978-1-4244-3743-6.
    DOI: 10.1109/ICSE-COMPANION.2009.5070981
    Full paper (PDF).
    Poster for the paper (PDF). See also the post-conference material for ICSE
  18. Christos KLOUKINAS, George LEKEAS, and Kostas STATHIS
    "From Agent Game Protocols to Implementable Roles"
    In Sixth European Workshop on Multi-Agent Systems - EUMAS, p. 1-15, Bath, UK, December 2008.
    Full paper (PDF).
  19. Christos KLOUKINAS, George SPANOUDAKIS, and Khaled MAHBUB
    "Estimating Event Lifetimes for Distributed Runtime Verification"
    In the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'08), San Francisco Bay, USA, July 2008.
    Preliminary version (PDF).
  20. George SPANOUDAKIS, Christos KLOUKINAS, and Kelly ANDROUTSOPOULOS
    "Dynamic Verification and Control of Mobile Peer-to-Peer Systems"
    In the Third International Conference on Internet Monitoring and Protection (ICIMP 2008), Bucharest, Romania, June-July 2008.
    Preliminary version (PDF).
  21. Christos KLOUKINAS, George SPANOUDAKIS
    "A Pattern-Driven Framework for Monitoring Security and Dependability"
    In Costas Lambrinoudakis, Günter Pernul, and A Min Tjoa, editors, 4th International Conference on Trust, Privacy and Security in Digital Business (TrustBus'07), volume 4657 of Lecture Notes in Computer Science, pages 210-218, Regensburg, Germany, September 2007.
    Preliminary version (PDF).
  22. George SPANOUDAKIS, Christos KLOUKINAS, and Kelly ANDROUTSOPOULOS
    "Towards security monitoring patterns"
    In ACM Symposium on Applied Computing (SAC07) - Track on Software Verification, volume 2, pages 1518-1525, Seoul, Korea, March 2007. ACM.
    Full paper (PDF).
  23. Kostas STATHIS, George LEKEAS, and Christos KLOUKINAS
    " Competence checking for the global e-service society using games"
    In Engineering Societies in the Agents World VII, Dublin, Ireland, September 2006. Post-proceedings: LNAI-4457, p. 384-400.
    Full paper (PDF).
  24. Christos KLOUKINAS
    "Thunderstriking Constraints with Jupiter"
    In the Proceedings of the Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), pages 211-220.
    Verona, Italy, Jyly 2005, ISBN 0-7803-9227-2
    Full paper (PDF).
  25. Christos KLOUKINAS
    "Data-Mining Synthesised Schedulers for Hard Real-Time Systems"
    In the Proceedings of the 19th IEEE Conference on Automated Software Engineering (ASE 2004), pages 14-23.
    Linz, Austria, September 2004
    Full paper (PDF).
  26. Christos KLOUKINAS, Chaker NAKHLI, Sergio YOVINE
    "A methodology and tool support for generating scheduled native code for real-time Java applications"
    In the Proceedings of the Third International Conference on Embedded Software (EMSOFT 2003), LNCS-2855, pages 274-289.
    Philadelphia, Pennsylvania, USA, October 2003
    Rajeev Alur and Insup Lee (eds.)
    Full paper (PDF). Springer Link: https://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2855&spage=274
  27. Christos KLOUKINAS, Sergio YOVINE
    "Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems"
    In the Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS'03), pages 287-294
    Porto, Portugal, July 2003
    ISBN 0-7695-1936-9
    Full paper (PDF).
    Nominated for the "Best Paper" award!
  28. Christos KLOUKINAS, Valérie ISSARNY
    "Spin-ning Software Architectures: A Method for Exploring Complex Systems"
    In Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA2001), pages 67-76
    August 28-31, 2001, Amsterdam, The Netherlands
    Full paper (PDF). BibTeX reference.
  29. Apostolos ZARRAS, Valérie ISSARNY, Christos KLOUKINAS and Viet Khoi NGUYEN
    "Towards a Base UML Profile for Architecture Description"
    In 1st ICSE Workshop on Describing Software Architecture with UML, held in conjunction with the 23rd International Conference on Software Engineering (ICSE-2001)
    May 15, 2001, Toronto, Canada
    Full paper (PDF).
  30. Christos KLOUKINAS, Valérie ISSARNY
    "Automating the Composition of Middleware Configurations"
    In Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE-2000), pages 241-244
    September 11-15, 2000, Grenoble, France
    ISBN: 0-7695-0710-7
    Full paper (PDF). BibTeX reference.
  31. Titos SARIDAKIS, Christos KLOUKINAS, Valérie ISSARNY
    "Fault Tolerant Access to Dynamically Located Services for CORBA Applications"
    In Proceedings of Computer Applications in Industry and Engineering (CAINE-99), 12th Int'l. Conference, pages 21-24
    November 4-6, 1999, Atlanta, Georgia, USA
    Editor: Q. Yang
    ISBN: 1-880843-30-7
    Full paper (PDF). BibTeX reference.

Project Deliverable Reports:

  1. A. BOTELLA, L. COMPAGNA, P. EL KHOURY, Christos KLOUKINAS, K. LI, A. MAÑA, A. MUÑOZ, G. PUJOL, A. SAIDANE, F. SANCHEZ-CID, J. SALVADOR, D. SERRANO, G. SPANOUDAKIS, S. SINHA
    "Patterns and Integration Schemes Languages (Final Version)"
    Deliverable A5.D2.5, SERENITY EU Research Project 027587, November 2008.
    Local copy
  2. George SPANOUDAKIS, Theoharis TSIGKRITIS, and Christos KLOUKINAS
    "2nd Version of Diagnosis Prototype"
    Deliverable A4.D5.2, SERENITY EU Research Project 027587, August 2008.
    Local copy
  3. Nuno Amalio, Valentina Di Giacomo, Christos KLOUKINAS, and George SPANOUDAKIS
    "Mechanisms for detecting potential S&D threats"
    Deliverable A4.D4.1, SERENITY EU Research Project 027587, May 2008.
    Local copy
  4. A. BOTELLA, L. COMPAGNA, P. EL KHOURY, Christos KLOUKINAS, K. LI, A. MAÑA, A. MUÑOZ, G. PUJOL, A. SAIDANE, F. SANCHEZ-CID, J. SALVADOR, D. SERRANO, G. SPANOUDAKIS, S. SINHA
    "Patterns and Integration Schemes Languages (Second Version)"
    Deliverable A5.D2.3, SERENITY EU Research Project 027587, February 2008.
    Local copy
  5. Khaled MAHBUB, Christos KLOUKINAS, and George SPANOUDAKIS
    "V2 of Dynamic Validation Prototype"
    Deliverable A4.D3.3, SERENITY EU Research Project 027587, September 2007.
    Local copy
  6. Christos KLOUKINAS, Khaled MAHBUB, and George SPANOUDAKIS
    "Evaluation of V1 of Dynamic Validation Prototype"
    Deliverable A4.D3.2, SERENITY EU Research Project 027587, June 2007.
    Local copy
  7. Kelly ANDROUTSOPOULOS, Christos KLOUKINAS, and George SPANOUDAKIS
    " Basic traceability model for run-time S&D monitoring"
    Deliverable A4.D2.1, SERENITY EU Research Project 027587, December 2006.
    Local copy
  8. Christos KLOUKINAS, Constantinos BALLAS, Domenico PRESENZA, and George SPANOUDAKIS
    " Basic set of information collection mechanisms for run-time S&D monitoring"
    Deliverable A4.D2.2, SERENITY EU Research Project 027587, October 2006.
    Local copy
  9. George SPANOUDAKIS, Christos KLOUKINAS, Theoharis TSIGRITIS, Kelly ANDROUTSOPOULOS, Constantinos BALLAS, and Domenico PRESENZA
    " Review of the state of the art - security and dependability monitoring and recovery"
    Deliverable A4.D1.1, SERENITY EU Research Project 027587, April 2006.
    Local copy
  10. Kelly ANDROUTSOPOULOS, Constantinos BALLAS, Christos KLOUKINAS, Khaled MAHBUB and George SPANOUDAKIS
    " V1 of Dynamic Validation Prototype"
    Deliverable A4.D3.1, SERENITY EU Research Project 027587, February 2006.
    Local copy
  11. Valérie ISSARNY, Christos KLOUKINAS, Viet Khoi NGUYEN, Apostolos ZARRAS
    "An Architecture-based Environment for the Development of DSoS."
    In "Architecture and Design: Initial Results on Architectures and Dependable Mechanisms for Dependable SoSs", Deliverable IC2 of the DSoS project, pages 11-43, September 2001. Available from (PDF).
    Local copy
  12. Valérie ISSARNY, Christos KLOUKINAS, Apostolos ZARRAS
    "Architecture and Design."
    In "State of the Art Survey", Deliverable BC2 of the DSoS project, pages 9-21, April 2000. Available from (PDF).
    Local copy
  13. Valérie ISSARNY, Erwan DEMAIRY, Apostolos ZARRAS, Christos KLOUKINAS, Siegfried ROUVRAIS
    "C3DS Design and Development Methodology."
    In Second Year Report Deliverables of C3DS, pages 11-29, January 2000. C3DS home page.
    Local copy
  14. Valérie ISSARNY, Erwan DEMAIRY, Apostolos ZARRAS, Christos KLOUKINAS, Siegfried ROUVRAIS
    "QoS Analysis.."
    In Second Year Report Deliverables of C3DS, pages 185-212, January 2000. C3DS home page.
    Local copy

Technical Reports:

  1. Christos KLOUKINAS, Mert OZKAYA
    XcD - Simple, Modular, Formal Software Architectures
    School of Informatics, Department of Computing, Technical Report Series, TR/2012/DOC/01, ISSN 1364-4009, City University London, U.K. 12 pages, 14 May 2012. Full paper (PDF).
  2. Christos NIKOLAOU, Alexandros LABRINIDIS, Volker BOHN, Donald FERGUSON, Michalis ARTAVANIS, Christos KLOUKINAS and Manolis MARAZAKIS
    The Impact of Workload Clustering on Transaction Routing
    TR98-0238, Institute of Computer Science (ICS), Foundation for Research and Technology - Hellas (FoRTH) 26 pages, December 1998. Full paper (PDF).
    Bibliographic data and Abstract. (text)

White Papers:

  1. Panos PERIORELLIS, Alexander ROMANOVSKY, Ian WELCH, and Christos KLOUKINAS
    "Dealing with Interface Changes in the TA Case Study."
    White paper written for the DSoS ESPRIT research project, September 2001.

Theses:

  1. Christos KLOUKINAS
    "Composition of Software Architectures"
    Ph.D. thesis, Mention Informatique, Université de Rennes 1, France, February 2002.
    English text (PDF).
  2. Christos KLOUKINAS
    "On-the-fly clustering of OLTP workload characterisations"
    Master's thesis, Computer Science Department, University of Crete, 1997, 110+xviii pages (In Greek.)
    Full text (in Greek) (gzipped postscript).
    Full text (in Greek) (PDF).

Miscellaneous:

  1. Christos KLOUKINAS
    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). Arlington, VA, USA, July 2007.
    Position paper
  2. Christos KLOUKINAS
    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). Arlington, VA, USA, July 2007.
    Position paper
  3. Christos KLOUKINAS
    "Course on Real-Time Java for IN2P3." (French National Institute for Nuclear Physics and Particle Physics, CNRS)
    IN2P3 Summer school on Real-Time Systems, La Londe Les Maures, France, March 2003.
    Notes, slides and further teaching material are available at my IN2P3 page.

Last modified: Thu Oct 14 18:06 BST 2021