Muhammad Syafiq Bin Ab Malek

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 6

Top Topics

Computational Complexity

Top Venues

IEICE Trans. Inf. Syst.

Publications

Shingo Yamaguchi, Muhammad Syafiq Bin Ab Malek
A Model Checking-Based Analysis Method of Cyber Attack in IoT System by Agent-Oriented Petri Net. GCCE (2018)
Muhammad Syafiq Bin Ab Malek, Kazuya Nakahori, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi
. ICCE (2018)
Muhammad Syafiq Bin Ab Malek, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi
Computational Complexity and Polynomial Time Procedure of Response Property Problem in Workflow Nets. IEICE Trans. Inf. Syst. (6) (2018)
Ryosuke Wada, Muhammad Syafiq Bin Ab Malek, Shingo Yamaguchi
Extraction and improvement of IoT service gap between design and operation based on net model. ISCE (2017)
Yusuke Tenkyo, Muhammad Syafiq Bin Ab Malek, Shingo Yamaguchi
A tailor-made service design support tool based on aspect-oriented timed Petri net. GCCE (2017)
Muhammad Syafiq Bin Ab Malek, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi, Brij B. Gupta
. GCCE (2016)
Muhammad Syafiq Bin Ab Malek, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi
Petri net-based parallel model checking with a splitting procedure. GCCE (2015)