Barbara Gallina

44 papers and 154 indexed citations i.

Barbara Gallina has authored 44 papers that have received a total of 154 indexed citations. This includes 25 papers in Safety, Risk, Reliability and Quality, 21 papers in Software and 13 papers in Information Systems. The topics of these papers are Safety Systems Engineering in Autonomy (25 papers), Software Reliability and Analysis Research (20 papers) and Formal Methods in Verification (9 papers). Barbara Gallina is often cited by papers focused on Safety Systems Engineering in Autonomy (25 papers), Software Reliability and Analysis Research (20 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in Sweden, Spain and Italy. Barbara Gallina's co-authors include Cristina Seceleanu, Mattias Nyberg, Dag Nyström, Jan Carlson and Anneliese Andrews and has published in prestigious journals such as Reliability Engineering & System Safety, Safety Science and Lecture notes in computer science