A model-driven safety certification method for process compliance B Gallina 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 61 | 2014 |
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 | 51 | 2012 |
Opportunities for software reuse in an uncertain world: From past to emerging trends R Capilla, B Gallina, C Cetina, J Favaro Journal of software: Evolution and process 31 (8), e2217, 2019 | 48 | 2019 |
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 | 48 | 2012 |
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 | 40 | 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 | 38 | 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 | 36 | 2014 |
Generation of safety case argument-fragments from safety contracts I Sljivo, B Gallina, J Carlson, H Hansson Computer Safety, Reliability, and Security: 33rd International Conference …, 2014 | 35 | 2014 |
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 | 35 | 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 | 33 | 2017 |
SafeConcert: A metamodel for a concerted safety modeling of socio-technical systems L Montecchi, B Gallina Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017 | 32 | 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 | 31 | 2018 |
Preventing omission of key evidence fallacy in process-based argumentations FUL Muram, B Gallina, LG Rodríguez 2018 11th International Conference on the Quality of Information and …, 2018 | 31 | 2018 |
Data aggregation processes: a survey, a taxonomy, and design guidelines S Cai, B Gallina, D Nyström, C Seceleanu Computing 101, 1397-1429, 2019 | 29 | 2019 |
Guiding assurance of architectural design patterns for critical applications I Šljivo, GJ Uriagereka, S Puri, B Gallina Journal of Systems Architecture 110, 101765, 2020 | 27 | 2020 |
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 |
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 | 24 | 2018 |
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 Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE …, 2016 | 24 | 2016 |
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 | 24 | 2011 |
Co-engineering of safety and security life cycles for engineering of automotive systems R Bramberger, H Martin, B Gallina, C Schmittner ACM SIGAda Ada Letters 39 (2), 41-48, 2020 | 23 | 2020 |