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.
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)
A Barbell Strategy-oriented Regulatory Framework and Compliance Management (Sep 2020) Barbara Gallina 27th European & Asian System, Software & Service Process Improvement & Innovation (EuroAsiaSP2 '20)
Separation of Concerns in Process Compliance Checking: Divide-and-Conquer (Sep 2020) Julieth Patricia Castellanos Ardila, Barbara Gallina 27th European & Asian System, Software & Service Process Improvement & Innovation (EuroAsiaSP2 '20)
Julieth Patricia Castellanos Ardila
Soheila Sheikh Bahaei
Carmen Carlan (former)
Damir Nesic (former)
Irfan Sljivo (former)
Moses Mariajoseph (former)
Sami Alajrami (former)
Simin Cai