City Research Online

Items where City Author is "Spanoudakis, G. E."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Type | No Grouping
Number of items: 85.

Hatzivasilis, G., Ioannidis, S., Fysarakis, K. , Spanoudakis, G. ORCID: 0000-0002-0037-2600 & Papadakis, N. (2021). The green blockchains of circular economy. Electronics, 10(16), doi: 10.3390/electronics10162008

Smyrlis, M., Somarakis, I., Spanoudakis, G. ORCID: 0000-0002-0037-2600 , Hatzivasilis, G. & Ioannidis, S. (2021). Cyra: A model-driven cyber range assurance platform. Applied Sciences, 11(11), 5165. doi: 10.3390/app11115165

Papoutsakis, M., Fysarakis, K., Spanoudakis, G. ORCID: 0000-0002-0037-2600 , Ioannidis, S. & Koloutsou, K. (2021). Towards a Collection of Security and Privacy Patterns. Applied Sciences, 11(4), 1396. doi: 10.3390/app11041396

Hatzivasilis, G., Fysarakis, K., Ioannidis, S. , Hatzakis, I., Vardakis, G., Papadakis, N. & Spanoudakis, G. ORCID: 0000-0002-0037-2600 (2021). SPD-safe: Secure administration of railway intelligent transportation systems. Electronics (Switzerland), 10(1), 92.. doi: 10.3390/electronics10010092

Saunders, G. H., Christensen, J. H., Gutenberg, J. , Pontoppidan, N. H., Smith, A., Spanoudakis, G. ORCID: 0000-0002-0037-2600 & Bamiou, D-E. (2020). Application of Big Data to Support Evidence-Based Public Health Policy Decision-Making for Hearing. Ear and Hearing, 41(5), pp. 1057-1063. doi: 10.1097/AUD.0000000000000850

Miaoudakis, A., Fysarakis, K., Petroulakis, N. E. , Alexaki, S., Alexandirs, G., Ioannidis, S., Spanoudakis, G. ORCID: 0000-0002-0037-2600, Katos, V. & Verikoukis, C. (2020). Pairing a Circular Economy and the 5G-Enabled Internet of Things: Creating a Class of “Looping Smart Assets”. IEEE Vehicular Technology Magazine, doi: 10.1109/MVT.2020.2991788

Pino, L., Spanoudakis, G., Krotsiani, M. & Mahbub, K. (2020). Pattern Based Design and Verification of Secure Service Compositions. IEEE Transactions on Services Computing, 13(3), pp. 515-528. doi: 10.1109/TSC.2017.2690430

Hatzivasilis, G., Soultatos, O., Ioannidis, S. , Spanoudakis, G. ORCID: 0000-0002-0037-2600, Katos, V. & Demetriou, G. (2020). MobileTrust: Secure Knowledge Integration in VANETs. ACM Transactions on Cyber-Physical Systems, 4(3), 33.. doi: 10.1145/3364181

Somarakis, I., Smyrlis, M., Fysarakis, K. & Spanoudakis, G. ORCID: 0000-0002-0037-2600 (2020). Model-Driven Cyber Range Training: A Cyber Security Assurance Perspective. In: Computer Security. IOSEC 2019, MSTEC 2019, FINSEC 2019. Lecture Notes in Computer Science, 11981. (pp. 172-184). Cham: Springer. ISBN 9783030420505 doi: 10.1007/978-3-030-42051-2_12

Soultatos, O., Fysarakis, K., Spanoudakis, G. ORCID: 0000-0002-0037-2600 , Koshutanski, H., Damiani, E., Beckers, K., Wortmann, D., Bravos, G. & Ioannidis, M. (2020). The THREAT-ARREST Cyber-Security Training Platform. In: Fournaris, A. P., Athanatos, M., Lampropoulos, K. , Ioannidis, S., Hatzivasilis, G., Damiani, E., Abie, H., Ranise, S., Verderame, L., Siena, A. & Garcia-Alfaro, J. (Eds.), IOSEC 2019, MSTEC 2019, FINSEC 2019: Computer Security. (pp. 199-214). Cham, Switzerland: Springer.

Brdaric, D., Samardžić, S., Huskić, I. , Dritsakis, G., Sessa, J., Śliwińska-Kowalska, M., Pawlaczyk-Łuszczyńska, M., Basdekis, I. & Spanoudakis, G. ORCID: 0000-0002-0037-2600 (2020). A Data-informed Public Health Policy-Makers Platform. International Journal of Environmental Research and Public Health, 17(9), 3271.. doi: 10.3390/ijerph17093271

Hatzivasilis, G., Ioannidis, S., Smyrlis, M. , Spanoudakis, G. ORCID: 0000-0002-0037-2600, Frati, F., Goeke, L., Hildebrandt, T., Tsakirakis, G., Oikonomou, F., Leftheriotis, G. & Koshutanski, H. (2020). Modern Aspects of Cyber-Security Training and Continuous Adaptation of Programmes to Trainees. Applied Sciences, 10(16), 5702.. doi: 10.3390/app10165702

Soultatos, O., Papoutsakis, M., Fysarakis, K. , Hatzivasilis, G., Michalodimitrakis, M., Spanoudakis, G. ORCID: 0000-0002-0037-2600 & Ioannidis, S. (2019). Pattern-driven security, privacy, dependability and interoperability management of iot environments. IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, CAMAD, doi: 10.1109/CAMAD.2019.8858429

Christensen, J. H., Pontoppidan, N. H., Bossing, R. , Anisetti, M., Bamiou, D-E., Spanoudakis, G. ORCID: 0000-0002-0037-2600, Murdin, L., Bibas, T., Kikidiks, D., Dimakopoulos, N., Giotis, G. & Ecomomou, A. (2019). Fully Synthetic Longitudinal Real-World Data From Hearing Aid Wearers for Public Health Policy Modeling. Frontiers in Neuroscience, 13, 850.. doi: 10.3389/fnins.2019.00850

Soultatos, O., Spanoudakis, G., Fysarakis, K. , Askoxylakis, I., Alexandris, G., Miaoudakis, A. & Petroulakis, N. E. (2018). Towards a Security, Privacy, Dependability, Interoperability Framework for the Internet of Things. 2018 IEEE 23rd International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD), ISSN 2378-4865 doi: 10.1109/CAMAD.2018.8514937

Hatzivasilis, G., Askoxylakis, I. G., Alexandris, G. , Anicic, D., Broring, A., Kulkarni, V., Fysarakis, K. & Spanoudakis, G. ORCID: 0000-0002-0037-2600 (2018). The Interoperability of Things: Interoperable solutions as an enabler for IoT and Web 3.0. International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD), 2018, pp. 140-147. doi: 10.1109/CAMAD.2018.8514952

