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]

On-line Meetings for Educating the Minds of Future Safety Engineers during the COVID Pandemic: An Experience Report (Apr 2021)
Barbara Gallina
13th International Conference on Computer Supported Education (CSEDU-2021)

Compliance-aware Engineering Process Plans: The case of Space Software Engineering Processes (Mar 2021)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori
Artificial Intelligence and Law (AIL)

A Probabilistic Model of Belief in Safety Cases (Feb 2021)
Damir Nesic , Mattias Nyberg , Barbara Gallina
Safety Science Elsevier Journal-2021 (SSJ-2021)

Product-Line Assurance Cases from Contract-Based Design (Feb 2021)
Damir Nesic , Mattias Nyberg , Barbara Gallina
Journal of Systems and Software-2021 (JSS-2021)

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)

Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products (Jan 2021)
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