Certifiable Evidences & Justification Engineering


This group performs research on languages, techniques, metrics, and processes for engineering evidence(s) and justifications for the purpose of certification/selfassessment. More specifically, the focus is on languages, techniques, measurement frameworks, and processes for: modelling, analysis, justification and certification of complex dependable (computer-based) systems; systematic reuse of certification artifacts; multi-concern assurance; continuous certification via tool integration; compliance management; certification-related evidence engineering; safety/security management & safety/security culture; reuse-focused measurement frameworks.

[Show all publications]

Reusing (Safety-oriented) Compliance Artifacts while Recertifying (Feb 2021)
Julieth Patricia Castellanos Ardila, Barbara Gallina
9th International Conference on Model-driven Engineering and Software Development (MODELSWARD 2021)

Towards Explainable, Compliant and Adaptive Human-Automation Interaction (Dec 2020)
Barbara Gallina, Görkem Pacaci , David Johnson , Steve McKeever , Andreas Hamfelt , Stefania Costantini , Pierangelo Dell'Acqua , Gloria-Cerasela Crisan
3rd The EXplainable & Responsible AI in Law Workshop (XAILA-2020)

Making SafeConcert Security-informed to Enable Multi-concern Modelling (Nov 2020)
Barbara Gallina, Zulqarnain Haider
30th European Safety and Reliability Conference (ESREL-2020)

Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis (Nov 2020)
Carmen Carlan , Barbara Gallina
30th European Safety and Reliability Conference (ESREL-2020)

Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Oct 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)

Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products (Oct 2020)
Carmen Carlan , Daniel Petrisor , Barbara Gallina, Hannes Schoenhaar
10th IEEE International Workshop on Software Certification (WoSoCER-2020)

Barbara Gallina, Associate Professor

Email: barbara.gallina@mdh.se
Room: U1-068
Phone: +46(0)21-101631