Ardagna, C. A., Damiani, E., Krotsiani, M. , Kloukinas, C. ORCID: 0000-0003-0424-7425 & Spanoudakis, G. ORCID: 0000-0002-0037-2600 (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

Petroulakis, N. E., Spanoudakis, G. & Askoxylakis, Y. (2018). Fault Tolerance Using an SDN Pattern Framework. In: GLOBECOM 2017 - 2017 IEEE Global Communications Conference. . Institute of Electrical and Electronics Engineers. ISBN 978-1-5090-5019-2 doi: 10.1109/GLOCOM.2017.8254082

Spanoudakis, G., Kikidis, D., Bibas, A. , Katrakazas, P., Koutsouris, D. & Pontopidan, N. H. (2018). Public health policy for management of hearing impairments based on big data analytics: EVOTION at Genesis. 2017 IEEE 17th International Conference on Bioinformatics and Bioengineering (BIBE), pp. 525-530. doi: 10.1109/BIBE.2017.00006

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

Petroulakis, N. E., Fysarakis, K., Askoxylakis, I. G. & Spanoudakis, G. (2017). Reactive Security for SDN/NFV-enabled Industrial Networks leveraging Service Function Chaining. Transactions on Emerging Telecommunications Technologies, doi: 10.1002/ett.3269

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.

Fysarakis, K., Petroulakis, N., Roos, A. , Abbasi, K., Vizarreta, P., Petropoulos, G., Sakic, E., Spanoudakis, G. & Askoxylakis, I. G. (2017). A Reactive Security Framework for Operational Wind Parks Using Service Function Chaining. In: Proceedings of 2017 IEEE Symposium on Computers and Communication (ISCC). . IEEE. doi: 10.1109/ISCC.2017.8024604

Prasinos, M., Spanoudakis, G. & Koutsouris, D. (2017). Towards a Model-Driven Platform for Evidence based Public Health Policy Making. In: SEKE 2017 Proceedings of the 29th International COnference on Software Engineering & Knowledge Engineering. (pp. 566-571). Pittsburgh: KSI Research Inc. and Knowledge Systems Institute. ISBN 1-891706-41-1

Tietz, L. H. B., Katrakazas, P., Laplante-Lévesque, A. , Pontoppidan, N. H., Koloutsou, N., Spanoudakis, G. & Koutsouris, D. (2017). Associations Between Hearing Performance and Physiological Measures - An Overview and Outlook. Studies in Health Technology and Informatics, 238, pp. 100-103. doi: 10.3233/978-1-61499-781-8-100

Koloutsou, K., Kikidis, D., Spanoudakis, G. , Bibas, A. & Nikolopoulos, T. (2017). Speech audiometry test with picture-related sentence lists in Modern Greek for partially hearing children. Hearing, Balance and Communication, 15(4), pp. 187-198. doi: 10.1080/21695717.2017.1389176

Anisetti, M., Ardagna, C. A., Damiani, E. , Maña, A. & Spanoudakis, G. (2017). Towards Transparent and Trustworthy Cloud. IEEE Cloud Computing, 4(3), pp. 40-48. doi: 10.1109/MCC.2017.51

Petroulakis, N. E., Spanoudakis, G. & Askoxylakis, I. G. (2016). Patterns for the design of secure and dependable software defined networks. Computer Networks, 109(1), pp. 39-49. doi: 10.1016/j.comnet.2016.06.028

Exarchos, T. P., Rigas, G., Bibas, A. , Kikidis, D., Nikitas, C., Wuyts, F. L., Ihtijarevic, B., Maes, L., Cenciarini, M., Maurer, C., Macdonald, N., Bamiou, D. E., Luxon, L., Prasinos, M., Spanoudakis, G., Koutsouris, D. & Fotiadis, D. I. (2016). Mining balance disorders' data for the development of diagnostic decision support systems. Computers in Biology and Medicine, 77, pp. 240-248. doi: 10.1016/j.compbiomed.2016.08.016

Petroulakis, N. E., Spanoudakis, G., Askoxylakis, I. G. , Miaoudakis, A. & Traganitis, A. (2016). A Pattern-Based Approach for Designing Reliable Cyber-Physical Systems. In: 2015 IEEE Global Communications Conference (GLOBECOM). . IEEE. doi: 10.1109/GLOCOM.2015.7417794

Meng, X. & Spanoudakis, G. (2016). MBotCS: A mobile botnet detection system based on machine learning. Lecture Notes in Computer Science, 9572, pp. 274-291. doi: 10.1007/978-3-319-31811-0_17

Belmonte Martin, A., Marinos, L., Rekleitis, E. , Spanoudakis, G. & Petroulakis, N. E. (2015). Threat Landscape and Good Practice Guide for Software Defined Networks/5G. European Union Agency for Network and Information Security (ENISA). doi: 10.2824/67261

Palacios, M., García-Fanjul, J., Tuya, J. & Spanoudakis, G. (2015). Automatic test case generation for WS-Agreements using combinatorial testing. Computer Standards and Interfaces, 38, pp. 84-100. doi: 10.1016/j.csi.2014.10.003

Pino, L., Spanoudakis, G., Fuchs, A. & Guergens, S. (2015). Generating Secure Service Compositions. Lecture Notes in Computer Science, 512, pp. 81-99. doi: 10.1007/978-3-319-25414-2_6

Egea, M., Spanoudakis, G., Mahbub, K. & Vieira, M. R. (2015). A Certification Framework for Cloud Security Properties: The Monitoring Path. Lecture Notes in Computer Science, 8937, pp. 63-77. doi: 10.1007/978-3-319-17199-9_3

Palacios, M., García-Fanjul, J., Tuya, J. & Spanoudakis, G. (2015). Coverage Based Testing for Service Level Agreements. IEEE Transactions on Services Computing, 8(2), pp. 299-313. doi: 10.1109/TSC.2014.2300486

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

Katopodis, S., Spanoudakis, G. & Mahbub, K. (2014). Towards hybrid cloud service certification models. In: 2014 IEEE International Conference on Services Computing (SCC). (pp. 394-399). Institute of Electrical and Electronics Engineers Inc.. doi: 10.1109/SCC.2014.59

Krotsiani, M. & Spanoudakis, G. (2014). Continuous certification of non-repudiation in cloud storage services. Proceedings - 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), pp. 929-934. doi: 10.1109/TrustCom.2014.122

