Duration Calculus in the Specification of Safety Requirements. - Simeon Veloudis; Nimal Nissanke (FTRTFT, 1998)

Modelling Coordinated Atomic Actions in Timed CSP. - Simeon Veloudis; Nimal Nissanke (FTRTFT, 2000)

A formal approach to modelling real-time critical systems. - Simeon Veloudis (2004)

An approach to modelling and analysis of coordinated atomic actions. - Simeon Veloudis; Nimal Nissanke (ETFA, 2005)

A Web-based Tool for Spatiotemporal Filtering and Continuous Animation. - Alex Vakaloudis; Simeon Veloudis (WEBIST, 2011)

Underpinning a Cloud Brokerage Service Framework for Quality Assurance and Optimization. - Simeon Veloudis; Andreas Friesen; Iraklis Paraskakis; Yiannis Verginadis; Ioannis Patiniotakis (CloudCom, 2014)

Linked USDL Business Policy Specifications as WS-Agreement Templates. - Ioannis Arampatzis; Simeon Veloudis; Iraklis Paraskakis (ESOCC Workshops, 2014)

Derivation of Broker Policies from Cloud Hosting Platform Service Descriptions. - Andreas Friesen; Simeon Veloudis; Iraklis Paraskakis (ESOCC Workshops, 2014)

Continuous Quality Assurance and Optimisation in Cloud-Based Virtual Enterprises. - Simeon Veloudis; Iraklis Paraskakis; Andreas Friesen; Yiannis Verginadis; Ioannis Patiniotakis; Alessandro Rossini (PRO-VE, 2014)

Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems. - Anthony J. H. Simons; Konstantinos Bratanis; Dimitrios Kourtesis; Iraklis Paraskakis; Simeon Veloudis; Yiannis Verginadis; Gregoris Mentzas; Simone Braun; Alessandro Rossini (CCB@Middleware, 2014)

A formal framework to support dynamic authorisation in collaborative environments. - Simeon Veloudis; Dimitrios A. Baltatzis; Christos Ilioudis; George Pangalos (Int. J. Comput. Sci. Eng., 2014)

Underpinning a Cloud Brokerage Service Framework for Quality Assurance and Optimisation: A Case Study. - Simeon Veloudis; Iraklis Paraskakis; Andreas Friesen; Yiannis Verginadis; Ioannis Patiniotakis (BCI, 2015)

Cloud Service Brokerage: Strengthening Service Resilience in Cloud-Based Virtual Enterprises. - Simeon Veloudis; Iraklis Paraskakis; Christos Petsos (PRO-VE, 2015)

A generic mechanism for cloud service governance and quality control. - Simeon Veloudis; Iraklis Paraskakis; Christos Petsos (Panhellenic Conference on Informatics, 2015)

A Survey on Context Security Policies in the Cloud. - Yiannis Verginadis; Gregoris Mentzas; Simeon Veloudis; Iraklis Paraskakis (UCC, 2015)

A Generic Framework for Representing Context-Aware Security Policies in the Cloud. - Simeon Veloudis; Iraklis Paraskakis; Yiannis Verginadis; Ioannis Patiniotakis; Gregoris Mentzas (CLOSER (Selected Papers), 2016)

Context-aware Security Models for PaaS-enabled Access Control. - Simeon Veloudis; Yiannis Verginadis; Ioannis Patiniotakis; Iraklis Paraskakis; Gregoris Mentzas (CLOSER (2), 2016)

Defining an Ontological Framework for Modelling Policies in Cloud Environments. - Simeon Veloudis; Iraklis Paraskakis (CloudCom, 2016)

Data Distribution and Encryption Modelling for PaaS-enabled Cloud Security. - Yiannis Verginadis; Ioannis Patiniotakis; Gregoris Mentzas; Simeon Veloudis; Iraklis Paraskakis (CloudCom, 2016)

Validating Policies for Dynamic and Heterogeneous Cloud Environments. - Simeon Veloudis; Iraklis Paraskakis; Christos Petsos (PRO-VE, 2016)

Ontological Templates for Modelling Security Policies in Cloud Environments. - Simeon Veloudis; Iraklis Paraskakis (PCI, 2016)

A Novel Permission Hierarchy for RBAC for Dealing with SoD in MAC Models. - Simeon Veloudis; Nimal Nissanke (Comput. J., 2016)

Policy Management and Enforcement Using OWL and SWRL for the Internet of Things. - Rustem Dautov; Symeon Veloudis; Iraklis Paraskakis; Salvatore Distefano (ADHOC-NOW, 2017)

Ontological Framework for Ensuring Correctness of Security Policies in Cloud Environments. - Simeon Veloudis; Iraklis Paraskakis; Christos Petsos (BCI, 2017)

Ontological Templates for Regulating Access to Sensitive Medical Data in the Cloud. - Simeon Veloudis; Iraklis Paraskakis; Yiannis Verginadis; Ioannis Patiniotakis; Gregoris Mentzas (CBMS, 2017)

An Ontological Template for Context Expressions in Attribute-based Access Control Policies. - Simeon Veloudis; Iraklis Paraskakis; Christos Petsos; Yiannis Verginadis; Ioannis Patiniotakis; Gregoris Mentzas (CLOSER, 2017)

Foundations for Designing, Defining, Validating and Executing Access Control Policies in Cloud Environments. - Simeon Veloudis; Iraklis Paraskakis; Christos Petsos (ESOCC, 2017)

Ontological Definition of Governance Framework for Security Policies in Cloud Environments. - Simeon Veloudis; Iraklis Paraskakis; Christos Petsos (PCI, 2017)

An Ontological Framework for Determining the Repercussions of Retirement Actions Targeted at Complex Access Control Policies in Cloud Environments. - Simeon Veloudis; Iraklis Paraskakis; Christos Petsos (UCC (Companion"), 2017)

Cloud service brokerage: enhancing resilience in virtual enterprises through service governance and quality assurance. - Simeon Veloudis; Iraklis Paraskakis; Christos Petsos (Serv. Oriented Comput. Appl., 2017)

An Ontological Framework for Reasoning about Relations between Complex Access Control Policies in Cloud Environments. - Simeon Veloudis; Iraklis Paraskakis; Christos Petsos (CLOSER, 2019)

Achieving security-by-design through ontology-driven attribute-based access control in cloud environments. - Simeon Veloudis; Iraklis Paraskakis; Christos Petsos; Giannis Verginadis; Ioannis Patiniotakis; Panagiotis Gouvas; Gregoris Mentzas (Future Gener. Comput. Syst., 2019)

A Personalised User Authentication System based on EEG Signals. - Christos Stergiadis; Vasiliki-Despoina Kostaridou; Simeon Veloudis; Dimitrios Kazis; Manousos A. Klados (CoRR, 2022)

A Personalized User Authentication System Based on EEG Signals. - Christos Stergiadis; Vasiliki-Despoina Kostaridou; Simeon Veloudis; Dimitrios Kazis; Manousos A. Klados (Sensors, 2022)

Context-Aware Policy Enforcement for PaaS-Enabled Access Control. - Yiannis Verginadis; Ioannis Patiniotakis; Panagiotis Gouvas; Spyros Mantzouratos; Simeon Veloudis; Sebastian Thomas Schork; Ludwig Seitz; Iraklis Paraskakis; Gregoris Mentzas (IEEE Trans. Cloud Comput., 2022)

NebulOuS: A Meta-Operating System with Cloud Continuum Brokerage Capabilities. - Yiannis Verginadis; Christos-Alexandros Sarros; Mario Reyes de los Mozos; Simeon Veloudis; Radoslaw Piliszek; Nicolas Kourtellis; Geir Horn (FMEC, 2023)

Blockchain-Based Decentralised Marketplace for Secure Trading of Intellectual Property. - Vijon Baraku; Simeon Veloudis; Iraklis Paraskakis; Poonam Yadav (BCI, 2024)

Responsible Information Sharing in the Era of Big Data Analytics Facilitating Digital Economy Through the Use of Blockchain Technology and Observing GDPR. - Vijon Baraku; Iraklis Paraskakis; Simeon Veloudis; Poonam Yadav (CLOSER, 2024)

Personal Data Sovereignty in Virtual Enterprises: Implementing Data Capsules for Enhanced Privacy and Compliance. - Vijon Baraku; Iraklis Paraskakis; Simeon Veloudis; Poonam Yadav (PRO-VE (1), 2024)

Semantic SLAs for Describing and Sustaining QoS in the Cloud-Edge Continuum. - Simeon Veloudis; Evangelos Barmpas; Iraklis Paraskakis (UCC, 2024)

An Implemented Architecture for a Meta Operating System Managing Distributed Applications Across Heterogeneous Resources. - Geir Horn; Yiannis Verginadis; Giannis Ledakis 001; Nikos Papageorgopoulos; Simeon Veloudis (AINA (6), 2025)