Publications

Type: Date:
Scope:
Author:

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

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 (4)

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 (55)

Towards Generating ECSS-compliant Fault Tree Analysis Results via ConcertoFLA (Nov 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))

Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards (Jun 2015)
Barbara Gallina, Luciana Provenzano
The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)

An Education-oriented ISO 26262 Interpretation Combined with Constructive Alignment (Jun 2015)
Barbara Gallina
1st International Workshop on Software Process Education, Training and Professionalism (SPETP-2015)

Towards Enabling Reuse in the Context of Safety-critical Product Lines (May 2015)
Barbara Gallina
5th International Workshop on Product LinE Approaches in Software Engineering (PLEASE-15)

A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis (Jan 2015)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
The 14th International Conference on Software Reuse (ICSR2015)

THRUST: a Method for Speeding up the Creation of Process-related Deliverables (Nov 2014)
Barbara Gallina, Kristina Lundqvist, Kristina Forsberg
Digital Avionics Systems Conference (DASC-33)

A Model-driven Safety Certification Method for Process Compliance (Nov 2014)
Barbara Gallina
2nd International Workshop on Assurance Cases for Software-intensive Systems, joint event of ISSRE 2014. (ASSURE 2014)

Towards Safety Risk Assessment of Socio-technical Systems via Failure Logic Analysis (Nov 2014)
Barbara Gallina, Edin Sefer, Atle Refsdal
2nd International Workshop on Risk Assessment and Risk-driven Testing (RISK 2014)

Enabling Cross-domain Reuse of Tool Qualification Certification Artefacts (Sep 2014)
Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbrati, Arjan Geven
1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems, SAFECOMP Workshop (DEVVARTS 2014)

Generation of Safety Case Argument-Fragments from Safety Contracts (Sep 2014)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
The 33rd International Conference on Computer Safety, Reliability and Security (SafeComp 2014)

Modeling a Safety- and Automotive-oriented Process Line to Enable Reuse and Flexible Process Derivation (Jul 2014)
Barbara Gallina, Shaghayegh Kashiyarandi, Helmut Martin, Robert Bramberger
8th IEEE International Workshop Quality-Oriented Reuse of Software (QUORS’14)

Strong and Weak Contract Formalism for Third-Party Component Reuse (Nov 2013)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
3rd International Workshop on Software Certification (WoSoCer 2013)

Elaboration of Safety Requirements (Oct 2013)
Kristina Forsberg, Eva Mårbring Isaksson , Barbara Gallina, Kristina Lundqvist, Achille Penna
32nd Digital Avionics Systems Conference (DASC 2013)

VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines (Sep 2013)
Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg
Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2013)

Items per page: