default search action

combined dblp search
author search
venue search
publication search

ask others

Barbara Gallina

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/rcim/BahaeiG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rcim/BahaeiG24
Soheila Sheikh Bahaei, Barbara Gallina:
Assessing risk of AR and organizational changes factors in socio-technical robotic manufacturing. Robotics Comput. Integr. Manuf. 88: 102731 (2024)
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/OkadaG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/OkadaG24
Manabu Okada, Barbara Gallina:
Safety of the Intended Functionality of External Human Interfaces: Gaps and Research Agenda. COMPSAC 2024: 578-583
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/GallinaDS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/GallinaDS24
Barbara Gallina, Henrik Dibowski, Markus Schweizer:
An Ontology-Based Representation for Shaping Product Evolution in Regulated Industries. ICSR 2024: 92-102
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/2024w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/2024w
Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Erwin Schoitsch, Barbara Gallina, Friedemann Bitsch:
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings. Lecture Notes in Computer Science 14989, Springer 2024, ISBN 978-3-031-68737-2 [contents]
2023
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/VaraGFMGA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/VaraGFMGA23
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: 168-172
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/eurospi/GallinaOPA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurospi/GallinaOPA23
Barbara Gallina, Thomas Young Olesen, Eszter Parajdi, Mike Aarup:
A Knowledge Management Strategy for Seamless Compliance with the Machinery Regulation. EuroSPI (1) 2023: 220-234
2022
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/smr/ArdilaGM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/ArdilaGM22
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)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/software/GallinaMOB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/GallinaMOB22
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): 39-47 (2022)
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/CarlanGGB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/CarlanGGB22
Carmen Cârlan, Lydia Gauerhof, Barbara Gallina, Simon Burton:
Automating Safety Argument Change Impact Analysis for Machine Learning Components. PRDC 2022: 43-53
2021
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/ArdilaGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/ArdilaGG21
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): 587-627 (2021)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/BahaeiGV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/BahaeiGV21
Soheila Sheikh Bahaei, Barbara Gallina, Marko Vidovic:
A case study for risk assessment in AR-equipped socio-technical systems. J. Syst. Archit. 119: 102250 (2021)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/NesicNG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/NesicNG21
Damir Nesic, Mattias Nyberg, Barbara Gallina:
Product-line assurance cases from contract-based design. J. Syst. Softw. 176: 110922 (2021)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/CaiGNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/CaiGNS21
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Specification and automated verification of atomic concurrent real-time transactions. Softw. Syst. Model. 20(2): 557-589 (2021)
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/Gallina21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/Gallina21
Barbara Gallina:
On-line Meetings for Educating the Minds of Future Safety Engineers during the COVID Pandemic: An Experience Report. CSEDU (2) 2021: 362-369
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/BahaeiG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/BahaeiG21
Soheila Sheikh Bahaei, Barbara Gallina:
Towards Qualitative and Quantitative Dependability Analyses for AR-Equipped Socio-Technical Systems. ICSRS 2021: 161-170
[c77]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/modelsward/ArdilaG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/ArdilaG21
Julieth Patricia Castellanos Ardila, Barbara Gallina:
Reusing (Safety-oriented) Compliance Artifacts while Recertifying. MODELSWARD 2021: 53-64
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/CarlanGS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/CarlanGS21
Carmen Cârlan, Barbara Gallina, Liana Soima:
Safety Case Maintenance: A Systematic Literature Review. SAFECOMP 2021: 115-129
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-00465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-00465
Marcello Cinque, Barbara Gallina:
Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference - EDCC 2021. CoRR abs/2109.00465 (2021)
2020
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/GallinaC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/GallinaC20
Barbara Gallina, Michel Cukier:
Special section on IST for ISSRE 2019. Inf. Softw. Technol. 128: 106404 (2020)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/SljivoUPG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/SljivoUPG20
Irfan Sljivo, Garazi Juez Uriagereka, Stefano Puri, Barbara Gallina:
Guiding assurance of architectural design patterns for critical applications. J. Syst. Archit. 110: 101765 (2020)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/Gallina20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/Gallina20
Barbara Gallina:
Quantitative evaluation of tailoring within SPICE-compliant security-informed safety-oriented process lines. J. Softw. Evol. Process. 32(3) (2020)
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/eurospi/ArdilaG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurospi/ArdilaG20
Julieth Patricia Castellanos Ardila, Barbara Gallina:
Separation of Concerns in Process Compliance Checking: Divide-and-Conquer. EuroSPI 2020: 135-147
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/eurospi/Gallina20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurospi/Gallina20
Barbara Gallina:
A Barbell Strategy-oriented Regulatory Framework and Compliance Management. EuroSPI 2020: 696-705
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/CarlanPGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/CarlanPGS20
Carmen Cârlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar:
Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. ISSRE Workshops 2020: 295-302
[c72]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/jurix/GallinaP0MHCDC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GallinaP0MHCDC20
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
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/ArdilaG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/ArdilaG20
Julieth Patricia Castellanos Ardila, Barbara Gallina:
A Personal Opinion Survey on Process Compliance Checking in the Safety Context. QUATIC 2020: 169-183
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/GallinaPBA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/GallinaPBA20
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: 211-219
[c69]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/VaraPRG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/VaraPRG20
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
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/vtc/MariajosephGCB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vtc/MariajosephGCB20
Moses Mariajoseph, Barbara Gallina, Marco Carli, Daniele Bibbo:
A Physiology-based Driver Readiness Estimation Model for Tuning ISO 26262 Controllability. VTC Spring 2020: 1-5

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/computing/CaiGNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/CaiGNS19
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Data aggregation processes: a survey, a taxonomy, and design guidelines. Computing 101(10): 1397-1429 (2019)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jaihc/CaiGNSL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jaihc/CaiGNSL19
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): 2519-2535 (2019)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/CapillaGC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/CapillaGC19
Rafael Capilla, Barbara Gallina, Carlos Cetina:
The new era of software reuse. J. Softw. Evol. Process. 31(8) (2019)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/CapillaGCF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/CapillaGCF19
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)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/CaiGNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/CaiGNS19
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Statistical Model Checking for Real-Time Database Management Systems: A Case Study. ETFA 2019: 306-313
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/BahaeiGLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/BahaeiGLS19
Soheila Sheikh Bahaei, Barbara Gallina, Karin Laumann, Martin Rasmussen Skogstad:
Effect of Augmented Reality on Faults Leading to Human Failures in Socio-technical Systems^*. ICSRS 2019: 236-245
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/BahaeiG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/BahaeiG19
Soheila Sheikh Bahaei, Barbara Gallina:
Extending SafeConcert for Modelling Augmented Reality-equipped Socio-technical Systems^*. ICSRS 2019: 275-282
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/profes/VaraP0G19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/profes/VaraP0G19
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: 626-632
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/MuramGK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/MuramGK19
Faiz Ul Muram, Barbara Gallina, Samina Kanwal:
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. RSSRail 2019: 125-141
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/NesicNG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/NesicNG19
Damir Nesic, Mattias Nyberg, Barbara Gallina:
Constructing product-line safety cases from contract-based specifications. SAC 2019: 2022-2031
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/JavedGC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/JavedGC19
Muhammad Atif Javed, Barbara Gallina, Anna Carlsson:
Towards variant management and change impact analysis in safety-oriented process-product lines. SAC 2019: 2372-2375
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/2018issa
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/2018issa
Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquín García-Alfaro:
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. Lecture Notes in Computer Science 11552, Springer 2019, ISBN 978-3-030-16873-5 [contents]
[e5]
- view
- export record
  dblp key:
  - conf/issre/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/2019
