Faiz Ul Muram

According to our database, Faiz Ul Muram authored at least 26 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

2022

Compliance checking of software processes: A systematic literature review.

Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram

J. Softw. Evol. Process., 2022

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

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

A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process.

Faiz Ul Muram, Barbara Gallina, Samina Kanwal

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 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

Compliance of agilized (software) development processes with safety standards: a vision.

Barbara Gallina, Faiz Ul Muram, Julieth Patricia Castellanos Ardila

Proceedings of the 19th International Conference on Agile Software Development, 2018

Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations.

Faiz Ul Muram, Barbara Gallina, Laura Gomez Rodriguez

Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 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

Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models.

Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram

Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

2017

Systematic Review of Software Behavioral Model Consistency Checking.

Faiz Ul Muram, Huy Tran, Uwe Zdun

ACM Comput. Surv., 2017

Towards Containment Checking of Behaviour in Architectural Patterns.

Faiz Ul Muram, Huy Tran, Uwe Zdun

Proceedings of the 22nd European Conference on Pattern Languages of Programs, 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

A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams.

Faiz Ul Muram, Huy Tran, Uwe Zdun

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems.

Huy Tran, Faiz Ul Muram, Uwe Zdun

Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Conference, 2015

Counterexample Analysis for Supporting Containment Checking of Business Process Models.

Faiz Ul Muram, Huy Tran, Uwe Zdun

Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

2014

Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking.

Faiz Ul Muram, Huy Tran, Uwe Zdun

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 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