Publications

Type: Date:
Scope:
Author:

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

Doctoral Thesis (3)

Organizational Changes-aware Safety-centered Risk Assessment in Augmented Reality-equipped Socio-technical Systems (Feb 2023)
Soheila Sheikh Bahaei

A Safety-centered Planning-time Framework for Automated Process Compliance Checking (Oct 2021)
Julieth Patricia Castellanos Ardila

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

Licentiate Thesis (2)

A Framework for Risk Assessment in Augmented Reality-equipped Socio-technical Systems (Aug 2020)
Soheila Sheikh Bahaei

Facilitating Automated Compliance Checking of Processes against Safety Standards
Julieth Patricia Castellanos Ardila

Collection (Editor) (1)

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

Journal article (19)

Assessing Risk of AR and Organizational Changes Factors in Socio-technical Robotic Manufacturing (Jan 2024)
Soheila Sheikh Bahaei, Barbara Gallina
Journal of Robotics and Computer-Integrated Manufacturing, Vol.88, 102731 (RCIM-2024)

A novel physiological-based system to assess drivers’ stress during earth moving simulated activities (Dec 2022)
Daniele Bibbo , Moses Mariajoseph, Barbara Gallina, Marco Carli
Artificial Intelligence (Section of Electronics) (AI-Electronics)

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

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)

Supporting automated containment checking of software behavioural models using model transformations and model checking (Apr 2019)
Faiz Ul Muram, Huy Tran , Uwe Zdun
Science of Computer Programming, Elsevier (SCICO)

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)

Conference/Workshop Paper (70)

Safety of the Intended Functionality: What about Mental Harm? (Apr 2024)
Barbara Gallina
8th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS-2024)

An Extension of the Rasmussen Socio-technical System for Continuous Safety Assurance (Apr 2024)
Barbara Gallina, Peter Munk , Markus Schweizer
8th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS-2024)

A Knowledge Management Strategy for Seamless Compliance with the Machinery Regulation (Sep 2023)
Barbara Gallina, Thomas Young Olesen , Eszter Parajdi , Mike Aarup
30th European & Asian System, Software & Service Process Improvement & Innovation (EuroAsiaSPI2-23)

Assurance of Software-Intensive Medical Devices: What About Mental Harm? (Jun 2023)
Jose Luis de la Vara , Barbara Gallina, Antonio Fernández-Caballero , Jose Pascual Molina , Arturo Simon García , Clara Ayora
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-2023)

Multiconcern, Dependability-Centered Assurance Via a Qualitative and Quantitative Co-analysis (Mar 2023)
Barbara Gallina, Leonardo Montecchi , André Luiz de Oliveira , Lucas Paiva Bressan
20TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2023)

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
5th 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 Framework for Risk Assessment in Augmented Reality-equipped Socio-technical Systems (Jun 2020)
Soheila Sheikh Bahaei
the 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 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)

Items per page: