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

A systematic literature review of traceability approaches between software architecture and source code. - Muhammad Atif Javed; Uwe Zdun (EASE, 2014)

The Supportive Effect of Traceability Links in Architecture-Level Software Understanding: Two Controlled Experiments. - Muhammad Atif Javed; Uwe Zdun (WICSA, 2014)

Empirical evaluation of the understandability of architectural component diagrams. - Srdjan Stevanetic; Muhammad Atif Javed; Uwe Zdun (WICSA Companion, 2014)

Cost-Effective Traceability Links for Architecture-Level Software Understanding: A Controlled Experiment. - Muhammad Atif Javed; Srdjan Stevanetic; Uwe Zdun (ASWEC (2), 2015)

The Impact of Hierarchies on the Architecture-Level Software Understandability - A Controlled Experiment. - Srdjan Stevanetic; Muhammad Atif Javed; Uwe Zdun (ASWEC, 2015)

On the effects of traceability links in differently sized software systems. - Muhammad Atif Javed; Uwe Zdun (EASE, 2015)

The Supportive Effect of Traceability Links in Change Impact Analysis for Evolving Architectures - Two Controlled Experiments. - Muhammad Atif Javed; Uwe Zdun (ICSR, 2015)

Towards a pattern language for construction and maintenance of software architecture traceability links. - Muhammad Atif Javed; Srdjan Stevanetic; Uwe Zdun (EuroPLoP, 2016)

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

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

Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool. - Muhammad Atif Javed; Barbara Gallina (SPLC (2), 2018)

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

Towards variant management and change impact analysis in safety-oriented process-product lines. - Muhammad Atif Javed; Barbara Gallina; Anna Carlsson (SAC, 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)

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)