재정 지원 요구사항을 통해 공개된 자료 - Barbara Gallina자세히 알아보기
제공된 곳이 없음: 1
Safety of the Intended Functionality of External Human Interfaces: Gaps and Research Agenda
M Okada, B Gallina
2024 IEEE 48th Annual Computers, Software, and Applications Conference …, 2024
재정 지원 요구사항 정책: European Commission
제공된 곳이 있음: 38
A model-driven safety certification method for process compliance
B Gallina
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
재정 지원 요구사항 정책: European Commission
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
재정 지원 요구사항 정책: Research Council of Norway
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
재정 지원 요구사항 정책: European Commission
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
재정 지원 요구사항 정책: European Commission
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
재정 지원 요구사항 정책: European Commission
Compliance-aware engineering process plans: the case of space software engineering processes
JP Castellanos-Ardila, B Gallina, G Governatori
Artificial intelligence and law 29 (4), 587-627, 2021
재정 지원 요구사항 정책: Vinnova, Sweden
A probabilistic model of belief in safety cases
D Nešić, M Nyberg, B Gallina
Safety science 138, 105187, 2021
재정 지원 요구사항 정책: Knowledge Foundation, Sweden
Compliance checking of software processes: A systematic literature review
JP Castellanos Ardila, B Gallina, F Ul Muram
Journal of Software: Evolution and Process 34 (5), e2440, 2022
재정 지원 요구사항 정책: Vinnova, Sweden
The AMASS approach for assurance and certification of critical systems
JL de la Vara, A Ruiz, B Gallina, G Blondelle, E Alaña, J Herrero, F Warg, ...
Embedded World 2019, 2019
재정 지원 요구사항 정책: European Commission, Government of Spain
The AMASS Tool Platform: An Innovative Solution for Assurance and Certication of Cyber-Physical Systems.
JL De La Vara, E Parra, A Ruiz, B Gallina
REFSQ Workshops, 2020
재정 지원 요구사항 정책: European Commission, Government of Spain
Towards enabling reuse in the context of safety-critical product lines
B Gallina
2015 IEEE/ACM 5th International Workshop on Product Line Approaches in …, 2015
재정 지원 요구사항 정책: European Commission
Amass: a large-scale european project to improve the assurance and certification of cyber-physical systems
JL De la Vara, E Parra, A Ruiz, B Gallina
Product-Focused Software Process Improvement: 20th International Conference …, 2019
재정 지원 요구사항 정책: European Commission, Government of Spain
Effect of Augmented Reality on Faults Leading to Human Failures in Socio-technical Systems*
SS Bahaei, B Gallina, K Laumann, MR Skogstad
2019 4th International Conference on System Reliability and Safety (ICSRS …, 2019
재정 지원 요구사항 정책: European Commission
Augmented reality-extended humans: towards a taxonomy of failures–focus on visual technologies
SS Bahaei, B Gallina
European Safety and Reliability Conference (ESREL), 2019
재정 지원 요구사항 정책: European Commission
Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer
B Gallina, E Gómez-Martínez, C Benac-Earle
Computer Standards & Interfaces 54, 119-128, 2017
재정 지원 요구사항 정책: Government of Spain
A case study for risk assessment in AR-equipped socio-technical systems
SS Bahaei, B Gallina, M Vidović
Journal of Systems Architecture 119, 102250, 2021
재정 지원 요구사항 정책: European Commission, Knowledge Foundation, Sweden
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
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
Automating Safety Argument Change Impact Analysis for Machine Learning Components
C Cârlan, L Gauerhof, B Gallina, S Burton
2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing …, 2022
재정 지원 요구사항 정책: Knowledge Foundation, Sweden
Toward a systematic and safety evidence productive verification approach for safety-critical systems
A Gannous, A Andrews, B Gallina
2018 IEEE International Symposium on Software Reliability Engineering …, 2018
재정 지원 요구사항 정책: US National Science Foundation
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.