Nidhal Mahmud

According to our database, Nidhal Mahmud authored at least 7 papers between 2010 and 2019.

Collaborative distances:

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

2019

A minimization algorithm for automata generated fault trees with priority gates.

Nidhal Mahmud

Softw. Qual. J., 2019

Model transformation for analyzing dependability of AADL model by using HiP-HOPS.

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud

J. Syst. Softw., 2019

2015

Improving Dependability of Robotics Systems, Experience from Application of Fault Tree Synthesis to Analysis of Transport Systems.

Nidhal Mahmud

Int. J. Robotics Appl. Technol., 2015

Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited.

Ramin Tavakoli Kolagari, De-Jiu Chen, Agnes Lanusse, Renato Librino, Henrik Lönn, Nidhal Mahmud, Chokri Mraidha, Mark-Oliver Reiser, Sandra Torchiaro, Sara Tucci Piergiovanni, Tobias Wägemann, Nataliya Yakymets

Int. J. Concept. Struct. Smart Appl., 2015

2012

Dynamic model-based safety analysis : from state machines to temporal fault trees.

Nidhal Mahmud

PhD thesis, 2012

Compositional synthesis of temporal fault trees from state machines.

Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos

SIGMETRICS Perform. Evaluation Rev., 2012

2010

A translation of State Machines to temporal fault trees.

Nidhal Mahmud, Yiannis Papadopoulos, Martin Walker

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010