Faiz Ul Muram, Researcher

Faiz Ul Muram is a researcher at Mälardalen University, Sweden. Her research activities focus on safety assurance, process engineering, model checking, formal methods and model-driven engineering. She has been serving as a reviewer in IEEE Transactions on Software Engineering (TSE) and Elsevier Journal of Systems and Software (JSS). She was the organizer of DeCPS 2019.

She worked as a research assistant and postdoctoral fellow at Mälardalen University, Sweden. She earned her Dr. tech. degree from University of Vienna, Austria in 2017. She completed her MSc. in computer science from the Mälardalen University, Sweden in 2012.

[Show all publications]

[Google Scholar author page]

Latest publications:

Dynamic Reconfiguration of Safety-Critical Production Systems (Sep 2020)
Faiz Ul Muram, Muhammad Atif Javed, Hans Hansson, Sasikumar Punnekkat
25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020)

Enforcing Geofences for Managing Automated Transportation Risks in Production Sites (Sep 2020)
Muhammad Atif Javed, Faiz Ul Muram, Anas Fattouh, Sasikumar Punnekkat
Workshop on Dynamic Risk managEment for Autonomous Systems (DREAMS 2020)

Facilitating Automated Compliance Checking of Processes in the Safety-critical Context (Dec 2019)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Electronic Communications of the EASST (ECEASST)

System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production (Nov 2019)
Faiz Ul Muram, Muhammad Atif Javed, Sasikumar Punnekkat
4th International Conference on System Reliability and Safety (ICSRS-2019)

A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process (Jun 2019)
Faiz Ul Muram, Barbara Gallina, Samina Kanwal
3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSS-Rail-2019)

Supporting automated containment checking of software behavioural models using model transformations and model checking (Apr 2019)
Faiz Ul Muram, Huy Tran , Uwe Zdun
Science of Computer Programming, Elsevier (SCICO)

PhD students supervised as assistant supervisor:

Julieth Patricia Castellanos Ardila