Nidhal Mahmud

Orcid: 0000-0003-0908-5963

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
A minimization algorithm for automata generated fault trees with priority gates.
Softw. Qual. J., 2019

Model transformation for analyzing dependability of AADL model by using HiP-HOPS.
J. Syst. Softw., 2019

2015
Improving Dependability of Robotics Systems, Experience from Application of Fault Tree Synthesis to Analysis of Transport Systems.
Int. J. Robotics Appl. Technol., 2015

Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited.
Int. J. Concept. Struct. Smart Appl., 2015

2012
Dynamic model-based safety analysis : from state machines to temporal fault trees.
PhD thesis, 2012

Compositional synthesis of temporal fault trees from state machines.
SIGMETRICS Perform. Evaluation Rev., 2012

2010
A translation of State Machines to temporal fault trees.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010


  Loading...