Towards Increased Efficiency and Confidence in Process Compliance. - Julieth Patricia Castellanos Ardila; Barbara Gallina (EuroSPI, 2017)

Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards. - Julieth Patricia Castellanos Ardila; Barbara Gallina (ISSRE Workshops, 2017)

Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262. - Julieth Patricia Castellanos Ardila; Barbara Gallina (TERECOM@JURIX, 2017)

Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz Ul Muram (SEAA, 2018)

Lessons Learned while Formalizing ISO 26262 for Compliance Checking. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Guido Governatori (TERECOM@JURIX, 2018)

Compliance of agilized (software) development processes with safety standards: a vision. - Barbara Gallina; Faiz Ul Muram; Julieth Patricia Castellanos Ardila (XP Companion, 2018)

Facilitating Automated Compliance Checking in the Safety-critical Context. - Julieth Patricia Castellanos Ardila (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Separation of Concerns in Process Compliance Checking: Divide-and-Conquer. - Julieth Patricia Castellanos Ardila; Barbara Gallina (EuroSPI, 2020)

A Personal Opinion Survey on Process Compliance Checking in the Safety Context. - Julieth Patricia Castellanos Ardila; Barbara Gallina (QUATIC, 2020)

Process Compliance Re-Certification Efficiency Enabled by EPF-C $ circ $ BVR-T: A Case Study. - Barbara Gallina; Aleksandër Pulla; Antonela Bregu; Julieth Patricia Castellanos Ardila (QUATIC, 2020)

Reusing (Safety-oriented) Compliance Artifacts while Recertifying. - Julieth Patricia Castellanos Ardila; Barbara Gallina (MODELSWARD, 2021)

Compliance-aware engineering process plans: the case of space software engineering processes. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Guido Governatori (Artif. Intell. Law, 2021)

A Safety-centered Planning-time Framework for Automated Process Compliance Checking. - Julieth Patricia Castellanos Ardila (2021)

A Context-Specific Operational Design Domain for Underground Mining (ODD-UM). - Julieth Patricia Castellanos Ardila; Sasikumar Punnekkat; Anas Fattouh; Hans Hansson (EuroSPI, 2022)

Compliance checking of software processes: A systematic literature review. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz Ul Muram (J. Softw. Evol. Process., 2022)

A Systematic Review of β-factor Models in the Quantification of Common Cause Failures. - Sirisha Bai Govardhan Rao; Julieth Patricia Castellanos Ardila; Sasikumar Punnekkat (SEAA, 2023)

Arguing Operational Safety for Mixed Traffic in Underground Mining. - Julieth Patricia Castellanos Ardila; Sasikumar Punnekkat; Hans Hansson; Christian Grante (SoSE, 2023)

A Proposal for Enhancing IEC 61508 Methodology for the β-Factor Estimation. - Sirisha Bai Govardhan Rao; Julieth Patricia Castellanos Ardila; Sasikumar Punnekkat (EuroSPI (1), 2024)

Safety Argumentation for Machinery Assembly Control Software. - Julieth Patricia Castellanos Ardila; Sasikumar Punnekkat; Hans Hansson; Peter Backeman (SAFECOMP, 2024)

Experience Using Systematic Mapping Studies to Foster Knowledge Discovery in Emerging Technology Fields. - Julieth Patricia Castellanos Ardila (CSEDU (2), 2025)

Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL. - Nazakat Ali; Muhammad Naeem; Julieth Patricia Castellanos Ardila; Sasikumar Punnekkat (SAFECOMP (Workshops), 2025)

Formal Modeling and Strategy Synthesis for Resource Optimization in System of Systems. - Nazakat Ali; Muhammad Naeem; Julieth Patricia Castellanos Ardila; Sasikumar Punnekkat (SoSE, 2025)