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.
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)
Preventing Omission of Key Evidence Fallacy in Process-based Argumentations (Dec 2018) Faiz Ul Muram, Barbara Gallina, Laura Gomez Rodriguez 11th International Conference on the Quality of Information and Communications Technology (QUATIC-2018)
|AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems||finished|
|Future factories in the Cloud||active|
|InSecTT: Intelligent Secure Trustable Things||active|
|SUCCESS: Safety assurance of Cooperating Construction Equipment in Semi-automated Sites||active|