Registered user since Mon 14 Sep 2020
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.
|MODELS 2020||Specification and Automated Verification of Atomic Concurrent Real-Time Transactions|
|Show activities from other conferences|
View general profile