A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. - Faiz Ul Muram; Barbara Gallina; Samina Kanwal (RSSRail, 2019)

Ontology-Based Natural Language Processing for Process Compliance Management. - Muhammad Atif Javed; Faiz Ul Muram; Samina Kanwal (ENASE (Selected Papers), 2021)

Facilitating the Compliance of Process Models with Critical System Engineering Standards using Natural Language Processing. - Faiz Ul Muram; Muhammad Atif Javed; Samina Kanwal (ENASE, 2021)

Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking. - Faiz Ul Muram; Samina Kanwal; Muhammad Atif Javed (ENASE, 2021)

Systematic review on contract-based safety assurance and guidance for future research. - Samina Kanwal; Faiz Ul Muram; Muhammad Atif Javed (J. Syst. Archit., 2024)

A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines. - Samina Kanwal; Wan J. Fokkink (FSEN, 2025)