Barbara Gallina

Registered user since Mon 14 Sep 2020

Name: Barbara Gallina

Bio: Barbara Gallina is Associate Professor of Dependable Software Engineering at Mälardalen University, where she leads the Certifiable Evidences and Justification Engineering group. Within EU funded projects, she played various roles: technical manager at the global level, work package leader, task leader, and land coordinator. She regularly serves in several program committees related to dependability such as ISSRE, SafeComp, EDCC, LADC, COMPSAC-SEPT, AdaEurope, RSS-Rail, and PRDC. Dr. Gallina is the author of over 100 articles in the area of dependable software engineering and certification. Dr. Gallina’s Ph.D. thesis contributed to the requirements identification, specification and machine-supported analysis of transaction-based systems.

Country: Sweden

Affiliation: Mälardalen University

Personal website:

Research interests: Dependability (focus on Safety and Security), Certification, Compliance Management, Reuse


MODELS 2020Author of Specification and Automated Verification of Atomic Concurrent Real-Time Transactions within the Technical Track-track