Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 47

Doctoral Thesis (1)

Assurance Aware Contract-Based Design for Safety-Critical Systems (Sep 2018)
Irfan Sljivo

Journal article (3)

ConcertoFLA-based Multi-concern Assurance for Space Systems (Mar 2019)
Zulqarnain Haider, Barbara Gallina, Anna Carlsson , Silvia Mazzini , Stefano Puri
Ada User Journal (AUJ-40 (1))

Enabling GSD Task Allocation via Cloud-based Software Processes (Oct 2017)
Sami Alajrami , Barbara Gallina, Alexander Romanovsky
International Journal of Networked and Distributed Computing 5(4)-2017 (IJNDC 5(4)-2017)

Promoting MBA in the Rail Sector by Deriving Process-related Evidence via MDSafeCer (Dec 2016)
Barbara Gallina, Elena Gómez-Martínez , Clara Benac Earle
Computer Standards & Interfaces -SPICE-2016 Special Issue (CSI SPICE-2016)

Conference/Workshop Paper (36)

Constructing Product-Line Safety Cases from Contract-Based Specifications (Apr 2019)
Damir Nesic , Mattias Nyberg , Barbara Gallina
The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)

Towards Variant Management and Change Impact Analysis in Safety-oriented Process-Product Lines (Apr 2019)
Muhammad Atif Javed, Barbara Gallina, Anna Carlsson
The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)

Lessons Learned while Formalizing ISO 26262 for Compliance Checking (Dec 2018)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori
2nd Workshop on TeReCom - Technologies for Regulatory Compliance (TeReCom-2018)

FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results (Nov 2018)
Zulqarnain Haider, Barbara Gallina, Enrique Zornoza Moreno
3rd International Conference on System Reliability and Safety (ICSRS-2018)

Compliance of Agilized (Software) Development Processes with Safety Standards: a Vision (Oct 2018)
Barbara Gallina, Faiz UL Muram , Julieth Patricia Castellanos Ardila
4th international workshop on Agile Development of Safety-Critical Software (ASCS-2018)

Preventing Omission of Key Evidence Fallacy in Process-based Argumentations (Oct 2018) -- Best Paper Award--
Faiz UL Muram , Barbara Gallina, Laura Gomez Rodriguez
11th International Conference on the Quality of Information and Communications Technology (QUATIC-2018)

Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems (Oct 2018)
Aiman Gannous , Anneliese Andrews , Barbara Gallina
8th IEEE International Workshop on Software Certification (WoSoCER-2018)

Transforming SPEM 2.0-compatible Process Models into Models Checkable for Compliance (Oct 2018)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz UL Muram
18th International SPICE Conference (SPICE-2018)

Safety-oriented Process Line Engineering via Seamless Integration between EPF Composer and BVR Tool (Sep 2018)
Muhammad Atif Javed, Barbara Gallina
22nd International Systems and Software Product Line Conference (SPLC 2018)

A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence (Sep 2018)
Lucas Paiva Bressan , André Luiz de Oliveira , Leonardo Montecchi , Barbara Gallina
14th European Dependable Computing Conference (EDCC-2018)

Towards Quantitative Evaluation of Reuse within Safety-oriented Process Lines (Sep 2018)
Barbara Gallina, Shankar Iyer
25th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroAsiaSPI2 '18)

Enabling Compliance Checking against Safety Standards from SPEM 2.0 Process Models (Aug 2018)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz UL Muram
The Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018)

Bridging the Gap between Testing and Safety Certification (Jun 2018)
Aiman Gannous , Anneliese Andrews , Barbara Gallina
39th Aerospace Conference (AC-2018)

Multi-concern Dependability-centered Assurance for Space Systems via ConcertoFLA (Jun 2018)
Barbara Gallina, Zulqarnain Haider, Anna Carlsson , Silvia Mazzini , Stefano Puri
23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation (Jun 2018)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )

On-Demand Automated Traceability Maintenance and Evolution (May 2018)
Muhammad Atif Javed, Faiz UL Muram , Uwe Zdun
17th International Conference on Software Reuse (ICSR-2018)

Cost-Aware Scheduling of Software Processes Execution in the Cloud (Jan 2018)
Sami Alajrami , Alexander Romanovsky , Barbara Gallina
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2018)

Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262 (Jan 2018)
Julieth Patricia Castellanos Ardila, Barbara Gallina
1st Workshop on Technologies for Regulatory Compliance co-located with the 30th International Conference on Legal Knowledge and Information Systems (JURIX 2017) (TeReCom-2017)

Towards Generating ECSS-compliant Fault Tree Analysis Results via ConcertoFLA (Dec 2017)
Barbara Gallina, Zulqarnain Haider, Anna Carlsson
2nd International Conference on Reliability Engineering (ICRE-2017)

Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards (Oct 2017)
Julieth Patricia Castellanos Ardila, Barbara Gallina
The 7th IEEE International Workshop on Software Certification (WoSoCer 2017)

Pioneering the Creation of ISO 26262-compliant OSLC-based Safety Cases (Oct 2017)
Barbara Gallina, Mattias Nyberg
The 7th IEEE International Workshop on Software Certification (WoSoCer 2017)

Arguing on Software-level Verification Techniques Appropriateness (Sep 2017)
Carmen Carlan , Barbara Gallina, Severin Kacianka , Ruth Breu
36th International Conference on Computer Safety, Reliability and Security (SAFECOMP-2017)

SafeConcert: a Metamodel for a Concerted Safety Modeling of Socio-Technical Systems (Sep 2017)
Leonardo Montecchi , Barbara Gallina
5th International Symposium on Model-Based Safety and Assessment (IMBSA-2017)

Assuring Degradation Cascades of Car Platoons via Contracts (Sep 2017)
Irfan Sljivo, Barbara Gallina, Bernhard Kaiser
6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR-2017)

Towards Increased Efficiency and Confidence in Process Compliance (Sep 2017)
Julieth Patricia Castellanos Ardila, Barbara Gallina
24th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroAsiaSPI2 '17)

Towards Systematic Compliance Evaluation Using Safety-oriented Process Lines and Evidence Mapping (Sep 2017)
Timo Varkoi , Timo Mäkinen , Barbara Gallina, Frank Cameron , Risto Nevalainen
24th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroAsiaSPI2 '17)

Evaluación de Requisitos de Seguridad con MBASafe conforme a la norma EN 50128 (Jul 2017)
Barbara Gallina, Elena Gómez-Martínez , Clara Benac Earle
XVII Jornadas de Programación y Lenguajes, part of SISTEDES 2017 (PROLE-2017)

Enabling GSD Task Allocation via Cloud-based Software Processes (Jun 2017)
Sami Alajrami , Barbara Gallina, Alexander Romanovsky
Software Engineering Research, Management and Applications (SERA-2017)

Deriving Verification-related Means of Compliance for a Model-based Testing Process (Dec 2016)
Barbara Gallina, Anneliese Andrews
35th Digital Avionics Systems Conference (DASC-2016)

Towards Tool-based Security-informed Safety Oriented Process Line Engineering (Nov 2016)
Inmaculada Ayala, Barbara Gallina
1st International workshop on Interplay of Security, Safety and System/Software Architecture (ISSA-2016)

Software Development in the Post-PC Era: Towards Software Development as a Service (Nov 2016)
Sami Alajrami , Alexander Romanovsky , Barbara Gallina
17th International Conference on Product-Focused Software Process Improvement (PROFES-2016)

Building Multiple-Viewpoint Assurance Cases Using Assumption/Guarantee Contracts (Nov 2016)
Irfan Sljivo, Barbara Gallina
1st International workshop on Interplay of Security, Safety and System/Software Architecture (ISSA-2016)

AMASS: Architecture-driven, Multi-concern, Seamless, Reuse-Oriented Assurance and Certification of CPSs (Sep 2016)
Alejandra Ruiz Lopez , Barbara Gallina, Jose Luis de la Vara , Silvia Mazzini , Huascar Espinoza Ortiz
5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR-2016)

Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-assessment (Sep 2016)
Barbara Gallina, Kathyayani Padira , Mattias Nyberg
10th International Conference on the Quality of Information and Communications Technology- Track: Quality Aspects in Safety Critical Systems (QUATIC-2016)

Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation (Sep 2016)
Barbara Gallina, Julieth Patricia Castellanos Ardila, Mattias Nyberg
4th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS-2016)

Configuration-aware Contracts (Sep 2016)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE2016)

Article, research overeview (1)

Get EPF Composer back to the future: A trip from Galileo to Photon after 11 years (Jun 2018)
Muhammad Atif Javed, Barbara Gallina
EclipseCon France2018 (EclipseCon)

Proceedings (Editor) (3)

Computer Safety, Reliability, and Security (Aug 2018)
Barbara Gallina, Amund Skavhaug , Erwin Schoitsch , Friedemann Bitsch
37th International Conference on Computer Safety, Reliability, & Security (SAFECOMP-2018)

Computer Safety, Reliability, and Security (Aug 2018)
Barbara Gallina, Amund Skavhaug , Friedemann Bitsch
37th International Conference on Computer Safety, Reliability, & Security (SAFECOMP-2018)

New Opportunities for Software Reuse (Apr 2018)
Rafael Capilla , Barbara Gallina, Carlos Cetina
17th International Conference on Software Reuse (ICSR 2018)

Other (3)

Reuse in (re) certification of systems (May 2018)
Barbara Gallina, Jabier Martinez
17th International Conference on Software Reuse (ICSR-2018)

Special section on: Reliability and Safety Certification of Software-Intensive Systems (Feb 2017)
Barbara Gallina, Roberto Natella
Reliability Engineering & System Safety-Volume-58-February-2017 (RE&SSvol158Feb17)

An EN5012x-compliant OSLC-based Safety Case Generator (Jun 2016)
Barbara Gallina, Mattias Nyberg
First International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSR-2016)

Items per page: