| Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models JP Castellanos-Ardila, B Gallina, FU Muram 2018 44th Euromicro Conference on Software Engineering and Advanced …, 2018 | 27 | 2018 |
| Compliance-aware engineering process plans: the case of space software engineering processes JP Castellanos-Ardila, B Gallina, G Governatori Artificial intelligence and law 29 (4), 587-627, 2021 | 22 | 2021 |
| Compliance of agilized (software) development processes with safety standards: a vision B Gallina, FU Muram, JP Castellanos Ardila Proceedings of the 19th International Conference on Agile Software …, 2018 | 22 | 2018 |
| Towards efficiently checking compliance against automotive security and safety standards JP Castellanos Ardila, B Gallina 2017 IEEE International Symposium on Software Reliability Engineering …, 2017 | 22 | 2017 |
| Towards Increased Efficiency and Confidence in Process Compliance JP Castellanos Ardila, B Gallina European Conference on Software Process Improvement, 162-174, 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 34 (5), e2440, 2022 | 20 | 2022 |
| Transforming SPEM 2.0-Compatible Process Models into Models Checkable for Compliance JP Castellanos Ardila, B Gallina, FU Muram International Conference on Software Process Improvement and Capability …, 2018 | 19 | 2018 |
| Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262 JP Castellanos Ardila, B Gallina Proceedings of the 1st Workshop on Technologies for Regulatory Compliance co …, 2018 | 14* | 2018 |
| Separation of Concerns in Process Compliance Checking: Divide-and-Conquer JP Castellanos Ardila, B Gallina European Conference on Software Process Improvement, 135-147, 2020 | 13 | 2020 |
| A context-specific operational design domain for underground mining (ODD-UM) JP Castellanos-Ardila, S Punnekkat, A Fattouh, H Hansson European Conference on Software Process Improvement, 161-176, 2022 | 11 | 2022 |
| Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation B Gallina, JP Castellanos Ardila, M Nyberg 4th International Workshop on Critical Automotive Applications: Robustness …, 2016 | 9 | 2016 |
| Lessons Learned while Formalizing ISO 26262 for Compliance Checking JP Castellanos Ardila, B Gallina, G Governatori 2nd Workshop on Technologies for Regulatory Compliance 2309, 5-16, 0 | 9* | |
| Facilitating Automated Compliance Checking in the Safety-critical Context JP Castellanos Ardila Electronic Communications of the EASST 78, 2019 | 6 | 2019 |
| A systematic review of β-factor models in the quantification of common cause failures SBG Rao, JP Castellanos-Ardila, S Punnekkat 2023 49th Euromicro Conference on Software Engineering and Advanced …, 2023 | 4 | 2023 |
| Process Compliance Re-Certification Efficiency Enabled by EPF-C BVR-T: A Case Study B Gallina, A Pulla, A Bregu, JP Castellanos Ardila International Conference on the Quality of Information and Communications …, 2020 | 4 | 2020 |
| Safety Argumentation for Machinery Assembly Control Software JP Castellanos-Ardila, S Punnekkat, H Hansson, P Backeman International Conference on Computer Safety, Reliability, and Security, 251-266, 2024 | 3 | 2024 |
| Arguing operational safety for mixed traffic in underground mining JP Castellanos Ardila, S Punnekkat, H Hansson, C Grante 2023 18th Annual System of Systems Engineering Conference, SoSe 2023, Lille …, 2023 | 3 | 2023 |
| Safe integration of autonomous machines in underground mining environments JP Castellanos-Ardila, H Hansson, S Punekkat 2022 IEEE International Symposium on Systems Engineering (ISSE), 1-8, 2022 | 3 | 2022 |
| Facilitating Automated Compliance Checking of Processes against Safety Standards JPC Ardila, B Gallina, FU Muram Mälardalen Unviersity, 2019 | 3 | 2019 |
| Reusing (Safety-oriented) Compliance Artifacts while Recertifying JP Castellanos Ardila, B Gallina | 3* | |
Barbara GallinaAssociate Professor of Dependable Software Engineering, Mälardalen University (MDU)כתובת אימייל מאומתת בדומיין mdu.se
