Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 83 (showing 1 - 50)

Book (1)

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

Book chapter (1)

Reusing Transaction Models for Dependable Cloud Computing (Jan 2012)
Barbara Gallina, Nicolas Guelfi
Software Reuse in the Emerging Cloud Computing Era

Journal article (5)

Tool-Supported Design of Data Aggregation Processes in Cloud Monitoring Systems (Jan 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
Journal of Ambient Intelligence and Humanized Computing (JAIHC)

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)

A Method to Generate Reusable Safety Case Argument-Fragments from Compositional Safety Analysis (Jul 2016)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
Journal of Systems and Software: Special Issue on Software Reuse (SR-JSS 2016)

Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards (Dec 2015)
Barbara Gallina, Luciana Provenzano
Ada User Journal 36 (4) (AUJ- 36 (4))

Conference/Workshop Paper (66)

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)

Preventing Omission of Key Evidence Fallacy in Process-based Argumentations (Sep 2018)
Faiz UL Muram , Barbara Gallina, Laura Gomez Rodriguez
11th International Conference on the Quality of Information and Communications Technology (QUATIC-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)

Compliance of Agilized (Software) Development Processes with Safety Standards: a Vision (Jul 2018)
Barbara Gallina, Faiz UL Muram , Julieth Patricia Castellanos Ardila
4th international workshop on Agile Development of Safety-Critical Software (ASCS-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 )

Bridging the Gap between Testing and Safety Certification (Mar 2018)
Aiman Gannous , Anneliese Andrews , Barbara Gallina
39th Aerospace Conference (AC-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)

Customized Real-Time Data Management for Automotive Systems: A Case Study (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 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)

DAGGTAX: A Taxonomy of Data Aggregation Processes (Oct 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
7th International Conference on Model and Data Engineering (MEDI 2017)

Modeling Product-Line Legacy Assets Using Multi-Level Theory (Sep 2017)
Damir Nesic , Mattias Nyberg , Barbara Gallina
5th International Workshop on Reverse Variability Engineering (REVE-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)

Design of Cloud Monitoring Systems via DAGGTAX: a Case Study (May 2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 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)

A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation (Oct 2016)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
24th International Conference on Real-Time Networks and Systems (RTNS'16)

Towards Cloud-Based Enactment of Safety-Related Processes (Sep 2016)
Sami Alajrami , Barbara Gallina, Irfan Sljivo, Alexander Romanovsky , Petter Isberg
35th International Conference on Computer Safety, Reliability and Security (SafeComp2016)

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)

Deriving Safety Case Fragments for Assessing MBASafe’s Compliance with EN 50128 (Jun 2016)
Barbara Gallina, Elena Gómez-Martínez , Clara Benac Earle
16th International SPICE Conference on Process Improvement and Capability dEtermination (SPICE-2016)

Towards the Verification of Temporal Data Consistency in Real-Time Data Management (Apr 2016)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Second International Workshop on modeling, analysis and control of complex Cyber-Physical Systems (CPS Data 2016)

EXE-SPEM: Towards Cloud-Based Executable Software Process Models (Feb 2016)
Sami Alajrami , Barbara Gallina, Alexander Romanovsky
4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2016)

Ontology-based Identification of Commonalities and Variabilities among Safety Processes (Dec 2015)
Barbara Gallina, Zoltan Szatmari
16 th International Conference on Product-Focused Software Process Improvement (PROFES-2015)

Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262 (Nov 2015)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015)

Benefits of Security-informed Safety-oriented Process Line Engineering (Sep 2015)
Barbara Gallina, Laurent Fabre
Digital Avionics Systems Conference (DASC-34)

Reconciling the ISO 26262-compliant and the Agile Documentation Management in the Swedish Context (Sep 2015)
Barbara Gallina, Mattias Nyberg
Third Workshop on Critical Automotive applications: Robustness & Safety (CARS-2015)

Trading-off Data Consistency for Timeliness in Real-Time Database Systems (Jul 2015)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
27th Euromicro Conference on Real-Time Systems Work-in-Progress (WiP) session (ECRTS'15 (WiP))

Items per page: