Nidhal Mahmud

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 2

Top Topics

Quantitative Analysis

Top Venues

SIGMETRICS Perform. Evaluation Rev.

J. Syst. Softw.

Softw. Qual. J.

Int. J. Robotics Appl. Technol.

University of Hull, Kingston upon Hull, UK (PHD)

Education History

University of Hull, Kingston upon Hull, UK

PHD

Publications

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud
Model transformation for analyzing dependability of AADL model by using HiP-HOPS. J. Syst. Softw. 151 (2019)
Nidhal Mahmud
A minimization algorithm for automata generated fault trees with priority gates. Softw. Qual. J. 27 (3) (2019)
Nidhal Mahmud
Improving Dependability of Robotics Systems, Experience from Application of Fault Tree Synthesis to Analysis of Transport Systems. Int. J. Robotics Appl. Technol. 3 (2) (2015)
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
Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited. Int. J. Concept. Struct. Smart Appl. 3 (2) (2015)
Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos
Compositional synthesis of temporal fault trees from state machines. SIGMETRICS Perform. Evaluation Rev. 39 (4) (2012)
Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos
Compositional Synthesis of Temporal Fault Trees from State Machines. ARES (2011)
Nidhal Mahmud, Yiannis Papadopoulos, Martin Walker
A translation of State Machines to temporal fault trees. DSN Workshops (2010)