Muhammad Atif Javed

According to our database, Muhammad Atif Javed authored at least 24 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Systematic review on contract-based safety assurance and guidance for future research.

Samina Kanwal, Faiz Ul Muram, Muhammad Atif Javed

J. Syst. Archit., January, 2024

2023

ATTEST: Automating the review and update of assurance case arguments.

Faiz Ul Muram, Muhammad Atif Javed

J. Syst. Archit., 2023

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

Towards dynamic safety assurance for Industry 4.0.

Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane

J. Syst. Archit., 2021

Drone-based Risk Management of Autonomous Systems Using Contracts and Blockchain.

Faiz Ul Muram, Muhammad Atif Javed

Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking.

Faiz Ul Muram, Samina Kanwal, Muhammad Atif Javed

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

Facilitating the Compliance of Process Models with Critical System Engineering Standards using Natural Language Processing.

Faiz Ul Muram, Muhammad Atif Javed, Samina Kanwal

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

Ontology-Based Natural Language Processing for Process Compliance Management.

Muhammad Atif Javed, Faiz Ul Muram, Samina Kanwal

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2021

2020

Dynamic Reconfiguration of Safety-Critical Production Systems.

Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat

Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

Enforcing Geofences for Managing Automated Transportation Risks in Production Sites.

Muhammad Atif Javed, Faiz Ul Muram, Anas Fattouh, Sasikumar Punnekkat

Proceedings of the Dependable Computing - EDCC 2020 Workshops, 2020

2019

Towards variant management and change impact analysis in safety-oriented process-product lines.

Muhammad Atif Javed, Barbara Gallina, Anna Carlsson

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production.

Faiz Ul Muram, Muhammad Atif Javed, Sasikumar Punnekkat

Proceedings of the 4th International Conference on System Reliability and Safety, 2019

2018

Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool.

Muhammad Atif Javed, Barbara Gallina

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

On-Demand Automated Traceability Maintenance and Evolution.

Muhammad Atif Javed, Faiz Ul Muram, Uwe Zdun

Proceedings of the New Opportunities for Software Reuse - 17th International Conference, 2018

2017

Towards a Framework for Detecting Containment Violations in Service Choreography.

Faiz Ul Muram, Muhammad Atif Javed, Huy Tran, Uwe Zdun

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

Towards a pattern language for construction and maintenance of software architecture traceability links.

Muhammad Atif Javed, Srdjan Stevanetic, Uwe Zdun

Proceedings of the 21st European Conference on Pattern Languages of Programs, 2016

2015

The Supportive Effect of Traceability Links in Change Impact Analysis for Evolving Architectures - Two Controlled Experiments.

Muhammad Atif Javed, Uwe Zdun

Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

On the effects of traceability links in differently sized software systems.

Muhammad Atif Javed, Uwe Zdun

Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, 2015

The Impact of Hierarchies on the Architecture-Level Software Understandability - A Controlled Experiment.

Srdjan Stevanetic, Muhammad Atif Javed, Uwe Zdun

Proceedings of the 24th Australasian Software Engineering Conference, 2015

Cost-Effective Traceability Links for Architecture-Level Software Understanding: A Controlled Experiment.

Muhammad Atif Javed, Srdjan Stevanetic, Uwe Zdun

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014

Empirical evaluation of the understandability of architectural component diagrams.

Srdjan Stevanetic, Muhammad Atif Javed, Uwe Zdun

Proceedings of the WICSA 2014 Companion Volume, Sydney, NSW, Australia, April 7-11, 2014, 2014

The Supportive Effect of Traceability Links in Architecture-Level Software Understanding: Two Controlled Experiments.

Muhammad Atif Javed, Uwe Zdun

Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

A systematic literature review of traceability approaches between software architecture and source code.

Muhammad Atif Javed, Uwe Zdun

Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014

2012

A Model-Driven Dependability Analysis Method for Component-Based Architectures.

Barbara Gallina, Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012