| 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 | 24 | 2018 |
| 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 | 21 | 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 | 20 | 2021 |
| Towards efficiently checking compliance against automotive security and safety standards JP Castellanos Ardila, B Gallina 2017 IEEE International Symposium on Software Reliability Engineering …, 2017 | 20 | 2017 |
| Towards Increased Efficiency and Confidence in Process Compliance JP Castellanos Ardila, B Gallina European Conference on Software Process Improvement, 162-174, 2017 | 19 | 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 | 17 | 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 | 16 | 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 | 13* | 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 | 12 | 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 | 10 | 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 |
| Facilitating Automated Compliance Checking in the Safety-critical Context JP Castellanos Ardila Electronic Communications of the EASST 78, 2019 | 6 | 2019 |
| 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 |
| Lessons Learned while Formalizing ISO 26262 for Compliance Checking. JPC Ardila, B Gallina, G Governatori TERECOM@ JURIX, 5-16, 2018 | 4 | 2018 |
| 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 | 4* | |
| 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 |
| Facilitating Automated Compliance Checking of Processes against Safety Standards JPC Ardila, J Patricia Mälardalen Unviersity, 2019 | 3 | 2019 |
| Reusing (Safety-oriented) Compliance Artifacts while Recertifying JP Castellanos Ardila, B Gallina | 3* | |
| 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 | 2 | 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 | 1 | 2022 |
Barbara GallinaAssociate Professor of Dependable Software Engineering, Mälardalen University (MDU)在 mdu.se 的电子邮件经过验证
