Write a Blog >>
Fri 16 - Fri 23 October 2020
Barbara Gallina

Registered user since Mon 14 Sep 2020

Name:Barbara Gallina

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.

Affiliation:Mälardalen University
Research interests:Dependability (focus on Safety and Security), Certification, Compliance Management, Reuse


MODELS 2020 Specification and Automated Verification of Atomic Concurrent Real-Time Transactions
Show activities from other conferences

MODELS 2020-profile
View general profile