Pino, L., Mahbub, K. & Spanoudakis, G. (2014). Designing Secure Service Workflows in BPEL. Lecture Notes in Computer Science, 8831, pp. 551-559. doi: 10.1007/978-3-662-45391-9_48

Pino, L., Spanoudakis, G., Fuchs, A. & Gürgens, S. (2014). Discovering secure service compositions. CLOSER 2014 - Proceedings of the 4th International Conference on Cloud Computing and Services Science,

Hudic, A., Tauber, M., Lorünser, T. , Krotsiani, M., Spanoudakis, G., Mauthe, A. & Weippl, E. (2014). A Multi-Layer and Multi-Tenant Cloud Assurance Evaluation Methodology. Paper presented at the 2014 IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom), 15-18 Dec 2014, Singapore.

Bibas, A., Spanoudakis, G., Bellos, C. , Fotiadis, D. I. & Koutsouris, D. (2013). Biologically Inspired Near Extinct System Reconstruction. In: 2013 IEEE 13th International Conference on Bioinformatics and Bioengineering (BIBE). . IEEE. doi: 10.1109/BIBE.2013.6701644

Tsigritis, T. & Spanoudakis, G. (2013). Assessing the genuineness of events in runtime monitoring of cyber systems. Computers and Security, 38, pp. 76-96. doi: 10.1016/j.cose.2013.03.011

Krotsiani, M., Spanoudakis, G. & Mahbub, K. (2013). Incremental certification of cloud services. Paper presented at the SECURWARE 2013 - 7th International Conference on Emerging Security Information, Systems and Technologies, 25th - 31st August 2013, Barcelona, Spain.

Zisman, A., Spanoudakis, G., Dooley, J. & Siveroni, I. (2013). Proactive and reactive runtime service discovery: a framework and its evaluation. IEEE Transactions on Software Engineering, 39(7), doi: 10.1109/TSE.2012.84

Petroulakis, N. E., Tragos, E. Z., Fragkiadakis, A. G. & Spanoudakis, G. (2013). A lightweight framework for secure life-logging in smart environments. Information Security Technical Report, 17(3), pp. 58-70. doi: 10.1016/j.istr.2012.10.005

Petroulakis, N. E., Askoxylakis, I. G., Traganitis, A. & Spanoudakis, G. (2013). A privacy-level model of user-centric cyber-physical systems. Lecture Notes in Computer Science, 8030, pp. 338-347. doi: 10.1007/978-3-642-39345-7-36

Spanoudakis, G., Damiani, E. & Maña, A. (2012). Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach. Paper presented at the High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on, 25 - 27 Oct 2012, Omaha, US. doi: 10.1109/HASE.2012.16

Pino, L. & Spanoudakis, G. (2012). Constructing secure service compositions with patterns. Paper presented at the 2012 IEEE 8th World Congress on Services, SERVICES 2012, 24 -29 June 2012, Honolulu, Hawaii. doi: 10.1109/SERVICES.2012.61

Pino, L. & Spanoudakis, G. (2012). Finding secure compositions of software services: Towards a pattern based approach. 2012 5th International Conference on New Technologies, Mobility and Security - Proceedings of NTMS 2012 Conference and Workshops, pp. 1-5. doi: 10.1109/NTMS.2012.6208741

Foster, H., Spanoudakis, G. & Mahbub, K. (2012). Formal Certification and Compliance for Run-Time Service Environments. In: Moser, L. E., Parashar, M. & Hung, P. C. K. (Eds.), 2012 IEEE Ninth International Conference on Services Computing (SCC),. (pp. 17-24). IEEE. doi: 10.1109/SCC.2012.23

