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]

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

Specification and Formal Verification of Atomic Concurrent Real-Time Transactions (Dec 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018)

FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results (Nov 2018)
Zulqarnain Haider, Barbara Gallina, Enrique Zornoza Moreno
3rd International Conference on System Reliability and Safety (ICSRS-2018)

Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems (Nov 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)

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)

Preventing Omission of Key Evidence Fallacy in Process-based Argumentations (Oct 2018)
Faiz UL Muram , Barbara Gallina, Laura Gomez Rodriguez
11th International Conference on the Quality of Information and Communications Technology (QUATIC-2018)

Barbara Gallina, Associate Professor

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