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 played 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:

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)

Towards Explainable, Compliant and Adaptive Human-Automation Interaction (Dec 2020)
Barbara Gallina, Görkem Pacaci , David Johnson , Steve McKeever , Andreas Hamfelt , Stefania Costantini , Pierangelo Dell'Acqua , Gloria-Cerasela Crisan
3rd The EXplainable & Responsible AI in Law Workshop (XAILA-2020)

Making SafeConcert Security-informed to Enable Multi-concern Modelling (Nov 2020)
Barbara Gallina, Zulqarnain Haider
30th European Safety and Reliability Conference (ESREL-2020)

Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis (Nov 2020)
Carmen Carlan , Barbara Gallina
30th European Safety and Reliability Conference (ESREL-2020)

Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Oct 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)

Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products (Oct 2020)
Carmen Carlan , Daniel Petrisor , Barbara Gallina, Hannes Schoenhaar
10th IEEE International Workshop on Software Certification (WoSoCER-2020)

PhD students supervised as main supervisor:

Julieth Patricia Castellanos Ardila
Soheila Sheikh Bahaei

PhD students supervised as assistant supervisor:

Carmen Carlan (former)
Damir Nesic (former)
Irfan Sljivo (former)
Moses Mariajoseph (former)
Sami Alajrami (former)
Simin Cai (former)