Julieth Patricia Castellanos Ardila, Doctoral student

Julieth Castellanos is a doctoral student at the Division of Software Engineering at IDT-Mälardalen University.

She received her bachelor degree in Computer Systems Engineering from Universidad Industrial de Santander (UIS), Bucaramanga, Colombia in 2001. Additionally, she has a specialization in Software Engineering from Universidad Distrital Franciso José de Caldas in Bogotá (Colombia), a one-year Master in Computer Science from Malmö University, and a two-year Master in Software Engineering from Mälardalen University. Julieth's research interest focuses on process compliance management. Specifically, the provision of proofs of compliance and reuse of proofs. Currently, her work is contributing to the project AMASS, an EU-ECSEL funded project, which ultimate goal is to lower certification costs for Cyber-Physical Systems.

[Show all publications]

[Google Scholar author page]

Latest publications:

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)

Facilitating Automated Compliance Checking of Processes against Safety Standards (Dec 2018)
Julieth Patricia Castellanos Ardila

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)