Faiz Ul Muram

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