Minimality of Critical Scenarios in Petri Net Models. - Nabil Sadou; Hamid Demmou (SMC, 2006)

ESA PetriNet: Petri net Based Tool for Reliability Analysis. - Nabil Sadou; Romaric Guillerm; Hamid Demmou (SMC, 2009)

Reliability analysis of discrete event dynamic systems with Petri nets. - Nabil Sadou; Hamid Demmou (Reliab. Eng. Syst. Saf., 2009)

Information Model for Model Driven Safety Requirements Management of Complex Systems. - Romaric Guillerm; Hamid Demmou; Nabil Sadou (CSDM, 2010)

Safety evaluation and management of complex systems: A system engineering approach. - Romaric Guillerm; Hamid Demmou; Nabil Sadou (Concurr. Eng. Res. Appl., 2012)

Sysml Knowledge base for Designing Dependable Complex System - Romaric Guillerm; Hamid Demmou; Nabil Sadou (CoRR, 2012)

Global Safety Management Method in Complex System Engineering. - Romaric Guillerm; Hamid Demmou; Nabil Sadou (CSDM (Posters), 2013)

A safety requirement engineering method and tool. - Romaric Guillerm; Hamid Demmou; Nabil Sadou (RE, 2013)