Matthew M. Y. Kuo

Orcid: 0000-0001-7269-5874

According to our database1, Matthew M. Y. Kuo authored at least 23 papers between 2008 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Tracing security requirements in industrial control systems using graph databases.
Softw. Syst. Model., 2023

DIY Wind Turbines: A Low-Cost Smart ICPS for Educational Research.
Proceedings of the IEEE International Conference on Teaching, 2023

Reflective Insights: Flipping Learning in Engineering and ICT Courses.
Proceedings of the IEEE International Conference on Teaching, 2023

An Intrusion Detection System Dataset for a Multi-Agent Cyber-Physical Conveyor System.
Proceedings of the IEEE International Conference on Industrial Technology, 2023

Investigation of Non-contact Electrodes for Electrocardiogram Monitoring.
Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

LetSynchronise: An Open-Source Framework for Analysing and Optimising Logical Execution Time Systems.
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022
A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems.
J. Intell. Manuf., 2022

DDoS Attacks on Smart Manufacturing Systems: A Cross-Domain Taxonomy and Attack Vectors.
Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

2021
Secure Links: Secure-by-Design Communications in IEC 61499 Industrial Control Applications.
IEEE Trans. Ind. Informatics, 2021

Light-Weight Active Security for Detecting DDoS Attacks in Containerised ICPS.
Proceedings of the 18th International Conference on Privacy, Security and Trust, 2021

Context Aware Compression for Environmental Edge Devices using LPWAN.
Proceedings of the IECON 2021, 2021

2020
Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems.
IEEE Trans. Ind. Informatics, 2020

2019
Securing implantable medical devices with runtime enforcement hardware.
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

2017
Simulation of cyber-physical systems using IEC61499.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2016
Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks.
IEEE Trans. Ind. Informatics, 2016

RunSync: A Predictable Runtime for Precision Timed Automation Systems.
Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

Mixed-Criticality Systems as a Service for Non-critical Tasks.
Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

Precision timed industrial automation systems.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Model-Driven Design Using IEC 61499 - A Synchronous Approach for Embedded and Automation Systems.
Springer, ISBN: 978-3-319-10520-8, 2015

2014
Relaxing the synchronous approach for mixed-criticality systems.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

2013
Precision Timed Embedded Systems Using TickPAD Memory.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2011
Efficient WCRT analysis of synchronous programs using reachability.
Proceedings of the 48th Design Automation Conference, 2011

2008
Fast accurate rendering.
Proceedings of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008


  Loading...