BPMN Formalization and Verification using Maude. - Nissreen A. S. El-Saber; Artur Boronat (BM-FA, 2014)

CMMI-CM compliance checking of formal BPMN models using Maude. - Nissreen A. S. El-Saber (2015)

A Security-by-Design Decision-Making Model for Risk Management in Autonomous Vehicles. - Mohamed Abdel-Basset; Abduallah Gamal; Nour Moustafa; Ahmed Abdel-Monem; Nissreen A. S. El-Saber (IEEE Access, 2021)