default search action

combined dblp search
author search
venue search
publication search

ask others

Muhammad Syafiq Bin Ab Malek

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/MalekAY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/MalekAY18
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. 101-D(6): 1503-1510 (2018)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/gcce/YamaguchiM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcce/YamaguchiM18
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: 581-584
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iccel/MalekNAY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccel/MalekNAY18
Muhammad Syafiq Bin Ab Malek, Kazuya Nakahori, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi:
On analysis of substitutability for system resilience in IoT system based on PN². ICCE 2018: 1-6
2017
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/gcce/TenkyoMY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcce/TenkyoMY17
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: 1-2
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/isce/WadaMY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isce/WadaMY17
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: 24-27
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/gcce/MalekAYG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcce/MalekAYG16
Muhammad Syafiq Bin Ab Malek, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi, Brij B. Gupta:
On privacy verification in the IoT service based on PN². GCCE 2016: 1-4
2015
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/gcce/MalekAY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcce/MalekAY15
Muhammad Syafiq Bin Ab Malek, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi:
Petri net-based parallel model checking with a splitting procedure. GCCE 2015: 65-68

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.