Foster, H., Spanoudakis, G. & Mahbub, K. (2012). Formal certification and compliance for run-time service environments. Paper presented at the 2012 IEEE Ninth International Conference on Services Computing (SCC), 24 - 29 June 2012, Honolulu, USA. doi: 10.1109/SCC.2012.23

Palacios, M., García-Fanjul, J., Tuya, J. & Spanoudakis, G. (2012). Identifying Test Requirements by Analyzing SLA Guarantee Terms. In: Goble, C. A., Chen, P. P. & Zhang, J. (Eds.), 2012 IEEE 19th International Conference on Web Services (ICWS). (pp. 351-358). IEEE. doi: 10.1109/ICWS.2012.78

Foster, H. & Spanoudakis, G. (2012). Taming the cloud: Safety, certification and compliance for software services - Keynote at the Workshop on Engineering Service-Oriented Applications (WESOA) 2011. In: Lecture Notes in Computer Science. (pp. 3-8). Springer. doi: 10.1007/978-3-642-31875-7_2

Spanoudakis, G. & Zisman, A. (2011). Designing and Adapting Service-based Systems: A Service Discovery Framework. In: Service Engineering. (pp. 261-297). BERLIN: SPRINGER-VERLAG. doi: 10.1007/978-3-7091-0415-6_10

Foster, H. & Spanoudakis, G. (2011). Advanced service monitoring configurations with SLA decomposition and selection. Proceedings of the ACM Symposium on Applied Computing, pp. 1582-1589. doi: 10.1145/1982185.1982519

Lorenzoli, D. & Spanoudakis, G. (2011). Predicting software service availability: Towards a runtime monitoring approach. In: 2011 IEEE International Conference on Web Services (ICWS 2011). (pp. 736-737). IEEE. doi: 10.1109/ICWS.2011.77

Mahbub, K. & Spanoudakis, G. (2011). Proactive SLA negotiation for service based systems: Initial implementation and evaluation experience. Proceedings - 2011 IEEE International Conference on Services Computing, SCC 2011, pp. 16-23. doi: 10.1109/SCC.2011.34

Foster, H. & Spanoudakis, G. (2011). SMaRT: A Workbench for reporting the monitorability of services from SLAs. In: Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems. (pp. 36-42). New York; USA: ACM. doi: 10.1145/1985394.1985400

Bezzi, M., Sabetta, A. & Spanoudakis, G. (2011). An architecture for certification-aware service discovery. Proceedings - 2011 1st International Workshop on Securing Services on the Cloud, IWSSC 2011, pp. 14-21. doi: 10.1109/IWSSCloud.2011.6049020

Mahbub, K., Spanoudakis, G. & Zisman, A. (2011). A monitoring approach for runtime service discovery. Automated Software Engineering, 18(2), pp. 117-161. doi: 10.1007/s10515-010-0077-5

Spanoudakis, G. & Zisman, A. (2010). Discovering Services during Service-Based System Design Using UML. IEEE Transactions on Software Engineering, 36(3), pp. 371-389. doi: 10.1109/TSE.2009.88

Anisetti, M., Ardagna, C. A., Guida, F. , Gürgens, S., Lotz, V., Maña, A., Pandolfo, C., Pazzaglia, J., Pujol, G. & Spanoudakis, G. (2010). ASSERT4SOA: Toward Security Certification of Service-Oriented Applications. OTM Workshops, 6428, pp. 38-40. doi: 10.1007/978-3-642-16961-8_11

Comuzzi, M. & Spanoudakis, G. (2010). Dynamic set-up of monitoring infrastructures for service based systems. In: Shin, S. Y., Ossowski, S., Schumacher, M. , Palakal, M. J. & Hung, C. (Eds.), Proceedings of the 2010 ACM Symposium on Applied Computing. (pp. 2414-2421). ACM. doi: 10.1145/1774088.1774591

Lorenzoli, D. & Spanoudakis, G. (2010). EVEREST+: Run-time SLA violations prediction. In: Proceedings of the 5th International Workshop on Middleware for Service Oriented Computing. (pp. 13-18). New York: ACM. doi: 10.1145/1890912.1890915

Mahbub, K. & Spanoudakis, G. (2010). A Framework for Proactive SLA Negotiation. In: Cordeiro, J.A.M., Virvou, M. & Shishkov, B. (Eds.), A Framework for Proactive SLA Negotiation. (pp. 251-256). SciTePress. doi: 10.5220/0003040902510256

Mahbub, K. & Spanoudakis, G. (2010). Proactive SLA Negotiation for Service Based Systems. 2010 6th World Congress on Services (SERVICES-1), pp. 519-526. doi: 10.1109/SERVICES.2010.15

Siveroni, I., Zisman, A. & Spanoudakis, G. (2010). A UML-based static verification framework for security. Requirements Engineering, 15(1), pp. 95-118. doi: 10.1007/s00766-009-0091-y

Comuzzi, M., Kotsokalis, C., Spanoudakis, G. & Yahyapour, R. (2009). Establishing and Monitoring SLAs in complex Service Based Systems. In: Damiani, E., Zhang, J. & Chang, R. (Eds.), 2009 IEEE International Conference on Web Services. Los Alamitos, California, I & II. (pp. 783-790). IEEE. doi: 10.1109/ICWS.2009.47

Comuzzi, M. & Spanoudakis, G. (2009). A Framework for Hierarchical and Recursive Monitoring of Service Based Systems. In: Sasaki, H., Bellot, G. O., Ehmann, M. & Dini, O. (Eds.), Fourth International Conference on Internet and Web Applications and Services, 2009. ICIW '09. (pp. 383-388). IEEE. doi: 10.1109/ICIW.2009.63

Tsigkritis, T., Spanoudakis, G., Kloukinas, C. & Lorenzoli, D. (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

Spanoudakis, G. & LoPresti, S. (2009). Web Service Trust: Towards A Dynamic Assessment Framework. Paper presented at the International Conference on Availability, Reliability and Security, 2009. ARES '09, 16 - 19 Mar 2009, Fukuoka Institute of Technology, Fukuoka, Japan. doi: 10.1109/ARES.2009.149

Spanoudakis, G. & Comuzzi, M. (2009). Describing and Verifying Monitoring Capabilities for Service Based Systems. Paper presented at the CAiSE 2009 Forum, 8-12 Jun 2009, Amsterdam, The Netherlands.

Lorenzoli, D. & Spanoudakis, G. (2009). Detection of Security and Dependability Threats: A Belief Based Reasoning Approach. In: Falk, R., Goudalo, W., Chen, E. Y. , Savola, R. & Popescu, M. (Eds.), Emerging Security Information, Systems and Technologies, 2009. SECURWARE '09. Third International Conference on. (pp. 312-320). IEEE. doi: 10.1109/SECURWARE.2009.55

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.

Amálio, N. & Spanoudakis, G. (2008). From Monitoring Templates to Security Monitoring and Threat Detection. 2008 Second International Conference on Emerging Security Information, Systems and Technologies, pp. 185-192. doi: 10.1109/SECURWARE.2008.58

Siveroni, I., Zisman, A. & Spanoudakis, G. (2008). Property specification and static verification of UML models. Paper presented at the Availability, Reliability and Security, 2008. ARES 08. Third International Conference on, 4 - 7 Mar 2008, Barcelona, Spain.

Tsigkritis, T. & Spanoudakis, G. (2008). A Temporal Abductive Diagnostic Process for Runtime Properties Violations. ExaCt, 391, ISSN CEUR Workshop Proceedings

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

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.

Garcez, A., Spanoudakis, G. & Zisman, A. (2003). Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03 (TR/2003/DOC/01). .

Spanoudakis, G. ORCID: 0000-0002-0037-2600, Finkelstein, A. ORCID: 0000-0003-2167-9844 & Ryan, M. (1996). Software Package Requirements and Procurement. Paper presented at the 8th International Workshop on Software Specification and Design, 22-23 Mar 1996, Schloss Velen, Germany. doi: 10.1109/IWSSD.1996.501156

This list was generated on Tue Aug 16 04:53:22 2022 UTC.