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.
Affiliation: Mälardalen University
Personal website: http://www.es.mdh.se/staff/308-Barbara_Gallina
Research interests: Dependability (focus on Safety and Security), Certification, Compliance Management, Reuse
|MODELS 2020||Author of Specification and Automated Verification of Atomic Concurrent Real-Time Transactions within the Technical Track-track|