Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 144 (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 Cukier
Information and Software Technology (IST)

Journal article (20)

Multi-concern Dependability-centered Assurance via Qualitative and Quantitative Co-analysis (Apr 2022)
Barbara Gallina, Leonardo Montecchi , André Luiz de Oliveira , Lucas Paiva Bressan
IEEE Softw. SI (IEEE Softw. SI)

Compliance Checking of Software Processes: A Systematic Literature Review (Mar 2022)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Journal of Software: Evolution and Process (JSEP)

A Case Study for Risk Assessment in AR-equipped Socio-technical Systems (Jul 2021)
Soheila Sheikh Bahaei, Barbara Gallina, Marko Vidović
Journal of Systems Architecture (JSA, 114)

Compliance-aware Engineering Process Plans: The case of Space Software Engineering Processes (Mar 2021)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori
Artificial Intelligence and Law (AIL)

A Probabilistic Model of Belief in Safety Cases (Feb 2021)
Damir Nesic , Mattias Nyberg , Barbara Gallina
Safety Science Elsevier Journal-2021 (SSJ-2021)

Product-Line Assurance Cases from Contract-Based Design (Feb 2021)
Damir Nesic , Mattias Nyberg , Barbara Gallina
Journal of Systems and Software-2021 (JSS-2021)

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, 2021 (JSA)

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

Automating Safety Argument Change Impact Analysis for Machine Learning Components (Dec 2022)
Carmen Carlan , Lydia Gauerhof , Barbara Gallina, Simon Burton
27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC-2022)

Design-time Specification of Dynamic Modular Safety Cases In Support of Run-Time Safety Assessment (Feb 2022)
Elham Mirzaei , Carmen Carlan , Carsten Thomas , Barbara Gallina
Safety-Critical Systems Symposium (SSS-2022)

Towards Qualitative and Quantitative Dependability Analyses for AR-equipped Socio-technical Systems (Nov 2021)
Soheila Sheikh Bahaei, Barbara Gallina
6th International Conference on System Reliability and Safety (ICSRS-2022)

A Plan for a 21st Century-oriented Transformative Educational Change for Anti-fragilizing Future (Safety) Engineers (Oct 2021)
Barbara Gallina
8:e Utvecklingskonferensen för Sveriges Ingenjörsutbildningar (USIU-2021)

A Metamodel Extension to Capture Post Normal Accidents in AR-equipped Socio-technical Systems (Sep 2021)
Soheila Sheikh Bahaei, Barbara Gallina
31st European Safety and Reliability Conference (ESREL-2021)

Safety Case Maintenance: A Systematic Literature Review (Aug 2021)
Carmen Carlan , Barbara Gallina, Liana Soima
40th International Conference on Computer Safety, Reliability and Security (SAFECOMP-2021)

A Case Study for Risk Assessment in AR-equipped Socio-technical Systems (Jun 2021)
Soheila Sheikh Bahaei, Barbara Gallina, Marko Vidović
25th International Conference on Reliable Software Technologies -Ada-Europe (AEiC-2021)

On-line Meetings for Educating the Minds of Future Safety Engineers during the COVID Pandemic: An Experience Report (Apr 2021)
Barbara Gallina
13th International Conference on Computer Supported Education (CSEDU-2021)

Reusing (Safety-oriented) Compliance Artifacts while Recertifying (Feb 2021)
Julieth Patricia Castellanos Ardila, Barbara Gallina
9th International Conference on Model-driven Engineering and Software Development (MODELSWARD 2021)

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

Towards Explainable, Compliant and Adaptive Human-Automation Interaction (Dec 2020)
Barbara Gallina, Görkem Pacaci , David Johnson , Steve McKeever , Andreas Hamfelt , Stefania Costantini , Pierangelo Dell'Acqua , Gloria-Cerasela Crisan
3rd The EXplainable & Responsible AI in Law Workshop (XAILA-2020)

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)

Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Oct 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)

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

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

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)

Items per page: