Sotiris Moschoyiannis

Orcid: 0000-0002-0164-8322

According to our database1, Sotiris Moschoyiannis authored at least 55 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Selected Papers from the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021).
Theory Pract. Log. Program., March, 2024

2023
Deep Reinforcement Learning for Stabilization of Large-Scale Probabilistic Boolean Networks.
IEEE Trans. Control. Netw. Syst., September, 2023

Sampled-data Control of Probabilistic Boolean Control Networks: A Deep Reinforcement Learning Approach.
Inf. Sci., 2023

Service Classification of Network Traffic in 5G Core Networks using Machine Learning.
Proceedings of the IEEE International Conference on Edge Computing and Communications, 2023

2022
A Structural Characterisation of the Mitogen-Activated Protein Kinase Network in Cancer.
Symmetry, 2022

Spontaneous Emergence of Computation in Network Cascades.
CoRR, 2022

Electric Vehicle Charging: A Survey on the Security Issues and Challenges of the Open Charge Point Protocol (OCPP).
IEEE Commun. Surv. Tutorials, 2022

HoneyCar: A Framework to Configure Honeypot Vulnerabilities on the Internet of Vehicles.
IEEE Access, 2022

Enhancing Privacy of Online Chat Apps Utilising Secure Node End-to-End Encryption (SNE2EE).
Proceedings of the IEEE Symposium on Computers and Communications, 2022

The end of Eavesdropping Attacks through the Use of Advanced End to End Encryption Mechanisms.
Proceedings of the IEEE INFOCOM 2022, 2022

Semantic Segmentation for Multi-Contour Estimation in Maritime Scenes.
Proceedings of the European Conference on Visual Media Production, 2022

Inferring Probabilistic Boolean Networks from Steady-State Gene Data Samples.
Proceedings of the Complex Networks and Their Applications XI, 2022

2021
Logic and learning in network cascades.
Netw. Sci., October, 2021

Multi-Stage Threat Modelling and Security Monitoring in 5GCN.
CoRR, 2021

Towards Dynamic Threat Modelling in 5G Core Networks Based on MITRE ATT&CK.
CoRR, 2021

Validation and Verification of Business Rules.
Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8, 2021

2020
Deep learning for cyber security intrusion detection: Approaches, datasets, and comparative study.
J. Inf. Secur. Appl., 2020

Lessons Learnt from a 2FA roll out within a higher education organisation.
CoRR, 2020

A novel Intrusion Detection System against spoofing attacks in connected Electric Vehicles.
Array, 2020

Enabling Serverless Deployment of Large-Scale AI Workloads.
IEEE Access, 2020

Deep Reinforcement Learning for Control of Probabilistic Boolean Networks.
Proceedings of the Complex Networks & Their Applications IX, 2020

Synthesis and Pruning as a Dynamic Compression Strategy for Efficient Deep Neural Networks.
Proceedings of the From Data to Models and Back - 9th International Symposium, 2020

2019
Customer Segmentation of Wireless Trajectory Data.
CoRR, 2019

Learning versus optimal intervention in random Boolean networks.
Appl. Netw. Sci., 2019

Serving Machine Learning Workloads in Resource Constrained Environments: a Serverless Deployment Example.
Proceedings of the 12th IEEE Conference on Service-Oriented Computing and Applications, 2019

Fine Tuning Run Parameter Values in Rule-Based Machine Learning.
Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019, 2019

Universal Boolean Logic in Cascading Networks.
Proceedings of the Complex Networks and Their Applications VIII, 2019

Learning to Control Random Boolean Networks: A Deep Reinforcement Learning Approach.
Proceedings of the Complex Networks and Their Applications VIII, 2019

2018
Evolution of control with learning classifier systems.
Appl. Netw. Sci., 2018

Route Optimization of Electric Vehicles Based on Dynamic Wireless Charging.
IEEE Access, 2018

Trace-Based Verification of Rule-Based Service Choreographies.
Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018

Learning Condition-Action Rules for Personalised Journey Recommendations.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Optimal Control Rules for Random Boolean Networks.
Proceedings of the Complex Networks and Their Applications VII, 2018

2017
SBVR2Alloy: An SBVR to Alloy Compiler.
Proceedings of the 10th IEEE Conference on Service-Oriented Computing and Applications, 2017

2016
A Web-based Tool for Identifying Strategic Intervention Points in Complex Systems.
Proceedings of the Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, 2016

2015
True Concurrency in Long-running Transactions for Digital Ecosystems.
Fundam. Informaticae, 2015

Service Choreography, SBVR, and Time.
Proceedings of the Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2015

2012
An animation tool for exploring transactions in a DE.
Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

2011
Towards a RESTful infrastructure for Digital Ecosystems.
Int. J. Electron. Bus., 2011

2010
Generating SQL Queries from SBVR Rules.
Proceedings of the Semantic Web Rules - International Symposium, 2010

An SBVR to SQL Compiler.
Proceedings of the RuleML-2010 Challenge, 2010

2009
An open digital environment to support business ecosystems.
Peer-to-Peer Netw. Appl., 2009

RETRO: A Consistent and Recoverable RESTful Transaction Model.
Proceedings of the IEEE International Conference on Web Services, 2009

RESTful Transactions Supported by the Isolation Theorems.
Proceedings of the Web Engineering, 9th International Conference, 2009

2008
Transaction Scripts: Making Implicit Scenarios Explicit.
Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008

When Things Go Wrong: Interrupting Conversations.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
A True-Concurrent Interpretation of Behavioural Scenarios.
Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Concurrency Control and Recovery Management for Open e-Business Transactions.
Proceedings of the 30th Communicating Process Architectures Conference, 2007

2006
Concurrent Logic and Automata Combined: A Semantics for Components.
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

A Tool to Facilitate Agent Deliberation.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2005
Specification and analysis of component-based software in a concurrent setting.
PhD thesis, 2005

Modelling Component Behaviour with Concurrent Automata.
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

2004
A Set-Theoretic Framework for Component Composition.
Fundam. Informaticae, 2004

Generating Snapshots of a Component Setting.
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

2003
Component-Based Design: Towards Guided Composition.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003


  Loading...