Dewan Mohammad Moksedul Alam

According to our database, Dewan Mohammad Moksedul Alam authored at least 4 papers between 2017 and 2019.

Collaborative distances:

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

2019

Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems.

Xudong He, Dewan Mohammad Moksedul Alam

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

2018

Modeling and Analyzing Hybrid Systems Using Hybrid Predicate Transition Nets (S).

Dewan Mohammad Moksedul Alam, Xudong He, William C. Chu

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

2017

A Method to Analyze Predicate Transition Nets Using SPIN Model Checker.

Dewan Mohammad Moksedul Alam, Xudong He

Int. J. Softw. Eng. Knowl. Eng., 2017

A Method to Analyze High Level Petri Nets using SPIN Model Checker.

Dewan Mohammad Moksedul Alam, Xudong He

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017