| 2025 | CSEDU | Experience Using Systematic Mapping Studies to Foster Knowledge Discovery in Emerging Technology Fields. | Julieth Patricia Castellanos Ardila |
| 2025 | EuroSPI | Evaluation of IEC 61508 Defenses for Common Cause Failures in Railway Industry. | Sirisha Bai Govardhan Rao, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat |
| 2025 | SAFECOMP | Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL. | Nazakat Ali, Muhammad Naeem, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat |
| 2024 | EuroSPI | A Proposal for Enhancing IEC 61508 Methodology for the β-Factor Estimation. | Sirisha Bai Govardhan Rao, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat |
| 2024 | SAFECOMP | Safety Argumentation for Machinery Assembly Control Software. | Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman |
| 2022 | EuroSPI | A Context-Specific Operational Design Domain for Underground Mining (ODD-UM). | Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Anas Fattouh, Hans Hansson |
| 2021 | MODELSWARD | Reusing (Safety-oriented) Compliance Artifacts while Recertifying. | Julieth Patricia Castellanos Ardila, Barbara Gallina |
| 2020 | EuroSPI | Separation of Concerns in Process Compliance Checking: Divide-and-Conquer. | Julieth Patricia Castellanos Ardila, Barbara Gallina |
| 2020 | QUATIC | A Personal Opinion Survey on Process Compliance Checking in the Safety Context. | Julieth Patricia Castellanos Ardila, Barbara Gallina |
| 2020 | QUATIC | Process Compliance Re-Certification Efficiency Enabled by EPF-C $\circ $ BVR-T: A Case Study. | Barbara Gallina, Aleksandr Pulla, Antonela Bregu, Julieth Patricia Castellanos Ardila |
| 2018 | JURIX | Lessons Learned while Formalizing ISO 26262 for Compliance Checking. | Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori |
| 2017 | EuroSPI | Towards Increased Efficiency and Confidence in Process Compliance. | Julieth Patricia Castellanos Ardila, Barbara Gallina |
| 2017 | ISSRE | Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards. | Julieth Patricia Castellanos Ardila, Barbara Gallina |
| 2017 | JURIX | Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262. | Julieth Patricia Castellanos Ardila, Barbara Gallina |