| 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 | 64 | 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 | 44 | 2012 |
| 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 | 36 | 2021 |
| 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 | 36 | 2018 |
| 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 | 25 | 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 | 21 | 2018 |
| Systematic review of software behavioral model consistency checking F Muram, H Tran, U Zdun ACM Computing Surveys (CSUR) 50 (2), 1-39, 2017 | 21 | 2017 |
| 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 | 20 | 2022 |
| 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 | 20 | 2019 |
| 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 | 19 | 2021 |
| 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 | 19 | 2014 |
| 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 | 18 | 2016 |
| 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 | 16 | 2018 |
| ATTEST: Automating the review and update of assurance case arguments FU Muram, MA Javed Journal of systems architecture 134, 102781, 2023 | 13 | 2023 |
| 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 | 13 | 2020 |
| 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 | 13 | 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 | 13 | 2016 |
| 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 | 11 | 2019 |
| 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 | 8 | 2019 |
| 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 | 8 | 2015 |
Barbara GallinaAssociate Professor of Dependable Software Engineering, Mälardalen University (MDU)Verified email at mdu.se
