A Model-Driven Dependability Analysis Method for Component-Based Architectures. - Barbara Gallina; Muhammad Atif Javed; Faiz Ul Muram; Sasikumar Punnekkat (EUROMICRO-SEAA, 2012)

Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking. - Faiz Ul Muram; Huy Tran; Uwe Zdun (FESCA, 2014)

Counterexample Analysis for Supporting Containment Checking of Business Process Models. - Faiz Ul Muram; Huy Tran; Uwe Zdun (Business Process Management Workshops, 2015)

A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems. - Huy Tran; Faiz Ul Muram; Uwe Zdun (EDOC, 2015)

A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams. - Faiz Ul Muram; Huy Tran; Uwe Zdun (APSEC, 2016)

Towards a Framework for Detecting Containment Violations in Service Choreography. - Faiz Ul Muram; Muhammad Atif Javed; Huy Tran; Uwe Zdun (SCC, 2017)

Towards Containment Checking of Behaviour in Architectural Patterns. - Faiz Ul Muram; Huy Tran; Uwe Zdun (EuroPLoP, 2017)

Systematic Review of Software Behavioral Model Consistency Checking. - Faiz Ul Muram; Huy Tran; Uwe Zdun (ACM Comput. Surv., 2017)

Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz Ul Muram (SEAA, 2018)

On-Demand Automated Traceability Maintenance and Evolution. - Muhammad Atif Javed; Faiz Ul Muram; Uwe Zdun (ICSR, 2018)

Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations. - Faiz Ul Muram; Barbara Gallina; Laura Gomez Rodriguez (QUATIC, 2018)

Compliance of agilized (software) development processes with safety standards: a vision. - Barbara Gallina; Faiz Ul Muram; Julieth Patricia Castellanos Ardila (XP Companion, 2018)

System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production. - Faiz Ul Muram; Muhammad Atif Javed; Sasikumar Punnekkat (ICSRS, 2019)

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

Supporting automated containment checking of software behavioural models using model transformations and model checking. - Faiz Ul Muram; Huy Tran; Uwe Zdun (Sci. Comput. Program., 2019)

Enforcing Geofences for Managing Automated Transportation Risks in Production Sites. - Muhammad Atif Javed; Faiz Ul Muram; Anas Fattouh; Sasikumar Punnekkat (EDCC Workshops, 2020)

Dynamic Reconfiguration of Safety-Critical Production Systems. - Faiz Ul Muram; Muhammad Atif Javed; Hans Hansson; Sasikumar Punnekkat (PRDC, 2020)

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)

Drone-based Risk Management of Autonomous Systems Using Contracts and Blockchain. - Faiz Ul Muram; Muhammad Atif Javed (SANER, 2021)

Towards dynamic safety assurance for Industry 4.0. - Muhammad Atif Javed; Faiz Ul Muram; Hans Hansson; Sasikumar Punnekkat; Henrik Thane (J. Syst. Archit., 2021)

Safe and secure platooning of Automated Guided Vehicles in Industry 4.0. - Muhammad Atif Javed; Faiz Ul Muram; Sasikumar Punnekkat; Hans Hansson (J. Syst. Archit., 2021)

Compliance checking of software processes: A systematic literature review. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz Ul Muram (J. Softw. Evol. Process., 2022)

ATTEST: Automating the review and update of assurance case arguments. - Faiz Ul Muram; Muhammad Atif Javed (J. Syst. Archit., 2023)

Assuring the safety of rechargeable energy storage systems in electric vehicles. - Faiz Ul Muram; Paul Pop; Muhammad Atif Javed (J. Syst. Archit., 2024)

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