| 2025 | COMPSAC | Integrating Attack-Fault Trees in the ODE Metamodel to Support Safety and Security Co-Analysis in the Automotive Domain. | Victor Luiz Grechi, Andr Luz de Oliveira, Barbara Gallina, Leonardo Montecchi, Rosana T. Vaccare Braga |
| 2025 | EuroSPI | Regulatory Compliance-Aware System Change Management via an Ontology-Based Approach. | Barbara Gallina, Markus Schweizer, Henrik Dibowski |
| 2024 | COMPSAC | Safety of the Intended Functionality of External Human Interfaces: Gaps and Research Agenda. | Manabu Okada, Barbara Gallina |
| 2024 | ICSR | An Ontology-Based Representation for Shaping Product Evolution in Regulated Industries. | Barbara Gallina, Henrik Dibowski, Markus Schweizer |
| 2023 | DSN | Assurance of Software-Intensive Medical Devices: What About Mental Harm? | Jose Luis de la Vara, Barbara Gallina, Antonio Fernndez-Caballero, Jos Pascual Molina, Arturo S. Garca, Clara Ayora |
| 2023 | EuroSPI | A Knowledge Management Strategy for Seamless Compliance with the Machinery Regulation. | Barbara Gallina, Thomas Young Olesen, Eszter Parajdi, Mike Aarup |
| 2022 | PRDC | Automating Safety Argument Change Impact Analysis for Machine Learning Components. | Carmen Crlan, Lydia Gauerhof, Barbara Gallina, Simon Burton |
| 2021 | CSEDU | On-line Meetings for Educating the Minds of Future Safety Engineers during the COVID Pandemic: An Experience Report. | Barbara Gallina |
| 2021 | MODELSWARD | Reusing (Safety-oriented) Compliance Artifacts while Recertifying. | Julieth Patricia Castellanos Ardila, Barbara Gallina |
| 2021 | SAFECOMP | Safety Case Maintenance: A Systematic Literature Review. | Carmen Crlan, Barbara Gallina, Liana Soima |
| 2020 | EuroSPI | Separation of Concerns in Process Compliance Checking: Divide-and-Conquer. | Julieth Patricia Castellanos Ardila, Barbara Gallina |
| 2020 | EuroSPI | A Barbell Strategy-oriented Regulatory Framework and Compliance Management. | Barbara Gallina |
| 2020 | ISSRE | Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. | Carmen Crlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar |
| 2020 | JURIX | Towards Explainable, Compliant and Adaptive Human-Automation Interaction. | Barbara Gallina, Grkem Paaci, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua, Gloria Cerasela Crisan |
| 2020 | QUATIC | A Personal Opinion Survey on Process Compliance Checking in the Safety Context. | Julieth Patricia Castellanos Ardila, Barbara Gallina |
| 2020 | QUATIC | Process Compliance Re-Certification Efficiency Enabled by EPF-C $\circ $ BVR-T: A Case Study. | Barbara Gallina, Aleksandr Pulla, Antonela Bregu, Julieth Patricia Castellanos Ardila |
| 2020 | VTC | A Physiology-based Driver Readiness Estimation Model for Tuning ISO 26262 Controllability. | Moses Mariajoseph, Barbara Gallina, Marco Carli, Daniele Bibbo |
| 2020 | REFSQ | The AMASS Tool Platform: An Innovative Solution for Assurance and Certication of Cyber-Physical Systems. | Jose Luis de la Vara, Eugenio Parra, Alejandra Ruiz, Barbara Gallina |
| 2019 | ETFA | Statistical Model Checking for Real-Time Database Management Systems: A Case Study. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2019 | PROFES | AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems. | Jose Luis de la Vara, Eugenio Parra, Alejandra Ruiz, Barbara Gallina |
| 2019 | SAC | Towards variant management and change impact analysis in safety-oriented process-product lines. | Muhammad Atif Javed, Barbara Gallina, Anna Carlsson |
| 2019 | SAC | Constructing product-line safety cases from contract-based specifications. | Damir Nesic, Mattias Nyberg, Barbara Gallina |
| 2018 | EDCC | A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. | Lucas Bressan, Andr Luz de Oliveira, Leonardo Montecchi, Barbara Gallina |
| 2018 | EuroSPI | Towards Quantitative Evaluation of Reuse Within Safety-Oriented Process Lines. | Barbara Gallina, Shankar Iyer |
| 2018 | ISoLA | Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2018 | ISSRE | Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems. | Aiman Gannous, Anneliese Andrews, Barbara Gallina |
| 2018 | JURIX | Lessons Learned while Formalizing ISO 26262 for Compliance Checking. | Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori |
| 2018 | MODELSWARD | Cost-aware Scheduling of Software Processes Execution in the Cloud. | Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina |
| 2018 | PRDC | Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2018 | QUATIC | Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations. | Faiz Ul Muram, Barbara Gallina, Laura Gomez Rodriguez |
| 2018 | SPLC | Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool. | Muhammad Atif Javed, Barbara Gallina |
| 2017 | ANT | Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu, Alf Larsson |
| 2017 | EuroSPI | Towards Increased Efficiency and Confidence in Process Compliance. | Julieth Patricia Castellanos Ardila, Barbara Gallina |
| 2017 | EuroSPI | Towards Systematic Compliance Evaluation Using Safety-Oriented Process Lines and Evidence Mapping. | Timo Varkoi, Timo Mkinen, Barbara Gallina, Frank Cameron, Risto Nevalainen |
| 2017 | IECON | Customized real-time data management for automotive systems: A case study. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2017 | ISSRE | Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards. | Julieth Patricia Castellanos Ardila, Barbara Gallina |
| 2017 | ISSRE | Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases. | Barbara Gallina, Mattias Nyberg |
| 2017 | JURIX | Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262. | Julieth Patricia Castellanos Ardila, Barbara Gallina |
| 2017 | MEDI | DAGGTAX: A Taxonomy of Data Aggregation Processes. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2017 | SAFECOMP | Arguing on Software-Level Verification Techniques Appropriateness. | Carmen Crlan, Barbara Gallina, Severin Kacianka, Ruth Breu |
| 2017 | SAFECOMP | Assuring Degradation Cascades of Car Platoons via Contracts. | Irfan Sljivo, Barbara Gallina, Bernhard Kaiser |
| 2017 | SERA | Enabling GSD Task Allocation via Cloud-Based Software Processes. | Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky |
| 2017 | SPLC | Modeling Product-Line Legacy Assets using Multi-Level Theory. | Damir Nesic, Mattias Nyberg, Barbara Gallina |
| 2016 | ECSA | Towards tool-based security-informed safety oriented process line engineering. | Inmaculada Ayala, Barbara Gallina |
| 2016 | ECSA | Building multiple-viewpoint assurance cases using assumption/guarantee contracts. | Irfan Sljivo, Barbara Gallina |
| 2016 | MODELSWARD | EXE-SPEM: Towards Cloud-based Executable Software Process Models. | Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky |
| 2016 | PROFES | Software Development in the Post-PC Era: Towards Software Development as a Service. | Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina |
| 2016 | QUATIC | Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment. | Barbara Gallina, Kathyayani Padira, Mattias Nyberg |
| 2016 | RTNS | A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2016 | SAFECOMP | Towards Cloud-Based Enactment of Safety-Related Processes. | Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg |
| 2016 | SAFECOMP | Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems. | Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huscar Espinoza |
| 2016 | SAFECOMP | Configuration-Aware Contracts. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson |
| 2016 | SPICE | Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. | Barbara Gallina, Elena Gmez-Martnez, Clara Benac Earle |
| 2015 | ICSE | Towards Enabling Reuse in the Context of Safety-Critical Product Lines. | Barbara Gallina |
| 2015 | ICSR | A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri |
| 2015 | PRDC | Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2015 | PROFES | Ontology-Based Identification of Commonalities and Variabilities Among Safety Processes. | Barbara Gallina, Zoltn Szatmri |
| 2015 | SPICE | An Education-oriented ISO 26262 Interpretation Combined with Constructive Alignment. | Barbara Gallina |
| 2014 | COMPSAC | Modeling a Safety- and Automotive-Oriented Process Line to Enable Reuse and Flexible Process Derivation. | Barbara Gallina, Shaghayegh Kashiyarandi, Helmut Martin, Robert Bramberger |
| 2014 | ISSRE | A Model-Driven Safety Certification Method for Process Compliance. | Barbara Gallina |
| 2014 | ISSRE | Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis. | Barbara Gallina, Edin Sefer, Atle Refsdal |
| 2014 | SAFECOMP | Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts. | Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbratl, Arjan Geven |
| 2014 | SAFECOMP | Generation of Safety Case Argument-Fragments from Safety Contracts. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2013 | ISSRE | Strong and weak contract formalism for third-party component reuse. | Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson |
| 2013 | SAFECOMP | VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. | Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg |
| 2013 | SERA | S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes. | Barbara Gallina, Karthik Raja Pitchai, Kristina Lundqvist |
| 2012 | ISSRE | Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. | Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg |
| 2012 | SEW | Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. | Barbara Gallina, Irfan Sljivo, Omar Jaradat |
| 2009 | SEW | Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. | Barbara Gallina, Nicolas Guelfi, Pierre Kelsen |
| 2008 | COMPSAC | A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. | Barbara Gallina, Nicolas Guelfi |
| 2008 | SEW | SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties. | Barbara Gallina, Nicolas Guelfi |
| 2007 | ISSRE | Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. | Barbara Gallina, Nicolas Guelfi, Alexander B. Romanovsky |
| 2007 | REFSQ | A Template for Requirement Elicitation of Dependable Product Lines. | Barbara Gallina, Nicolas Guelfi |