Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 125 (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

Collection (Editor) (1)

Special section on IST for ISSRE 2019 (Aug 2020)
Barbara Gallina, Michel Michel Cukier
Information and Software Technology (IST)

Journal article (14)

Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Jul 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Software and Systems Modeling (SoSym)

Guiding assurance of architectural design patterns for critical applications (Mar 2020)
Irfan Sljivo, Garazi Juez Uriagereka , Stefano Puri , Barbara Gallina
Journal of Systems Architecture, 2020, 110(101765) (JSA, 110(101765))

Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems (Mar 2020)
Robert Bramberger, Helmut Martin, Barbara Gallina, Christoph Schmittner
ACM SIGAda-Ada-Letters-39-II (AdaLetters39-II)

Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems (Jan 2020)
Robert Bramberger, Helmut Martin, Barbara Gallina, Christoph Schmittner
Ada User Journal 40 (4) (AUJ-40 (4))

Facilitating Automated Compliance Checking of Processes in the Safety-critical Context (Dec 2019)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Electronic Communications of the EASST (ECEASST)

Quantitative Evaluation of Tailoring within SPICE-compliant Security-informed Safety-oriented Process Lines (Aug 2019)
Barbara Gallina
Journal of Software: Evolution and Process - EuroSPI Special Issue (JSEP-EuroSPI-SI)

Opportunities for Software Reuse in an Uncertain World: From Past to Emerging Trends (Aug 2019)
Rafael Capilla , Barbara Gallina, Carlos Cetina , John Favaro
JSEP-ICSR'18-Special Issue (JSEP-ICSR'18-SI)

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

Data Aggregation Processes: A Survey, A Taxonomy, and Design Guidelines (Nov 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Computing (Computing.)

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

Making SafeConcert Security-informed to Enable Multi-concern Modelling (Nov 2020)
Barbara Gallina, Zulqarnain Haider
30th European Safety and Reliability Conference (ESREL-2020)

Enhancing State-of-the-art Safety Case Patterns to Support Change Impact Analysis (Nov 2020)
Carmen Carlan , Barbara Gallina
30th European Safety and Reliability Conference (ESREL-2020)

Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products (Oct 2020)
Carmen Carlan , Daniel Petrisor , Barbara Gallina, Hannes Schoenhaar
10th IEEE International Workshop on Software Certification (WoSoCER-2020)

A Barbell Strategy-oriented Regulatory Framework and Compliance Management (Sep 2020)
Barbara Gallina
27th European & Asian System, Software & Service Process Improvement & Innovation (EuroAsiaSP2 '20)

Separation of Concerns in Process Compliance Checking: Divide-and-Conquer (Sep 2020)
Julieth Patricia Castellanos Ardila, Barbara Gallina
27th European & Asian System, Software & Service Process Improvement & Innovation (EuroAsiaSP2 '20)

A Personal Opinion Survey on Process-based Compliance Checking in the Safety Context (Sep 2020)
Julieth Patricia Castellanos Ardila, Barbara Gallina
13th International Conference on the Quality of Information and Communications Technology- Track: Process Modeling, Improvement and Assessment (QUATIC-2020)

Process Compliance Re-Certification Efficiency Enabled by EPF-C ° BVR-T (Sep 2020)
Barbara Gallina, Aleksandër Pulla, Antonela Bregu, Julieth Patricia Castellanos Ardila
13th International Conference on the Quality of Information and Communications Technology- Track: Process Modeling, Improvement and Assessment (QUATIC-2020)

A Physiology-based Driver Readiness Estimation Model for Tuning ISO 26262 Controllability (May 2020)
Moses Mariajoseph, Barbara Gallina, Marco Carli , Daniele Bibbo
3rd International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE-2020)

The AMASS Tool Platform: An Innovative Solution for Assurance and Certification of Cyber-Physical Systems (Mar 2020)
Jose Luis de la Vara , Eugenio Parra Corredor , Alejandra Ruiz Lopez , Barbara Gallina
26th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ-2020)

AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems (Nov 2019)
Jose Luis de la Vara , Eugenio Parra Corredor , Alejandra Ruiz Lopez , Barbara Gallina
20th International Conference on Product-Focused Software Process Improvement (PROFES-2019)

Effect of Augmented Reality on Faults Leading to Human Failures in Socio-technical Systems (Nov 2019)
Soheila Sheikh Bahaei, Barbara Gallina, Karin Laumann , Martin Rasmussen
4th International Conference on System Reliability and Safety (ICSRS-2019)

Extending SafeConcert for Modelling Augmented Reality-equipped Socio-technical Systems (Nov 2019)
Soheila Sheikh Bahaei, Barbara Gallina
4th International Conference on System Reliability and Safety (ICSRS-2019)

Towards Assessing Risk of Reality Augmented Safety-critical Socio-technical Systems (Oct 2019)
Soheila Sheikh Bahaei, Barbara Gallina
6th International Symposium on Model-Based Safety and Assessment (IMBSA -2019)

Augmented Reality-extended Humans: Towards a Taxonomy of Failures – Focus on Visual Technologies (Sep 2019)
Soheila Sheikh Bahaei, Barbara Gallina
29th European Safety and Reliability Conference (ESREL-2019)

Statistical Model Checking for Real-Time Database Management Systems: A Case Study (Sep 2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
The 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA2019)

Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262 (Jun 2019)
Barbara Gallina, Muhammad Atif Javed, Helmut Martin, Robert Bramberger
24th International Conference on Reliable Software Technologies (Ada-Europe-2019)

A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process (Jun 2019)
Faiz Ul Muram, Barbara Gallina, Samina Kanwal
3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSS-Rail-2019)

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)

The AMASS Approach for Assurance and Certification of Critical Systems (Feb 2019)
Jose Luis de la Vara , Alejandra Ruiz Lopez , Barbara Gallina, Gaël Blondelle , Elena Alaña , Javier Herrero , Fredrik Warg , Martin Skoglund , Robert Bramberger
embedded world 2019 (ewC-2019)

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

Preventing Omission of Key Evidence Fallacy in Process-based Argumentations (Dec 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)

Specification and Formal Verification of Atomic Concurrent Real-Time Transactions (Dec 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
The 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 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)

Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems (Nov 2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 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)

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 )

Items per page: