Certifiable Evidences & Justification Engineering
Focus:
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions (Dec 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2018)
FLA2FT: Automatic generation of fault tree from ConcertoFLA results (Nov 2018) Zulqarnain Haider, Barbara Gallina, Enrique Zornoza Moreno 3rd International Conference on System Reliability and Safety (ICSRS-2018)
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems (Nov 2018) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
Compliance of Agilized (Software) Development Processes with Safety Standards: a Vision (Oct 2018) Barbara Gallina, Faiz UL Muram , Julieth Patricia Castellanos Ardila 4th international workshop on Agile Development of Safety-Critical Software (ASCS-2018)
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems (Oct 2018) Aiman Gannous , Anneliese Andrews , Barbara Gallina 8th IEEE International Workshop on Software Certification (WoSoCER-2018)
Transforming SPEM 2.0-compatible Process Models into Models Checkable for Compliance (Oct 2018) Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz UL Muram 18th International SPICE Conference (SPICE-2018)
Barbara Gallina, Associate Professor
Email: barbara.gallina@mdh.seRoom: U1-068
Phone: +46(0)21-101631