Muhammad Syafiq Bin Ab Malek

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Computational Complexity and Polynomial Time Procedure of Response Property Problem in Workflow Nets.
IEICE Trans. Inf. Syst., 2018

On analysis of substitutability for system resilience in IoT system based on PN<sup>2</sup>.
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.
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.
Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

A tailor-made service design support tool based on aspect-oriented timed Petri net.
Proceedings of the IEEE 6th Global Conference on Consumer Electronics, 2017

2016
On privacy verification in the IoT service based on PN<sup>2</sup>.
Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

2015
Petri net-based parallel model checking with a splitting procedure.
Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015


  Loading...