Muhammad Syafiq Bin Ab Malek

According to our database, Muhammad Syafiq Bin Ab Malek authored at least 7 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Computational Complexity and Polynomial Time Procedure of Response Property Problem in Workflow Nets.

Muhammad Syafiq Bin Ab Malek, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi

IEICE Trans. Inf. Syst., 2018

On analysis of substitutability for system resilience in IoT system based on PN².

Muhammad Syafiq Bin Ab Malek, Kazuya Nakahori, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi

Proceedings of the IEEE International Conference on Consumer Electronics, 2018

A Model Checking-Based Analysis Method of Cyber Attack in IoT System by Agent-Oriented Petri Net.

Shingo Yamaguchi, Muhammad Syafiq Bin Ab Malek

Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

2017

Extraction and improvement of IoT service gap between design and operation based on net model.

Ryosuke Wada, Muhammad Syafiq Bin Ab Malek, Shingo Yamaguchi

Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

A tailor-made service design support tool based on aspect-oriented timed Petri net.

Yusuke Tenkyo, Muhammad Syafiq Bin Ab Malek, Shingo Yamaguchi

Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

2016

On privacy verification in the IoT service based on PN².

Muhammad Syafiq Bin Ab Malek, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi, Brij B. Gupta

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

2015

Petri net-based parallel model checking with a splitting procedure.

Muhammad Syafiq Bin Ab Malek, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015