Publications
Number of publications matching the search criterion: 28
Doctoral Thesis (1)
A Safety-centered Planning-time Framework for Automated Process Compliance Checking (Oct 2021) Julieth Patricia Castellanos Ardila
Licentiate Thesis (1)
Facilitating Automated Compliance Checking of Processes against Safety Standards Julieth Patricia Castellanos Ardila
Journal article (3)
Compliance Checking of Software Processes: A Systematic Literature Review (Mar 2022) Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram Journal of Software: Evolution and Process (JSEP)
Compliance-aware Engineering Process Plans: The case of Space Software Engineering Processes (Mar 2021) Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori Artificial Intelligence and Law (AIL)
Facilitating Automated Compliance Checking of Processes in the Safety-critical Context (Dec 2019) Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram Electronic Communications of the EASST (ECEASST)
Conference/Workshop Paper (20)
Experience using Systematic Mapping Studies to Foster Knowledge Discovery in Emerging Technology Fields (Apr 2025) Julieth Patricia Castellanos Ardila 17th International Conference on Computer Supported Education (CSEDU)
Towards an Integrated Safety-Security Ontology for System of Systems (Oct 2024) Nazakat Ali, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat 2024 IEEE International Symposium on Systems Engineering (ISSE 2024)
Safety Argumentation for Machinery Assembly Control Software (Sep 2024) Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2024)
A Proposal for Enhancing IEC 61508 Methodology for the β-Factor Estimation (Sep 2024) Sirisha Bai Govardhan Rao, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat European Conference on Software Process Improvement (EuroSPI 2024)
A Systematic Review of β-factor Models in the Quantification of Common Cause Failures (Jan 2024) Sirisha Bai Govardhan Rao, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA2023)
Arguing Operational Safety for Mixed Traffic in Underground Mining (Jun 2023) Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Christian Grante 18th Annual System Of Systems Engineering Conference (SoSE2023)
Safe Integration of Autonomous Machines in Underground Mining Environments (Oct 2022) Julieth Patricia Castellanos Ardila, Hans Hansson, Sasikumar Punnekkat 8th International Symposium on Systems Engineerging (ISSE 2022)
A Context-specific Operational Design Domain for Underground Mining (ODD-UM) (Sep 2022) Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Anas Fattouh, Hans Hansson 29th European & Asian System, Software & Service Process Improvement & Innovation (EuroAsiaSP2 '22)
Reusing (Safety-oriented) Compliance Artifacts while Recertifying (Feb 2021) Julieth Patricia Castellanos Ardila, Barbara Gallina 9th International Conference on Model-driven Engineering and Software Development (MODELSWARD 2021)
Separation of Concerns in Process Compliance Checking: Divide-and-Conquer (Sep 2020) Julieth Patricia Castellanos Ardila, Barbara Gallina 29th European & Asian System, Software & Service Process Improvement & Innovation (EuroAsiaSP2 '22)
A Personal Opinion Survey on Process-based Compliance Checking in the Safety Context (Sep 2020) Julieth Patricia Castellanos Ardila, Barbara Gallina 13th International Conference on the Quality of Information and Communications Technology- Track: Process Modeling, Improvement and Assessment (QUATIC-2020)
Process Compliance Re-Certification Efficiency Enabled by EPF-C ° BVR-T (Sep 2020) Barbara Gallina, Aleksandër Pulla, Antonela Bregu, Julieth Patricia Castellanos Ardila 13th International Conference on the Quality of Information and Communications Technology- Track: Process Modeling, Improvement and Assessment (QUATIC-2020)
Lessons Learned while Formalizing ISO 26262 for Compliance Checking (Feb 2019) Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori 2nd Workshop on TeReCom - Technologies for Regulatory Compliance (TeReCom-2018)
Compliance of Agilized (Software) Development Processes with Safety Standards: a Vision (Oct 2018) Barbara Gallina, Faiz Ul Muram, Julieth Patricia Castellanos Ardila 4th international workshop on Agile Development of Safety-Critical Software (ASCS-2018)
Transforming SPEM 2.0-compatible Process Models into Models Checkable for Compliance (Oct 2018) Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram 18th International SPICE Conference (SPICE-2018)
Enabling Compliance Checking against Safety Standards from SPEM 2.0 Process Models (Aug 2018) Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram The Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018)
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262 (Jan 2018) Julieth Patricia Castellanos Ardila, Barbara Gallina 1st Workshop on Technologies for Regulatory Compliance co-located with the 30th International Conference on Legal Knowledge and Information Systems (JURIX 2017) (TeReCom-2017)
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards (Oct 2017) Julieth Patricia Castellanos Ardila, Barbara Gallina The 7th IEEE International Workshop on Software Certification (WoSoCer 2017)
Towards Increased Efficiency and Confidence in Process Compliance (Sep 2017) Julieth Patricia Castellanos Ardila, Barbara Gallina 24th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroAsiaSPI2 '17)
Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation (Sep 2016) Barbara Gallina, Julieth Patricia Castellanos Ardila, Mattias Nyberg 4th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS-2016)
Report - MRTC (1)
Systematic Literature Review of Compliance Checking Approaches for Software Processes (Aug 2021) Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram MRTC Report, Mälardalen Real-Time Research Centre (MRTC 2021)
Article, research overeview (1)
Facilitating Automated Compliance Checking of Processes against Safety Standards (Dec 2018) Julieth Patricia Castellanos Ardila ISoLA DOCTORAL SYMPOSIUM (ISoLA DocSym)
Student Thesis (1)
Investigation of an OSLC-domain targeting ISO 26262: Focus on the left side of the Software V-model (Oct 2016) Julieth Patricia Castellanos Ardila
