Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. - Barbara Gallina; Nicolas Guelfi; Alexander B. Romanovsky (ISSRE, 2007)

A Template for Requirement Elicitation of Dependable Product Lines. - Barbara Gallina; Nicolas Guelfi (REFSQ, 2007)

A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. - Barbara Gallina; Nicolas Guelfi (COMPSAC, 2008)

SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties. - Barbara Gallina; Nicolas Guelfi (SEW, 2008)

Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. - Barbara Gallina; Nicolas Guelfi; Pierre Kelsen (SEW, 2009)

FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures' Analysis. - Barbara Gallina; Sasikumar Punnekkat (EUROMICRO-SEAA, 2011)

Fuzzy-enabled failure behaviour analysis for dependability assessment of networked systems. - Barbara Gallina; Aleksandar Dimov; Sasikumar Punnekkat (M&N, 2011)

A Model-Driven Dependability Analysis Method for Component-Based Architectures. - Barbara Gallina; Muhammad Atif Javed; Faiz Ul Muram; Sasikumar Punnekkat (EUROMICRO-SEAA, 2012)

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. - Raghad Dardar; Barbara Gallina; Andreas Johnsen; Kristina Lundqvist; Mattias Nyberg (ISSRE Workshops, 2012)

Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. - Barbara Gallina; Irfan Sljivo; Omar Jaradat (SEW, 2012)

Strong and weak contract formalism for third-party component reuse. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson (ISSRE (Supplemental Proceedings), 2013)

VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. - Barbara Gallina; Antonio Gallucci; Kristina Lundqvist; Mattias Nyberg (SASSUR@SAFECOMP, 2013)

S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes. - Barbara Gallina; Karthik Raja Pitchai; Kristina Lundqvist (SERA (selected papers), 2013)

Modeling a Safety- and Automotive-Oriented Process Line to Enable Reuse and Flexible Process Derivation. - Barbara Gallina; Shaghayegh Kashiyarandi; Helmut Martin; Robert Bramberger (COMPSAC Workshops, 2014)

A Model-Driven Safety Certification Method for Process Compliance. - Barbara Gallina (ISSRE Workshops, 2014)

Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis. - Barbara Gallina; Edin Sefer; Atle Refsdal (ISSRE Workshops, 2014)

Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts. - Barbara Gallina; Shaghayegh Kashiyarandi; Karlheinz Zugsbratl; Arjan Geven (SAFECOMP Workshops, 2014)

Generation of Safety Case Argument-Fragments from Safety Contracts. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson (SAFECOMP, 2014)

Towards Enabling Reuse in the Context of Safety-Critical Product Lines. - Barbara Gallina (PLEASE@ICSE, 2015)

A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson; Stefano Puri (ICSR, 2015)

Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson (PRDC, 2015)

Ontology-Based Identification of Commonalities and Variabilities Among Safety Processes. - Barbara Gallina; Zoltán Szatmári (PROFES, 2015)

An Education-oriented ISO 26262 Interpretation Combined with Constructive Alignment. - Barbara Gallina (SPETP@SPICE, 2015)

Towards the verification of temporal data consistency in Real-Time Data Management. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (CPS Data, 2016)

Towards tool-based security-informed safety oriented process line engineering. - Inmaculada Ayala; Barbara Gallina (ECSA Workshops, 2016)

Building multiple-viewpoint assurance cases using assumption/guarantee contracts. - Irfan Sljivo; Barbara Gallina (ECSA Workshops, 2016)

EXE-SPEM: Towards Cloud-based Executable Software Process Models. - Sami Alajrami; Barbara Gallina; Alexander B. Romanovsky (MODELSWARD, 2016)

Software Development in the Post-PC Era: Towards Software Development as a Service. - Sami Alajrami; Alexander B. Romanovsky; Barbara Gallina (PROFES, 2016)

Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment. - Barbara Gallina; Kathyayani Padira; Mattias Nyberg (QUATIC, 2016)

A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (RTNS, 2016)

