Faiz Ul Muram
Faiz Ul Muram
Preverjeni e-poštni naslov na lnu.se
Towards dynamic safety assurance for Industry 4.0
MA Javed, FU Muram, H Hansson, S Punnekkat, H Thane
Journal of Systems Architecture 114, 101914, 2021
A model-driven dependability analysis method for component-based architectures
B Gallina, MA Javed, FU Muram, S Punnekkat
2012 38th Euromicro Conference on Software Engineering and Advanced …, 2012
Preventing omission of key evidence fallacy in process-based argumentations
FUL Muram, B Gallina, LG Rodríguez
2018 11th International Conference on the Quality of Information and …, 2018
Safe and secure platooning of automated guided vehicles in Industry 4.0
MA Javed, FU Muram, S Punnekkat, H Hansson
Journal of Systems Architecture, 2021
Enabling compliance checking against safety standards from SPEM 2.0 process models
JPC Ardila, B Gallina, FUL Muram
2018 44th Euromicro Conference on Software Engineering and Advanced …, 2018
Compliance of agilized (software) development processes with safety standards: a vision
B Gallina, FU Muram, JPC Ardila
Proceedings of the 19th International Conference on Agile Software …, 2018
Systematic review of software behavioral model consistency checking
F Muram, H Tran, U Zdun
ACM Computing Surveys (CSUR) 50 (2), 1-39, 2017
Automated mapping of UML activity diagrams to formal specifications for supporting containment checking
FUL Muram, H Tran, U Zdun
arXiv preprint arXiv:1404.0852, 2014
System of systems hazard analysis using HAZOP and FTA for advanced quarry production
FU Muram, MA Javed, S Punnekkat
2019 4th International Conference on System Reliability and Safety (ICSRS …, 2019
Transforming SPEM 2.0-compatible process models into models checkable for compliance
JP Castellanos Ardila, B Gallina, F Ul Muram
Software Process Improvement and Capability Determination: 18th …, 2018
A model checking based approach for containment checking of uml sequence diagrams
FUL Muram, H Tran, U Zdun
2016 23rd Asia-Pacific Software Engineering Conference (APSEC), 73-80, 2016
Drone-based Risk Management of Autonomous Systems Using Contracts and Blockchain
F Ul Muram, MA Javed
2021 International Workshop on Blockchain Oriented Software Engineering …, 2021
Enforcing Geofences for Managing Automated Transportation Risks in Production Sites
MA Javed, F Ul Muram, F Anas, S Punnekkat
Dependable Computing-EDCC 2020 Workshops: AI4RAILS, DREAMS, DSOGRI, SERENE …, 2020
Dynamic Reconfiguration of Safety-Critical Production Systems
F Ul Muram, MA Javed, H Hansson, S Punnekkat
25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020
Counterexample analysis for supporting containment checking of business process models
FUL Muram, H Tran, U Zdun
Business Process Management Workshops: BPM 2015, 13th International …, 2016
Compliance checking of software processes: A systematic literature review
JP Castellanos Ardila, B Gallina, F Ul Muram
Journal of Software: Evolution and Process, e2440, 2022
Supporting automated containment checking of software behavioural models using model transformations and model checking
FUL Muram, H Tran, U Zdun
Science of Computer Programming 174, 38-71, 2019
On-demand automated traceability maintenance and evolution
MA Javed, F UL Muram, U Zdun
New Opportunities for Software Reuse: 17th International Conference, ICSR …, 2018
A graph-based approach for containment checking of behavior models of software systems
H Tran, FUL Muram, U Zdun
2015 IEEE 19th International Enterprise Distributed Object Computing …, 2015
A tool-supported model-based method for facilitating the EN50129-compliant safety approval process
F Ul Muram, B Gallina, S Kanwal
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2019
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20