Barbara Gallina

116 papers A 2B 22C 13Misc 9Journal 21Unranked 44

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