Muhammad Atif Javed

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