Certifiable Evidences & Justification Engineering

Focus:

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.

Affiliated members (from academy):
André Luiz de Oliveira, Professor, Federal University of Juiz de Fora
Guido Governatori, Professor, Central Queensland University 
Victor Luiz Grechi, PhD student, University of São Paulo (USP) 
Tomas Bueno Momcilovi, PhD student, fortiss and TMU
Leonardo Montecchi, Associate Professor, NTNU
Rosana Teresinha Vaccare Braga, Professor, University of Sao Paulo (USP)

Affiliated members (from industry):
Carmen Cârlan, Functional Safety Expert, TÜV SÜD   
Henrik Dibowski, Product Owner Knowledge Graph Platform, Bosch
Markus Schweizer, Project Manager, Corporate Research/Bosch
Soheila Sheikh Bahaei, Safety Manager, Scania
Sahoo Swagat Sukumar, Safety Manager, Scania
Thomas Young Olesen, Compliance Manager, Grundfos
Former members, their past roles and current roles:
Dinar Khowaja, Visiting PhD student
Faiz Ul Muram, Post doc, now Safety Engineer
Irfan SljivoPhD Student, now Computer Scientist
Julieth Castellanos, PhD Student, now Ass. Senior Lecturer
Moses Mariajoseph,Visiting PhD student
Muhammad Atif Javed, Post doc, now System Safety Leader
Sami Alajrami, Visiting PhD student, now DevOps Consultant
Shankar Iyer, Research Assistant
Simin Cai, PhD Student, now Product Architect
Soheila Sheikh Bahaei, PhD Student, now Safety Manager
Zulqarnain Haider, Research Assistant, now Software Domain Leader 

[Show all publications]

Regulatory Compliance-aware System Change Management via an Ontology-based Approach (Sep 2025)
Barbara Gallina, Markus Schweizer , Henrik Dibowski
32nd European & Asian System, Software & Service Process Improvement & Innovation (EuroAsiaSPI2 '25)

Integrating Attack-Fault Trees in the ODE Metamodel for Security and Safety Co-Analysis in the Automotive Domain (Jul 2025)
Victor Luiz Grechi , André Luiz de Oliveira , Barbara Gallina, Leonardo Montecchi , Rosana Teresinha Vaccare Braga
49th IEEE International Conference on Computers, Software, and Applications ( COMPSAC-2025)

DAT (Dec 2024)
Ali Asghar Sharifi, Ali Zoljodi , Masoud Daneshtalab
Sensors (MDPI Sensors)

TrajectoryNAS (Sep 2024)
Ali Asghar Sharifi, Ali Zoljodi , Masoud Daneshtalab
Sensors (SENSC9)

Contrastive Learning for Lane Detection via cross-similarity (Sep 2024)
Ali Zoljodi , Sadegh Abadijou , Mina Alibeigi , Masoud Daneshtalab
Pattern Recognition (PR)

Towards an Ontology for Process Compliance with the (Machinery) Legislations (Aug 2024)
Barbara Gallina, Gergő László Steierhoffer , Thomas Young Olesen , Eszter Parajdi , Mike Aarup
Journal of Software: Evolution and Process - EuroSPI Special Issue -2024 (JSEP-EuroSPI-SI)

Barbara Gallina, Associate Professor

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