| A model-driven safety certification method for process compliance B Gallina 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 47 | 2014 |
| 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 | 41 | 2012 |
| 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 | 39 | 2012 |
| 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 | 35 | 2014 |
| 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 | 28 | 2014 |
| 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 | 27 | 2012 |
| 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 | 25 | 2014 |
| 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 | 22 | 2014 |
| 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 | 21 | 2011 |
| 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 | 20 | 2013 |
| VROOM & cC: a method to build safety cases for ISO 26262-compliant product lines B Gallina, A Gallucci, K Lundqvist, M Nyberg SAFECOMP 2013-Workshop SASSUR (Next Generation of System Assurance …, 2013 | 20 | 2013 |
| 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 | 19 | 2017 |
| Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool MA Javed, B Gallina Proceedings of the 22nd International Systems and Software Product Line …, 2018 | 18 | 2018 |
| 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 | 18 | 2014 |
| Architecture-driven, multi-concern and seamless assurance and certification of cyber-physical systems A Ruiz, B Gallina, JL de la Vara, S Mazzini, H Espinoza International Conference on Computer Safety, Reliability, and Security, 311-321, 2016 | 16 | 2016 |
| 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 | 16 | 2015 |
| Enabling compliance checking against safety standards from SPEM 2.0 process models JPC Ardila, B Gallina, FUL Muram 2018 44th Euromicro Conference on Software Engineering and Advanced …, 2018 | 15 | 2018 |
| Towards increased efficiency and confidence in process compliance JPC Ardila, B Gallina European Conference on Software Process Improvement, 162-174, 2017 | 15 | 2017 |
| Get EPF Composer back to the future: A trip from Galileo to Photon after 11 years MA Javed, B Gallina | 14 | 2018 |
| PRISMA: a software product line-oriented process for the requirements engineering of flexible transaction models B Gallina University of Luxembourg, Luxembourg, Luxembourg, 2010 | 14 | 2010 |
Irfan ŠljivoKBR / NASA Ames Research CenterVerified email at nasa.gov
