Julieth Patricia Castellanos Ardila

23 papers B 6C 1Misc 2Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
Evaluation of IEC 61508 Defenses for Common Cause Failures in Railway Industry.
EuroSPI (1)
Sirisha Bai Govardhan Rao, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat
2025 — conf
Experience Using Systematic Mapping Studies to Foster Knowledge Discovery in Emerging Technology Fields.
CSEDU (2)
Julieth Patricia Castellanos Ardila
2025 — conf
Formal Modeling and Strategy Synthesis for Resource Optimization in System of Systems.
SoSE
Nazakat Ali, Muhammad Naeem, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat
2025 — conf
Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL.
SAFECOMP (Workshops)
Nazakat Ali, Muhammad Naeem, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat
2024 — conf
A Proposal for Enhancing IEC 61508 Methodology for the β-Factor Estimation.
EuroSPI (1)
Sirisha Bai Govardhan Rao, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat
2024 B conf
Safety Argumentation for Machinery Assembly Control Software.
SAFECOMP
Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman
2023 B conf
A Systematic Review of β-factor Models in the Quantification of Common Cause Failures.
SEAA
Sirisha Bai Govardhan Rao, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat
2023 — conf
Arguing Operational Safety for Mixed Traffic in Underground Mining.
SoSE
Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Christian Grante
2022 B conf
A Context-Specific Operational Design Domain for Underground Mining (ODD-UM).
EuroSPI
Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Anas Fattouh, Hans Hansson
2022 J jnl
Compliance checking of software processes: A systematic literature review.
J. Softw. Evol. Process.
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
2021 — —
A Safety-centered Planning-time Framework for Automated Process Compliance Checking.
Julieth Patricia Castellanos Ardila
2021 J jnl
Compliance-aware engineering process plans: the case of space software engineering processes.
Artif. Intell. Law
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori
2021 C conf
Reusing (Safety-oriented) Compliance Artifacts while Recertifying.
MODELSWARD
Julieth Patricia Castellanos Ardila, Barbara Gallina
2020 Misc conf
A Personal Opinion Survey on Process Compliance Checking in the Safety Context.
QUATIC
Julieth Patricia Castellanos Ardila, Barbara Gallina
2020 Misc conf
Process Compliance Re-Certification Efficiency Enabled by EPF-C $\circ $ BVR-T: A Case Study.
QUATIC
Barbara Gallina, Aleksandër Pulla, Antonela Bregu, Julieth Patricia Castellanos Ardila
2020 B conf
Separation of Concerns in Process Compliance Checking: Divide-and-Conquer.
EuroSPI
Julieth Patricia Castellanos Ardila, Barbara Gallina
2018 — conf
Compliance of agilized (software) development processes with safety standards: a vision.
XP Companion
Barbara Gallina, Faiz Ul Muram, Julieth Patricia Castellanos Ardila
2018 B conf
Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models.
SEAA
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
2018 J jnl
Facilitating Automated Compliance Checking in the Safety-critical Context.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Julieth Patricia Castellanos Ardila
2018 — conf
Lessons Learned while Formalizing ISO 26262 for Compliance Checking.
TERECOM@JURIX
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori
2017 — conf
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262.
TERECOM@JURIX
Julieth Patricia Castellanos Ardila, Barbara Gallina
2017 — conf
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards.
ISSRE Workshops
Julieth Patricia Castellanos Ardila, Barbara Gallina
2017 B conf
Towards Increased Efficiency and Confidence in Process Compliance.
EuroSPI
Julieth Patricia Castellanos Ardila, Barbara Gallina