Barbara Gallina
Barbara Gallina
Associate Professor of Dependable Software Engineering, Mälardalen University (MDH)
Verified email at mdh.se
TitleCited byYear
A model-driven safety certification method for process compliance
B Gallina
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
422014
Industrial experiences of building a safety case in compliance with iso 26262
R Dardar, B Gallina, A Johnsen, K Lundqvist, M Nyberg
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
342012
Towards a safety-oriented process line for enabling reuse in safety critical systems development and certification
B Gallina, I Sljivo, O Jaradat
2012 35th Annual IEEE Software Engineering Workshop, 148-157, 2012
312012
Modeling a safety-and automotive-oriented process line to enable reuse and flexible process derivation
B Gallina, S Kashiyarandi, H Martin, R Bramberger
2014 IEEE 38th International Computer Software and Applications Conference …, 2014
302014
Generation of safety case argument-fragments from safety contracts
I Sljivo, B Gallina, J Carlson, H Hansson
International Conference on Computer Safety, Reliability, and Security, 170-185, 2014
242014
S-tunexspem: Towards an extension of spem 2.0 to model and exchange tunable safety-oriented processes
B Gallina, KR Pitchai, K Lundqvist
Software Engineering Research, Management and Applications, 215-230, 2014
222014
A model-driven dependability analysis method for component-based architectures
B Gallina, MA Javed, FU Muram, S Punnekkat
2012 38th Euromicro Conference on Software Engineering and Advanced …, 2012
202012
FI4FA: A formalism for incompletion, inconsistency, interference and impermanence failures' analysis
B Gallina, S Punnekkat
2011 37th EUROMICRO Conference on Software Engineering and Advanced …, 2011
202011
Enabling cross-domain reuse of tool qualification certification artefacts
B Gallina, S Kashiyarandi, K Zugsbratl, A Geven
International Conference on Computer Safety, Reliability, and Security, 255-266, 2014
162014
Strong and weak contract formalism for third-party component reuse
I Sljivo, B Gallina, J Carlson, H Hansson
2013 IEEE International Symposium on Software Reliability Engineering …, 2013
162013
Towards safety risk assessment of socio-technical systems via failure logic analysis
B Gallina, E Sefer, A Refsdal
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
152014
VROOM & cC: a method to build safety cases for ISO 26262-compliant product lines
B Gallina, A Gallucci, K Lundqvist, M Nyberg
152013
A method to generate reusable safety case fragments from compositional safety analysis
I Sljivo, B Gallina, J Carlson, H Hansson, S Puri
International Conference on Software Reuse, 253-268, 2015
132015
A method to generate reusable safety case argument-fragments from compositional safety analysis
I Šljivo, B Gallina, J Carlson, H Hansson, S Puri
Journal of Systems and Software 131, 570-590, 2017
102017
Deriving verification-related means of compliance for a model-based testing process
B Gallina, A Andrews
2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-6, 2016
102016
Reconciling the ISO 26262-compliant and the Agile Documentation Management in the Swedish Context
B Gallina, M Nyberg
102015
PRISMA: a software product line-oriented process for the requirements engineering of flexible transaction models
B Gallina
University of Luxembourg, Luxembourg, Luxembourg, 2010
102010
Exe-spem: Towards cloud-based executable software process models
S Alajrami, B Gallina, A Romanovsky
2016 4th International Conference on Model-Driven Engineering and Software …, 2016
92016
Ontology-based identification of commonalities and variabilities among safety processes
B Gallina, Z Szatmári
International Conference on Product-Focused Software Process Improvement …, 2015
92015
Towards enabling reuse in the context of safety-critical product lines
B Gallina
Proceedings of the Fifth International Workshop on Product LinE Approaches …, 2015
92015
The system can't perform the operation now. Try again later.
Articles 1–20