Muhammad Atif Javed

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 16

Top Topics

Change Impact Analysis

Systematic Review

Software Architecture

Top Venues

J. Syst. Archit.

Publications

Samina Kanwal, Faiz Ul Muram, Muhammad Atif Javed
Systematic review on contract-based safety assurance and guidance for future research. J. Syst. Archit. 146 (2024)
Faiz Ul Muram, Muhammad Atif Javed
ATTEST: Automating the review and update of assurance case arguments. J. Syst. Archit. 134 (2023)
Faiz Ul Muram, Muhammad Atif Javed, Samina Kanwal
Facilitating the Compliance of Process Models with Critical System Engineering Standards using Natural Language Processing. ENASE (2021)
Faiz Ul Muram, Muhammad Atif Javed
Drone-based Risk Management of Autonomous Systems Using Contracts and Blockchain. SANER (2021)
Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane
Towards dynamic safety assurance for Industry 4.0. J. Syst. Archit. 114 (2021)
Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat, Hans Hansson
Safe and secure platooning of Automated Guided Vehicles in Industry 4.0. J. Syst. Archit. 121 (2021)
Muhammad Atif Javed, Faiz Ul Muram, Samina Kanwal
Ontology-Based Natural Language Processing for Process Compliance Management. ENASE (Selected Papers) (2021)
Faiz Ul Muram, Samina Kanwal, Muhammad Atif Javed
Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking. ENASE (2021)
Muhammad Atif Javed, Faiz Ul Muram, Anas Fattouh, Sasikumar Punnekkat
Enforcing Geofences for Managing Automated Transportation Risks in Production Sites. EDCC Workshops (2020)
Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat
Dynamic Reconfiguration of Safety-Critical Production Systems. PRDC (2020)
Faiz Ul Muram, Muhammad Atif Javed, Sasikumar Punnekkat
System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production. ICSRS (2019)
Muhammad Atif Javed, Barbara Gallina, Anna Carlsson
Towards variant management and change impact analysis in safety-oriented process-product lines. SAC (2019)
Muhammad Atif Javed, Barbara Gallina
Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool. SPLC (2) (2018)
Muhammad Atif Javed, Faiz Ul Muram, Uwe Zdun
On-Demand Automated Traceability Maintenance and Evolution. ICSR (2018)
Faiz Ul Muram, Muhammad Atif Javed, Huy Tran, Uwe Zdun
Towards a Framework for Detecting Containment Violations in Service Choreography. SCC (2017)
Muhammad Atif Javed, Srdjan Stevanetic, Uwe Zdun
Towards a pattern language for construction and maintenance of software architecture traceability links. EuroPLoP (2016)
Srdjan Stevanetic, Muhammad Atif Javed, Uwe Zdun
The Impact of Hierarchies on the Architecture-Level Software Understandability - A Controlled Experiment. ASWEC (2015)
Muhammad Atif Javed, Srdjan Stevanetic, Uwe Zdun
Cost-Effective Traceability Links for Architecture-Level Software Understanding: A Controlled Experiment. ASWEC (2) (2015)
Muhammad Atif Javed, Uwe Zdun
On the effects of traceability links in differently sized software systems. EASE (2015)
Muhammad Atif Javed, Uwe Zdun
The Supportive Effect of Traceability Links in Change Impact Analysis for Evolving Architectures - Two Controlled Experiments. ICSR (2015)
Srdjan Stevanetic, Muhammad Atif Javed, Uwe Zdun
Empirical evaluation of the understandability of architectural component diagrams. WICSA Companion (2014)
Muhammad Atif Javed, Uwe Zdun
A systematic literature review of traceability approaches between software architecture and source code. EASE (2014)
Muhammad Atif Javed, Uwe Zdun
The Supportive Effect of Traceability Links in Architecture-Level Software Understanding: Two Controlled Experiments. WICSA (2014)
Barbara Gallina, Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat
A Model-Driven Dependability Analysis Method for Component-Based Architectures. EUROMICRO-SEAA (2012)