Towards Cloud-Based Enactment of Safety-Related Processes. - Sami Alajrami; Barbara Gallina; Irfan Sljivo; Alexander B. Romanovsky; Petter Isberg (SAFECOMP, 2016)

Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems. - Alejandra Ruiz 001; Barbara Gallina; Jose Luis de la Vara; Silvia Mazzini; Huáscar Espinoza (SAFECOMP Workshops, 2016)

Configuration-Aware Contracts. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans A. Hansson (SAFECOMP Workshops, 2016)

Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. - Barbara Gallina; Elena Gómez-Martínez; Clara Benac Earle (SPICE, 2016)

Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu; Alf Larsson (ANT/SEIT, 2017)

Towards Increased Efficiency and Confidence in Process Compliance. - Julieth Patricia Castellanos Ardila; Barbara Gallina (EuroSPI, 2017)

Towards Systematic Compliance Evaluation Using Safety-Oriented Process Lines and Evidence Mapping. - Timo Varkoi; Timo Mäkinen; Barbara Gallina; Frank Cameron; Risto Nevalainen (EuroSPI, 2017)

Customized real-time data management for automotive systems: A case study. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (IECON, 2017)

SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems. - Leonardo Montecchi; Barbara Gallina (IMBSA, 2017)

Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards. - Julieth Patricia Castellanos Ardila; Barbara Gallina (ISSRE Workshops, 2017)

Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases. - Barbara Gallina; Mattias Nyberg (ISSRE Workshops, 2017)

Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262. - Julieth Patricia Castellanos Ardila; Barbara Gallina (TERECOM@JURIX, 2017)

DAGGTAX: A Taxonomy of Data Aggregation Processes. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (MEDI, 2017)

Arguing on Software-Level Verification Techniques Appropriateness. - Carmen Cârlan; Barbara Gallina; Severin Kacianka; Ruth Breu (SAFECOMP, 2017)

Assuring Degradation Cascades of Car Platoons via Contracts. - Irfan Sljivo; Barbara Gallina; Bernhard Kaiser (SAFECOMP Workshops, 2017)

Modeling Product-Line Legacy Assets using Multi-Level Theory. - Damir Nesic; Mattias Nyberg; Barbara Gallina (SPLC (B), 2017)

Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer. - Barbara Gallina; Elena Gómez-Martínez; Clara Benac Earle (Comput. Stand. Interfaces, 2017)

Enabling GSD Task Allocation via Cloud-based Software Processes. - Sami Alajrami; Barbara Gallina; Alexander B. Romanovsky (Int. J. Networked Distributed Comput., 2017)

A method to generate reusable safety case argument-fragments from compositional safety analysis. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson; Stefano Puri (J. Syst. Softw., 2017)

Special section on: Reliability and Safety Certification of Software-Intensive Systems. - Barbara Gallina; Roberto Natella (Reliab. Eng. Syst. Saf., 2017)

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. - Irfan Sljivo; Barbara Gallina; Jan Carlson; Hans Hansson; Stefano Puri (Ada-Europe, 2018)

A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. - Lucas Bressan; André Luíz de Oliveira; Leonardo Montecchi; Barbara Gallina (EDCC, 2018)

Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz Ul Muram (SEAA, 2018)

Towards Quantitative Evaluation of Reuse Within Safety-Oriented Process Lines. - Barbara Gallina; Shankar Iyer (EuroSPI, 2018)

FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results. - Zulqarnain Haider; Barbara Gallina; Enrique Zornoza Moreno (ICSRS, 2018)

Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (ISoLA (3), 2018)

Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems. - Aiman Gannous; Anneliese Andrews; Barbara Gallina (ISSRE Workshops, 2018)

Lessons Learned while Formalizing ISO 26262 for Compliance Checking. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Guido Governatori (TERECOM@JURIX, 2018)

Cost-aware Scheduling of Software Processes Execution in the Cloud. - Sami Alajrami; Alexander B. Romanovsky; Barbara Gallina (MODELSWARD, 2018)

Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (PRDC, 2018)

Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations. - Faiz Ul Muram; Barbara Gallina; Laura Gomez Rodriguez (QUATIC, 2018)

Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool. - Muhammad Atif Javed; Barbara Gallina (SPLC (2), 2018)

Compliance of agilized (software) development processes with safety standards: a vision. - Barbara Gallina; Faiz Ul Muram; Julieth Patricia Castellanos Ardila (XP Companion, 2018)

Statistical Model Checking for Real-Time Database Management Systems: A Case Study. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (ETFA, 2019)

Extending SafeConcert for Modelling Augmented Reality-equipped Socio-technical Systems*. - Soheila Sheikh Bahaei; Barbara Gallina (ICSRS, 2019)

Effect of Augmented Reality on Faults Leading to Human Failures in Socio-technical Systems*. - Soheila Sheikh Bahaei; Barbara Gallina; Karin Laumann; Martin Rasmussen Skogstad (ICSRS, 2019)

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 001; Barbara Gallina (PROFES, 2019)

A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. - Faiz Ul Muram; Barbara Gallina; Samina Kanwal (RSSRail, 2019)

Towards variant management and change impact analysis in safety-oriented process-product lines. - Muhammad Atif Javed; Barbara Gallina; Anna Carlsson (SAC, 2019)

Constructing product-line safety cases from contract-based specifications. - Damir Nesic; Mattias Nyberg; Barbara Gallina (SAC, 2019)

Data aggregation processes: a survey, a taxonomy, and design guidelines. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (Computing, 2019)

Tool-supported design of data aggregation processes in cloud monitoring systems. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu; Alf Larsson (J. Ambient Intell. Humaniz. Comput., 2019)

The new era of software reuse. - Rafael Capilla; Barbara Gallina; Carlos Cetina (J. Softw. Evol. Process., 2019)

Opportunities for software reuse in an uncertain world: From past to emerging trends. - Rafael Capilla; Barbara Gallina; Carlos Cetina; John M. Favaro (J. Softw. Evol. Process., 2019)

Separation of Concerns in Process Compliance Checking: Divide-and-Conquer. - Julieth Patricia Castellanos Ardila; Barbara Gallina (EuroSPI, 2020)

A Barbell Strategy-oriented Regulatory Framework and Compliance Management. - Barbara Gallina (EuroSPI, 2020)

Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. - Carmen Cârlan; Daniel Petrisor; Barbara Gallina; Hannes Schoenhaar (ISSRE Workshops, 2020)

Towards Explainable, Compliant and Adaptive Human-Automation Interaction. - Barbara Gallina; Görkem Paçaci; David Johnson 006; Steve McKeever; Andreas Hamfelt; Stefania Costantini; Pierangelo Dell'Acqua; Gloria Cerasela Crisan (XAILA@JURIX, 2020)

A Personal Opinion Survey on Process Compliance Checking in the Safety Context. - Julieth Patricia Castellanos Ardila; Barbara Gallina (QUATIC, 2020)

Process Compliance Re-Certification Efficiency Enabled by EPF-C $ circ $ BVR-T: A Case Study. - Barbara Gallina; Aleksandër Pulla; Antonela Bregu; Julieth Patricia Castellanos Ardila (QUATIC, 2020)

The AMASS Tool Platform: An Innovative Solution for Assurance and Certication of Cyber-Physical Systems. - Jose Luis de la Vara; Eugenio Parra; Alejandra Ruiz 001; Barbara Gallina (REFSQ Workshops, 2020)

A Physiology-based Driver Readiness Estimation Model for Tuning ISO 26262 Controllability. - Moses Mariajoseph; Barbara Gallina; Marco Carli; Daniele Bibbo (VTC Spring, 2020)

Special section on IST for ISSRE 2019. - Barbara Gallina; Michel Cukier (Inf. Softw. Technol., 2020)

Guiding assurance of architectural design patterns for critical applications. - Irfan Sljivo; Garazi Juez Uriagereka; Stefano Puri; Barbara Gallina (J. Syst. Archit., 2020)

