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

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)

Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems (Oct 2018)
Aiman Gannous , Anneliese Andrews , Barbara Gallina
8th IEEE International Workshop on Software Certification (WoSoCER-2018)

Transforming SPEM 2.0-compatible Process Models into Models Checkable for Compliance (Oct 2018)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz UL Muram
18th International SPICE Conference (SPICE-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