Spremljaj
Faiz Ul Muram
Faiz Ul Muram
Preverjeni e-poštni naslov na lnu.se
Naslov
Navedeno
Navedeno
Leto
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
502021
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
402012
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
302018
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
252021
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
242018
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
212018
Systematic review of software behavioral model consistency checking
F Muram, H Tran, U Zdun
ACM Computing Surveys (CSUR) 50 (2), 1-39, 2017
202017
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
192014
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
182019
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
172018
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
172016
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
132021
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
132020
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
122020
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
122016
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
112022
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
112019
On-demand automated traceability maintenance and evolution
MA Javed, F UL Muram, U Zdun
New Opportunities for Software Reuse: 17th International Conference, ICSR …, 2018
72018
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
72015
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
62019
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20