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:

Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262 (Jun 2019)
Barbara Gallina, Muhammad Atif Javed, Helmut Martin, Robert Bramberger
24th International Conference on Reliable Software Technologies (Ada-Europe-2019)

A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process (Jun 2019)
Faiz UL Muram , Barbara Gallina, Samina Kanwal
3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSS-Rail-2019)

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)

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