Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 24

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 (16)

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

Items per page: