Follow
Matthew M.Y. Kuo
Title
Cited by
Cited by
Year
IEC 61499 in a Nutshell
LH Yoong, PS Roop, ZE Bhatti, MMY Kuo
Model-Driven Design Using IEC 61499, 17-33, 2015
392015
Relaxing the synchronous approach for mixed-criticality systems
E Yip, MMY Kuo, PS Roop, D Broman
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014
362014
Efficient WCRT analysis of synchronous programs using reachability
M Kuo, R Sinha, P Roop
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC), 480-485, 2011
342011
Determining the worst-case reaction time of IEC 61499 function blocks
MMY Kuo, LH Yoong, S Andalam, PS Roop
2010 8th IEEE International Conference on Industrial Informatics, 1104-1109, 2010
342010
Smart I/O modules for mitigating cyber-physical attacks on industrial control systems
H Pearce, S Pinisetty, PS Roop, MMY Kuo, A Ukil
IEEE Transactions on Industrial Informatics 16 (7), 4659-4669, 2019
232019
Hierarchical and concurrent ECCs for IEC 61499 function blocks
R Sinha, PS Roop, G Shaw, Z Salcic, MMY Kuo
IEEE Transactions on Industrial Informatics 12 (1), 59-68, 2015
182015
Introduction to Synchronous Programming Using Esterel
LH Yoong, PS Roop, ZE Bhatti, MMY Kuo
Model-Driven Design Using IEC 61499, 35-64, 2015
112015
Secure links: secure-by-design communications in IEC 61499 industrial control applications
A Tanveer, R Sinha, MMY Kuo
IEEE Transactions on Industrial Informatics 17 (6), 3992-4002, 2020
62020
Mixed-criticality systems as a service for non-critical tasks
M Hikmet, MM Kuo, PS Roop, P Ranjitkar
2016 IEEE 19th International Symposium on Real-Time Distributed Computing …, 2016
62016
A systematic mapping of semi-formal and formal methods in requirements engineering of industrial cyber-physical systems
F Zahid, A Tanveer, MMY Kuo, R Sinha
Journal of Intelligent Manufacturing 33 (6), 1603-1638, 2022
52022
RunSync: A predictable runtime for precision timed automation systems
HA Pearce, MMY Kuo, PS Roop, M Biglari-Abhari
2016 IEEE 19th International Symposium on Real-Time Distributed Computing …, 2016
52016
Precision timed industrial automation systems
MMY Kuo, S Andalam, PS Roop
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016
42016
Precision timed embedded systems using tickpad memory
M Kuo, P Roop, S Andalam, N Patel
2013 13th International Conference on Application of Concurrency to System …, 2013
42013
Securing implantable medical devices with runtime enforcement hardware
H Pearce, MMY Kuo, PS Roop, S Pinisetty
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019
32019
Precision timed industrial automation
M Kuo
PhD Thesis-University of Auckland, 2015
22015
Efficient Code Synthesis from Function Blocks
LH Yoong, PS Roop, ZE Bhatti, MMY Kuo
Model-Driven Design Using IEC 61499, 93-122, 2015
22015
Formal Model for IEC 61499 Function Blocks
LH Yoong, PS Roop, ZE Bhatti, MMY Kuo
Model-Driven Design Using IEC 61499, 65-91, 2015
22015
Fast accurate rendering
M Kuo, S Collinson, M Jager, J Morris
2008 13th Asia-Pacific Computer Systems Architecture Conference, 1-7, 2008
22008
Simulation of cyber-physical systems using IEC61499
HA Pearce, MMY Kuo, N Allen, PS Roop, A Malik
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
12017
Tracing security requirements in industrial control systems using graph databases
A Tanveer, C Sharma, R Sinha, MMY Kuo
Software and Systems Modeling, 1-20, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20