Faiz Ul Muram

Publication Activity (10 Years)

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

Top Topics

Systematic Review

Uml Activity Diagrams

Natural Language

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)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Compliance checking of software processes: A systematic literature review. J. Softw. Evol. Process. 34 (5) (2022)
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, Huy Tran, Uwe Zdun
Supporting automated containment checking of software behavioural models using model transformations and model checking. Sci. Comput. Program. 174 (2019)
Faiz Ul Muram, Muhammad Atif Javed, Sasikumar Punnekkat
System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production. ICSRS (2019)
Faiz Ul Muram, Barbara Gallina, Samina Kanwal
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. RSSRail (2019)
Barbara Gallina, Faiz Ul Muram, Julieth Patricia Castellanos Ardila
Compliance of agilized (software) development processes with safety standards: a vision. XP Companion (2018)
Muhammad Atif Javed, Faiz Ul Muram, Uwe Zdun
On-Demand Automated Traceability Maintenance and Evolution. ICSR (2018)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models. SEAA (2018)
Faiz Ul Muram, Barbara Gallina, Laura Gomez Rodriguez
Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations. QUATIC (2018)
Faiz Ul Muram, Muhammad Atif Javed, Huy Tran, Uwe Zdun
Towards a Framework for Detecting Containment Violations in Service Choreography. SCC (2017)
Faiz Ul Muram, Huy Tran, Uwe Zdun
Towards Containment Checking of Behaviour in Architectural Patterns. EuroPLoP (2017)
Faiz Ul Muram, Huy Tran, Uwe Zdun
Systematic Review of Software Behavioral Model Consistency Checking. ACM Comput. Surv. 50 (2) (2017)
Faiz Ul Muram, Huy Tran, Uwe Zdun
A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams. APSEC (2016)
Faiz Ul Muram, Huy Tran, Uwe Zdun
Counterexample Analysis for Supporting Containment Checking of Business Process Models. Business Process Management Workshops (2015)
Huy Tran, Faiz Ul Muram, Uwe Zdun
A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems. EDOC (2015)
Faiz Ul Muram, Huy Tran, Uwe Zdun
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking. FESCA (2014)
Barbara Gallina, Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat
A Model-Driven Dependability Analysis Method for Component-Based Architectures. EUROMICRO-SEAA (2012)