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 Towards Increased Efficiency and Confidence in Process Compliance JP Castellanos Ardila, B Gallina
European Conference on Software Process Improvement, 162-174, 2017
20 2017 Towards efficiently checking compliance against automotive security and safety standards JP Castellanos Ardila, B Gallina
2017 IEEE International Symposium on Software Reliability Engineering …, 2017
19 2017 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
17 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
15 2021 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
13 2022 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 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
8 2016 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
6 2022 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 * 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 * 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 Systematic literature review of compliance checking approaches for software processes JP Castellanos Ardila, B Gallina, F UL Muram
1 2021 A safety-centered planning-time framework for automated process compliance checking JP Castellanos Ardila
Mälardalen University, 2021
1 2021