Theo dõi
Barbara Gallina
Barbara Gallina
Associate Professor of Dependable Software Engineering, Mälardalen University (MDU)
Email được xác minh tại mdu.se
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
A model-driven safety certification method for process compliance
B Gallina
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
672014
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
532012
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
522019
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
482012
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
442012
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
382018
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
382014
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
372014
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
372014
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
372013
Data aggregation processes: a survey, a taxonomy, and design guidelines
S Cai, B Gallina, D Nyström, C Seceleanu
Computing 101, 1397-1429, 2019
352019
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
342017
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
322018
Guiding assurance of architectural design patterns for critical applications
I Šljivo, GJ Uriagereka, S Puri, B Gallina
Journal of Systems Architecture 110, 101765, 2020
312020
SafeConcert: A metamodel for a concerted safety modeling of socio-technical systems
L Montecchi, B Gallina
International Symposium on Model-Based Safety and Assessment, 129-144, 2017
312017
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
272018
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
272014
Enabling cross-domain reuse of tool qualification certification artefacts
B Gallina, S Kashiyarandi, K Zugsbratl, A Geven
Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS …, 2014
252014
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
242011
A probabilistic model of belief in safety cases
D Nešić, M Nyberg, B Gallina
Safety science 138, 105187, 2021
232021
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20