Quantitative evaluation of tailoring within SPICE-compliant security-informed safety-oriented process lines. - Barbara Gallina (J. Softw. Evol. Process., 2020)

On-line Meetings for Educating the Minds of Future Safety Engineers during the COVID Pandemic: An Experience Report. - Barbara Gallina (CSEDU (2), 2021)

Towards Qualitative and Quantitative Dependability Analyses for AR-Equipped Socio-Technical Systems. - Soheila Sheikh Bahaei; Barbara Gallina (ICSRS, 2021)

Reusing (Safety-oriented) Compliance Artifacts while Recertifying. - Julieth Patricia Castellanos Ardila; Barbara Gallina (MODELSWARD, 2021)

Safety Case Maintenance: A Systematic Literature Review. - Carmen Cârlan; Barbara Gallina; Liana Soima (SAFECOMP, 2021)

Compliance-aware engineering process plans: the case of space software engineering processes. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Guido Governatori (Artif. Intell. Law, 2021)

Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference - EDCC 2021. - Marcello Cinque; Barbara Gallina (CoRR, 2021)

A case study for risk assessment in AR-equipped socio-technical systems. - Soheila Sheikh Bahaei; Barbara Gallina; Marko Vidovic (J. Syst. Archit., 2021)

Product-line assurance cases from contract-based design. - Damir Nesic; Mattias Nyberg; Barbara Gallina (J. Syst. Softw., 2021)

Specification and automated verification of atomic concurrent real-time transactions. - Simin Cai; Barbara Gallina; Dag Nyström; Cristina Seceleanu (Softw. Syst. Model., 2021)

Automating Safety Argument Change Impact Analysis for Machine Learning Components. - Carmen Cârlan; Lydia Gauerhof; Barbara Gallina; Simon Burton 001 (PRDC, 2022)

Compliance checking of software processes: A systematic literature review. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz Ul Muram (J. Softw. Evol. Process., 2022)

Multiconcern, Dependability-Centered Assurance Via a Qualitative and Quantitative Coanalysis. - Barbara Gallina; Leonardo Montecchi; André Luíz de Oliveira; Lucas Bressan (IEEE Softw., 2022)

Assurance of Software-Intensive Medical Devices: What About Mental Harm? - Jose Luis de la Vara; Barbara Gallina; Antonio Fernández-Caballero 001; José Pascual Molina; Arturo S. García 001; Clara Ayora (DSN-S, 2023)

A Knowledge Management Strategy for Seamless Compliance with the Machinery Regulation. - Barbara Gallina; Thomas Young Olesen; Eszter Parajdi; Mike Aarup (EuroSPI (1), 2023)

Safety of the Intended Functionality of External Human Interfaces: Gaps and Research Agenda. - Manabu Okada; Barbara Gallina (COMPSAC, 2024)

An Ontology-Based Representation for Shaping Product Evolution in Regulated Industries. - Barbara Gallina; Henrik Dibowski; Markus Schweizer (ICSR, 2024)

Assessing risk of AR and organizational changes factors in socio-technical robotic manufacturing. - Soheila Sheikh Bahaei; Barbara Gallina (Robotics Comput. Integr. Manuf., 2024)

Integrating Attack-Fault Trees in the ODE Metamodel to Support Safety and Security Co-Analysis in the Automotive Domain. - Victor Luiz Grechi; André Luíz de Oliveira; Barbara Gallina; Leonardo Montecchi; Rosana T. Vaccare Braga (COMPSAC, 2025)

Towards an ontology for process compliance with the (machinery) legislations. - Barbara Gallina; Gergo László Steierhoffer; Thomas Young Olesen; Eszter Parajdi; Mike Aarup (J. Softw. Evol. Process., 2025)

OntoGSN: An Ontology for Dynamic Management of Assurance Cases. - Tomas Bueno Momcilovic; Barbara Gallina; Ingmar Kessler; Dian Balta (CoRR, 2025)