Matthew M.Y. Kuo
TitleCited byYear
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
292014
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
292011
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
262010
Model-driven design using IEC 61499: a synchronous approach for embedded and automation systems
LH Yoong, PS Roop, ZE Bhatti, MMY Kuo
Springer, 2014
232014
Distributed control applications: guidelines, design patterns, and application examples with the IEC 61499
A Zoitl, T Strasser
CRC Press, 2017
152017
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
122015
IEC 61499 in a Nutshell
LH Yoong, PS Roop, ZE Bhatti, MMY Kuo
Model-Driven Design Using IEC 61499, 17-33, 2015
82015
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
52016
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
32016
Introduction to Synchronous Programming Using Esterel
LH Yoong, PS Roop, ZE Bhatti, MMY Kuo
Model-Driven Design Using IEC 61499, 35-64, 2015
32015
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
32013
Precision timed industrial automation systems
MMY Kuo, S Andalam, PS Roop
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016
22016
Fast accurate rendering
M Kuo, S Collinson, M Jager, J Morris
2008 13th Asia-Pacific Computer Systems Architecture Conference, 1-7, 2008
22008
Precision Timed Industrial Automation
M Kuo
PhD Thesis-University of Auckland, 2015
12015
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
2019
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, 2019
2019
New Design Patterns for Time-Predictable Execution of Function Blocks
MMY Kuo, PS Roop
Distributed Control Applications: Guidelines, Design Patterns, and …, 2017
2017
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
2017
Verification of Function Blocks
LH Yoong, PS Roop, ZE Bhatti, MMY Kuo
Model-Driven Design Using IEC 61499, 123-136, 2015
2015
Efficient Code Synthesis from Function Blocks
LH Yoong, PS Roop, ZE Bhatti, MMY Kuo
Model-Driven Design Using IEC 61499, 93-122, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–20