Katinka Wolter, Ina Schieferdecker, Barbara Gallina, Michel Cukier, Roberto Natella, Naghmeh Ramezani Ivaki, Nuno Laranjeiro:
30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019. IEEE 2019, ISBN 978-1-7281-4982-0 [contents]
[e4]
- view
- export record
  dblp key:
  - conf/issre/2019w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/2019w
Katinka Wolter, Ina Schieferdecker, Barbara Gallina, Michel Cukier, Roberto Natella, Naghmeh Ramezani Ivaki, Nuno Laranjeiro:
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019. IEEE 2019, ISBN 978-1-7281-5138-0 [contents]
2018
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/SljivoGCHP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/SljivoGCHP18
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri:
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. Ada-Europe 2018: 19-33
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/OliveiraBMG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/OliveiraBMG18
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: 49-56
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/ArdilaGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/ArdilaGM18
Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram:
Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models. SEAA 2018: 45-49
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/eurospi/GallinaI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurospi/GallinaI18
Barbara Gallina, Shankar Iyer:
Towards Quantitative Evaluation of Reuse Within Safety-Oriented Process Lines. EuroSPI 2018: 469-479
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/HaiderGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/HaiderGM18
Zulqarnain Haider, Barbara Gallina, Enrique Zornoza Moreno:
FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results. ICSRS 2018: 176-181
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/CaiGNS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/CaiGNS18
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: 355-374
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GannousAG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GannousAG18
Aiman Gannous, Anneliese Andrews, Barbara Gallina:
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems. ISSRE Workshops 2018: 329-336
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/jurix/ArdilaGG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/ArdilaGG18
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori:
Lessons Learned while Formalizing ISO 26262 for Compliance Checking. TERECOM@JURIX 2018: 5-16
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/AlajramiRG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/AlajramiRG18
Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina:
Cost-aware Scheduling of Software Processes Execution in the Cloud. MODELSWARD 2018: 203-212
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/CaiGNS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/CaiGNS18
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. PRDC 2018: 104-114
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/MuramGR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/MuramGR18
Faiz Ul Muram, Barbara Gallina, Laura Gomez Rodriguez:
Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations. QUATIC 2018: 65-73
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/JavedG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/JavedG18
Muhammad Atif Javed, Barbara Gallina:
Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool. SPLC (2) 2018: 23-28
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/xpu/GallinaMA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/xpu/GallinaMA18
Barbara Gallina, Faiz Ul Muram, Julieth Patricia Castellanos Ardila:
Compliance of agilized (software) development processes with safety standards: a vision. XP Companion 2018: 14:1-14:6
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/2018
Rafael Capilla, Barbara Gallina, Carlos Cetina:
New Opportunities for Software Reuse - 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings. Lecture Notes in Computer Science 10826, Springer 2018, ISBN 978-3-319-90420-7 [contents]
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/2018
Barbara Gallina, Amund Skavhaug, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. Lecture Notes in Computer Science 11093, Springer 2018, ISBN 978-3-319-99129-0 [contents]
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/2018w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/2018w
Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings. Lecture Notes in Computer Science 11094, Springer 2018, ISBN 978-3-319-99228-0 [contents]
2017
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/csi/GallinaGE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csi/GallinaGE17
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: 119-128 (2017)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijndc/AlajramiGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijndc/AlajramiGR17
Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky:
Enabling GSD Task Allocation via Cloud-based Software Processes. Int. J. Networked Distributed Comput. 5(4): 221-232 (2017)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/SljivoGCHP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/SljivoGCHP17
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: 570-590 (2017)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/GallinaN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/GallinaN17
Barbara Gallina, Roberto Natella:
Special section on: Reliability and Safety Certification of Software-Intensive Systems. Reliab. Eng. Syst. Saf. 158: 152 (2017)
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/CaiGNSL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/CaiGNSL17
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu, Alf Larsson:
Design of Cloud Monitoring Systems via DAGGTAX: a Case Study. ANT/SEIT 2017: 424-431
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/eurospi/VarkoiMGCN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurospi/VarkoiMGCN17
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: 83-95
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/eurospi/ArdilaG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurospi/ArdilaG17
Julieth Patricia Castellanos Ardila, Barbara Gallina:
Towards Increased Efficiency and Confidence in Process Compliance. EuroSPI 2017: 162-174
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/CaiGNS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/CaiGNS17
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Customized real-time data management for automotive systems: A case study. IECON 2017: 8397-8404
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/imbsa/MontecchiG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imbsa/MontecchiG17
Leonardo Montecchi, Barbara Gallina:
SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems. IMBSA 2017: 129-144
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ArdilaG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ArdilaG17
Julieth Patricia Castellanos Ardila, Barbara Gallina:
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards. ISSRE Workshops 2017: 317-324
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GallinaN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GallinaN17
Barbara Gallina, Mattias Nyberg:
Pioneering the Creation of ISO 26262-Compliant OSLC-Based Safety Cases. ISSRE Workshops 2017: 325-330
[c40]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/jurix/ArdilaG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/ArdilaG17
Julieth Patricia Castellanos Ardila, Barbara Gallina:
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262. TERECOM@JURIX 2017: 65-72
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/CaiGNS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/CaiGNS17
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
DAGGTAX: A Taxonomy of Data Aggregation Processes. MEDI 2017: 324-339
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/CarlanGKB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/CarlanGKB17
Carmen Cârlan, Barbara Gallina, Severin Kacianka, Ruth Breu:
Arguing on Software-Level Verification Techniques Appropriateness. SAFECOMP 2017: 39-54
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/SljivoGK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/SljivoGK17
Irfan Sljivo, Barbara Gallina, Bernhard Kaiser:
Assuring Degradation Cascades of Car Platoons via Contracts. SAFECOMP Workshops 2017: 317-329
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/sera/AlajramiGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sera/AlajramiGR17
Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky:
Enabling GSD Task Allocation via Cloud-Based Software Processes. SERA (selected papers) 2017: 179-192
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/NesicNG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/NesicNG17
Damir Nesic, Mattias Nyberg, Barbara Gallina:
Modeling Product-Line Legacy Assets using Multi-Level Theory. SPLC (B) 2017: 89-96
2016
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/cspdata/CaiGNS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cspdata/CaiGNS16
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
Towards the verification of temporal data consistency in Real-Time Data Management. CPS Data 2016: 1-6
[c33]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/ecsa/AyalaG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/AyalaG16
Inmaculada Ayala, Barbara Gallina:
Towards tool-based security-informed safety oriented process line engineering. ECSA Workshops 2016: 38
[c32]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/ecsa/SljivoG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/SljivoG16
Irfan Sljivo, Barbara Gallina:
Building multiple-viewpoint assurance cases using assumption/guarantee contracts. ECSA Workshops 2016: 39
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/AlajramiGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/AlajramiGR16
Sami Alajrami, Barbara Gallina, Alexander B. Romanovsky:
EXE-SPEM: Towards Cloud-based Executable Software Process Models. MODELSWARD 2016: 517-526
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/profes/AlajramiRG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/profes/AlajramiRG16
Sami Alajrami, Alexander B. Romanovsky, Barbara Gallina:
Software Development in the Post-PC Era: Towards Software Development as a Service. PROFES 2016: 662-671
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/GallinaPN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/GallinaPN16
Barbara Gallina, Kathyayani Padira, Mattias Nyberg:
Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment. QUATIC 2016: 199-204
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/rtns/CaiGNS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtns/CaiGNS16
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu:
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation. RTNS 2016: 3-12
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/SljivoGCH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/SljivoGCH16
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans A. Hansson:
Configuration-Aware Contracts. SAFECOMP Workshops 2016: 43-54
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/AlajramiGSRI16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/AlajramiGSRI16
Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander B. Romanovsky, Petter Isberg:
Towards Cloud-Based Enactment of Safety-Related Processes. SAFECOMP 2016: 309-321
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/RuizGVME16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/RuizGVME16
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: 311-321
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/spice/GallinaGE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spice/GallinaGE16
Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle:
Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. SPICE 2016: 3-16
2015
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Gallina15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Gallina15
Barbara Gallina:
Towards Enabling Reuse in the Context of Safety-Critical Product Lines. PLEASE@ICSE 2015: 15-18
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icsr/SljivoGCHP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsr/SljivoGCHP15
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri:
A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. ICSR 2015: 253-268
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/SljivoGCH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/SljivoGCH15
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson:
Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262. PRDC 2015: 129-138
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/profes/GallinaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/profes/GallinaS15
Barbara Gallina, Zoltán Szatmári:
Ontology-Based Identification of Commonalities and Variabilities Among Safety Processes. PROFES 2015: 182-189
[c19]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/spice/Gallina15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spice/Gallina15
Barbara Gallina:
An Education-oriented ISO 26262 Interpretation Combined with Constructive Alignment. SPETP@SPICE 2015: 41-48
2014
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/GallinaKMB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/GallinaKMB14
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: 504-509
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Gallina14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Gallina14
Barbara Gallina:
A Model-Driven Safety Certification Method for Process Compliance. ISSRE Workshops 2014: 204-209
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GallinaSR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GallinaSR14
Barbara Gallina, Edin Sefer, Atle Refsdal:
Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis. ISSRE Workshops 2014: 287-292
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/SljivoGCH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/SljivoGCH14
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson:
Generation of Safety Case Argument-Fragments from Safety Contracts. SAFECOMP 2014: 170-185
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/GallinaKZG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/GallinaKZG14
Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbratl, Arjan Geven:
Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts. SAFECOMP Workshops 2014: 255-266
2013
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SljivoGCH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SljivoGCH13
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson:
Strong and weak contract formalism for third-party component reuse. ISSRE (Supplemental Proceedings) 2013: 359-364
[c12]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/safecomp/GallinaGLN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/GallinaGLN13
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
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sera/GallinaPL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sera/GallinaPL13
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: 215-230
2012
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/GallinaJMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/GallinaJMP12
Barbara Gallina, Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat:
A Model-Driven Dependability Analysis Method for Component-Based Architectures. EUROMICRO-SEAA 2012: 233-240
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/DardarGJLN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/DardarGJLN12
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: 349-354
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/GallinaSJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/GallinaSJ12
Barbara Gallina, Irfan Sljivo, Omar Jaradat:
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. SEW 2012: 148-157
2011
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/GallinaP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/GallinaP11
Barbara Gallina, Sasikumar Punnekkat:
FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures' Analysis. EUROMICRO-SEAA 2011: 493-500
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iwmn/GallinaDP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwmn/GallinaDP11
Barbara Gallina, Aleksandar Dimov, Sasikumar Punnekkat:
Fuzzy-enabled failure behaviour analysis for dependability assessment of networked systems. M&N 2011: 53-58

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/GallinaGK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/GallinaGK09
Barbara Gallina, Nicolas Guelfi, Pierre Kelsen:
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. SEW 2009: 94-103
2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/GallinaG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/GallinaG08
Barbara Gallina, Nicolas Guelfi:
A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. COMPSAC 2008: 739-744
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/GallinaG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/GallinaG08
Barbara Gallina, Nicolas Guelfi:
SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties. SEW 2008: 115-124
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GallinaGR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GallinaGR07
Barbara Gallina, Nicolas Guelfi, Alexander B. Romanovsky:
Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. ISSRE 2007: 29-38
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/GallinaG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/GallinaG07
Barbara Gallina, Nicolas Guelfi:
A Template for Requirement Elicitation of Dependable Product Lines. REFSQ 2007: 63-77

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.