Barbara Gallina, Associate Professor


Barbara Gallina is Associate Professor of Dependable Software Engineering at Mälardalen University. Currently, she is Vice-chair of the security subgroup within EWICS and  member of IEEE SMC Technical Committee on Homeland Security (TCHS). Within AMASS, a large EU-ECSEL funded project, she is playing various roles: technical manager at the global level, work package leader, task leader, and land coordinator. She was also the leader of the dependability-related work packages in the EU-Artemis funded SafeCer and CONCERTO projects. She has been visiting researcher at Scania AB, via the SSF-SM14-0013 grant. She has been member of several program committees related to dependability such as SAFECOMP, ISSRE, EDCC, COMPSAC, LADC, RSSRail, ICSRS, AdaEurope, QUORS, WoSoCER, SASSUR, ReSACI, ISSA, ASCS, DeCPS. She has also been member of program committees related to reuse such as ICSR and VaMoS.

She got a M.Sc. in Computer Engineering and a II-level Master in IT, both from Politecnico di Milano (Italy). She got her PhD in Computer Science from the University of Luxembourg (Luxembourg). 

Barbara Gallina' research interests focus on various aspects of dependable (software) systems engineering and certification. More specifically, she is interested in developing languages, methods, and processes for: 1) modelling, analysis, justification and certification of complex (computer-based) systems, 2) systematic reuse of certification artifacts (product, process, assurance case-related evidence), 3) multi-concern assurance, 4) continuous certification via tool integration, 5) compliance management 6) certification-related evidence engineering (immediate, direct, and indirect) 7) safety culture.

[Show all publications]

[Google Scholar author page]

Latest publications:

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))

The AMASS Approach for Assurance and Certification of Critical Systems (Feb 2019)
Jose Luis de la Vara , Alejandra Ruiz Lopez , Barbara Gallina, Gaël Blondelle , Elena Alaña , Javier Herrero , Fredrik Warg , Martin Skoglund , Robert Bramberger
embedded world 2019 (ewC-2019)

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)

PhD students supervised as main supervisor:

Julieth Patricia Castellanos Ardila
Soheila Sheikh Bahaei

PhD students supervised as assistant supervisor:

Irfan Sljivo (former)
Sami Alajrami (former)
Simin Cai