Certifiable Evidences & Justification Engineering
Focus:
Constructing Product-Line Safety Cases from Contract-Based Specifications (Apr 2019) Damir Nesic , Mattias Nyberg , Barbara Gallina The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)
Towards Variant Management and Change Impact Analysis in Safety-oriented Process-Product Lines (Apr 2019) Muhammad Atif Javed, Barbara Gallina, Anna Carlsson The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)
ConcertoFLA-based Multi-concern Assurance for Space Systems (Mar 2019) Zulqarnain Haider, Barbara Gallina, Anna Carlsson , Silvia Mazzini , Stefano Puri Ada User Journal (AUJ-40 (1))
Lessons Learned while Formalizing ISO 26262 for Compliance Checking (Dec 2018) Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori 2nd Workshop on TeReCom - Technologies for Regulatory Compliance (TeReCom-2018)
Preventing Omission of Key Evidence Fallacy in Process-based Argumentations (Dec 2018) Faiz UL Muram , Barbara Gallina, Laura Gomez Rodriguez 11th International Conference on the Quality of Information and Communications Technology (QUATIC-2018)
Facilitating Automated Compliance Checking of Processes against Safety Standards (Dec 2018) Julieth Patricia Castellanos Ardila ISoLA DOCTORAL SYMPOSIUM (ISoLA DocSym)
Barbara Gallina, Associate Professor
Email: barbara.gallina@mdh.seRoom: U1-068
Phone: +46(0)21-101631