Barbara Gallina

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 79

Top Venues

Publications

Barbara Gallina, Henrik Dibowski, Markus Schweizer
An Ontology-Based Representation for Shaping Product Evolution in Regulated Industries. ICSR (2024)
Soheila Sheikh Bahaei, Barbara Gallina
Assessing risk of AR and organizational changes factors in socio-technical robotic manufacturing. Robotics Comput. Integr. Manuf. 88 (2024)
Jose Luis de la Vara, Barbara Gallina, Antonio Fernández-Caballero, José Pascual Molina, Arturo S. García, Clara Ayora
Assurance of Software-Intensive Medical Devices: What About Mental Harm? DSN-S (2023)
Barbara Gallina, Thomas Young Olesen, Eszter Parajdi, Mike Aarup
A Knowledge Management Strategy for Seamless Compliance with the Machinery Regulation. EuroSPI (1) (2023)
Barbara Gallina, Leonardo Montecchi, André Luíz de Oliveira, Lucas Bressan
Multiconcern, Dependability-Centered Assurance Via a Qualitative and Quantitative Coanalysis. IEEE Softw. 39 (4) (2022)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Compliance checking of software processes: A systematic literature review. J. Softw. Evol. Process. 34 (5) (2022)
Carmen Cârlan, Lydia Gauerhof, Barbara Gallina, Simon Burton
Automating Safety Argument Change Impact Analysis for Machine Learning Components. PRDC (2022)
Damir Nesic, Mattias Nyberg, Barbara Gallina
Product-line assurance cases from contract-based design. J. Syst. Softw. 176 (2021)
Soheila Sheikh Bahaei, Barbara Gallina, Marko Vidovic
A case study for risk assessment in AR-equipped socio-technical systems. J. Syst. Archit. 119 (2021)
Julieth Patricia Castellanos Ardila, Barbara Gallina
Reusing (Safety-oriented) Compliance Artifacts while Recertifying. MODELSWARD (2021)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Specification and automated verification of atomic concurrent real-time transactions. Softw. Syst. Model. 20 (2) (2021)
Carmen Cârlan, Barbara Gallina, Liana Soima
Safety Case Maintenance: A Systematic Literature Review. SAFECOMP (2021)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori
Compliance-aware engineering process plans: the case of space software engineering processes. Artif. Intell. Law 29 (4) (2021)
Marcello Cinque, Barbara Gallina
Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference - EDCC 2021. CoRR (2021)
Barbara Gallina
On-line Meetings for Educating the Minds of Future Safety Engineers during the COVID Pandemic: An Experience Report. CSEDU (2) (2021)
Soheila Sheikh Bahaei, Barbara Gallina
Towards Qualitative and Quantitative Dependability Analyses for AR-Equipped Socio-Technical Systems. ICSRS (2021)
Moses Mariajoseph, Barbara Gallina, Marco Carli, Daniele Bibbo
A Physiology-based Driver Readiness Estimation Model for Tuning ISO 26262 Controllability. VTC Spring (2020)
Carmen Cârlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar
Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. ISSRE Workshops (2020)
Julieth Patricia Castellanos Ardila, Barbara Gallina
A Personal Opinion Survey on Process Compliance Checking in the Safety Context. QUATIC (2020)
Irfan Sljivo, Garazi Juez Uriagereka, Stefano Puri, Barbara Gallina
Guiding assurance of architectural design patterns for critical applications. J. Syst. Archit. 110 (2020)
Julieth Patricia Castellanos Ardila, Barbara Gallina
Separation of Concerns in Process Compliance Checking: Divide-and-Conquer. EuroSPI (2020)
Barbara Gallina, Aleksandër Pulla, Antonela Bregu, Julieth Patricia Castellanos Ardila
Process Compliance Re-Certification Efficiency Enabled by EPF-C $\circ $ BVR-T: A Case Study. QUATIC (2020)
Barbara Gallina, Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua, Gloria Cerasela Crisan
Towards Explainable, Compliant and Adaptive Human-Automation Interaction. XAILA@JURIX (2020)
Barbara Gallina
A Barbell Strategy-oriented Regulatory Framework and Compliance Management. EuroSPI (2020)
Barbara Gallina, Michel Cukier
Special section on IST for ISSRE 2019. Inf. Softw. Technol. 128 (2020)
Jose Luis de la Vara, Eugenio Parra, Alejandra Ruiz, Barbara Gallina
The AMASS Tool Platform: An Innovative Solution for Assurance and Certication of Cyber-Physical Systems. REFSQ Workshops (2020)
Barbara Gallina
Quantitative evaluation of tailoring within SPICE-compliant security-informed safety-oriented process lines. J. Softw. Evol. Process. 32 (3) (2020)
Rafael Capilla, Barbara Gallina, Carlos Cetina
The new era of software reuse. J. Softw. Evol. Process. 31 (8) (2019)
Soheila Sheikh Bahaei, Barbara Gallina, Karin Laumann, Martin Rasmussen Skogstad
. ICSRS (2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
Tool-supported design of data aggregation processes in cloud monitoring systems. J. Ambient Intell. Humaniz. Comput. 10 (7) (2019)
Rafael Capilla, Barbara Gallina, Carlos Cetina, John M. Favaro
Opportunities for software reuse in an uncertain world: From past to emerging trends. J. Softw. Evol. Process. 31 (8) (2019)
Muhammad Atif Javed, Barbara Gallina, Anna Carlsson
Towards variant management and change impact analysis in safety-oriented process-product lines. SAC (2019)
Faiz Ul Muram, Barbara Gallina, Samina Kanwal
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. RSSRail (2019)
Jose Luis de la Vara, Eugenio Parra, Alejandra Ruiz, Barbara Gallina
AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems. PROFES (2019)
Damir Nesic, Mattias Nyberg, Barbara Gallina
Constructing product-line safety cases from contract-based specifications. SAC (2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Data aggregation processes: a survey, a taxonomy, and design guidelines. Computing 101 (10) (2019)
Soheila Sheikh Bahaei, Barbara Gallina
. ICSRS (2019)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Statistical Model Checking for Real-Time Database Management Systems: A Case Study. ETFA (2019)
Lucas Bressan, André Luíz de Oliveira, Leonardo Montecchi, Barbara Gallina
A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. EDCC (2018)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. Ada-Europe (2018)
Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina
Cost-aware Scheduling of Software Processes Execution in the Cloud. MODELSWARD (2018)
Barbara Gallina, Faiz Ul Muram, Julieth Patricia Castellanos Ardila
Compliance of agilized (software) development processes with safety standards: a vision. XP Companion (2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. PRDC (2018)
Barbara Gallina, Shankar Iyer
Towards Quantitative Evaluation of Reuse Within Safety-Oriented Process Lines. EuroSPI (2018)
Muhammad Atif Javed, Barbara Gallina
Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool. SPLC (2) (2018)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori
Lessons Learned while Formalizing ISO 26262 for Compliance Checking. TERECOM@JURIX (2018)
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram
Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models. SEAA (2018)
Aiman Gannous, Anneliese Andrews, Barbara Gallina
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems. ISSRE Workshops (2018)
Faiz Ul Muram, Barbara Gallina, Laura Gomez Rodriguez
Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations. QUATIC (2018)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems. ISoLA (3) (2018)
Zulqarnain Haider, Barbara Gallina, Enrique Zornoza Moreno
FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results. ICSRS (2018)
Barbara Gallina, Roberto Natella
Special section on: Reliability and Safety Certification of Software-Intensive Systems. Reliab. Eng. Syst. Saf. 158 (2017)
Damir Nesic, Mattias Nyberg, Barbara Gallina
Modeling Product-Line Legacy Assets using Multi-Level Theory. SPLC (B) (2017)
Julieth Patricia Castellanos Ardila, Barbara Gallina
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262. TERECOM@JURIX (2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
DAGGTAX: A Taxonomy of Data Aggregation Processes. MEDI (2017)
Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle
Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer. Comput. Stand. Interfaces 54 (2017)
Barbara Gallina, Mattias Nyberg
Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases. ISSRE Workshops (2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson
Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. ANT/SEIT (2017)
Leonardo Montecchi, Barbara Gallina
SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems. IMBSA (2017)
Irfan Sljivo, Barbara Gallina, Bernhard Kaiser
Assuring Degradation Cascades of Car Platoons via Contracts. SAFECOMP Workshops (2017)
Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
Enabling GSD Task Allocation via Cloud-based Software Processes. Int. J. Networked Distributed Comput. 5 (4) (2017)
Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
Enabling GSD Task Allocation via Cloud-Based Software Processes. SERA (selected papers) (2017)
Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu
Arguing on Software-Level Verification Techniques Appropriateness. SAFECOMP (2017)
Julieth Patricia Castellanos Ardila, Barbara Gallina
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards. ISSRE Workshops (2017)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
A method to generate reusable safety case argument-fragments from compositional safety analysis. J. Syst. Softw. 131 (2017)
Timo Varkoi, Timo Mäkinen, Barbara Gallina, Frank Cameron, Risto Nevalainen
Towards Systematic Compliance Evaluation Using Safety-Oriented Process Lines and Evidence Mapping. EuroSPI (2017)
Julieth Patricia Castellanos Ardila, Barbara Gallina
Towards Increased Efficiency and Confidence in Process Compliance. EuroSPI (2017)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Customized real-time data management for automotive systems: A case study. IECON (2017)
Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg
Towards Cloud-Based Enactment of Safety-Related Processes. SAFECOMP (2016)
Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle
Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. SPICE (2016)
Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina
Software Development in the Post-PC Era: Towards Software Development as a Service. PROFES (2016)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. RTNS (2016)
Inmaculada Ayala, Barbara Gallina
Towards tool-based security-informed safety oriented process line engineering. ECSA Workshops (2016)
Irfan Sljivo, Barbara Gallina
Building multiple-viewpoint assurance cases using assumption/guarantee contracts. ECSA Workshops (2016)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson
Configuration-Aware Contracts. SAFECOMP Workshops (2016)
Alejandra Ruiz, Barbara Gallina, Jose Luis de la Vara, Silvia Mazzini, Huáscar Espinoza
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems. SAFECOMP Workshops (2016)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
Towards the verification of temporal data consistency in Real-Time Data Management. CPS Data (2016)
Barbara Gallina, Kathyayani Padira, Mattias Nyberg
Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment. QUATIC (2016)
Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky
EXE-SPEM: Towards Cloud-based Executable Software Process Models. MODELSWARD (2016)
Barbara Gallina
An Education-oriented ISO 26262 Interpretation Combined with Constructive Alignment. SPETP@SPICE (2015)
Barbara Gallina
Towards Enabling Reuse in the Context of Safety-Critical Product Lines. PLEASE@ICSE (2015)
Barbara Gallina, Zoltán Szatmári
Ontology-Based Identification of Commonalities and Variabilities Among Safety Processes. PROFES (2015)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. ICSR (2015)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262. PRDC (2015)
Barbara Gallina, Edin Sefer, Atle Refsdal
Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis. ISSRE Workshops (2014)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
Generation of Safety Case Argument-Fragments from Safety Contracts. SAFECOMP (2014)
Barbara Gallina, Shaghayegh Kashiyarandi, Helmut Martin, Robert Bramberger
Modeling a Safety- and Automotive-Oriented Process Line to Enable Reuse and Flexible Process Derivation. COMPSAC Workshops (2014)
Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbratl, Arjan Geven
Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts. SAFECOMP Workshops (2014)
Barbara Gallina
A Model-Driven Safety Certification Method for Process Compliance. ISSRE Workshops (2014)
Barbara Gallina, Karthik Raja Pitchai, Kristina Lundqvist
S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes. SERA (selected papers) (2013)
Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg
VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. SASSUR@SAFECOMP (2013)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
Strong and weak contract formalism for third-party component reuse. ISSRE (Supplemental Proceedings) (2013)
Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg
Industrial Experiences of Building a Safety Case in Compliance with ISO 26262. ISSRE Workshops (2012)
Barbara Gallina, Irfan Sljivo, Omar Jaradat
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. SEW (2012)
Barbara Gallina, Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat
A Model-Driven Dependability Analysis Method for Component-Based Architectures. EUROMICRO-SEAA (2012)
Barbara Gallina, Aleksandar Dimov, Sasikumar Punnekkat
Fuzzy-enabled failure behaviour analysis for dependability assessment of networked systems. M&N (2011)
Barbara Gallina, Sasikumar Punnekkat
FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures' Analysis. EUROMICRO-SEAA (2011)
Barbara Gallina, Nicolas Guelfi, Pierre Kelsen
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. SEW (2009)
Barbara Gallina, Nicolas Guelfi
A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. COMPSAC (2008)
Barbara Gallina, Nicolas Guelfi
SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties. SEW (2008)

Barbara Gallina.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Barbara Gallina