Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts.

B. Gallina, S. Kashiyarandi, K. Zugsbratl, and A. Geven. SAFECOMP Workshops, volume 8696 of Lecture Notes in Computer Science, page 255-266. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Barbara Krämer University of Stuttgart

Dr. Barbara Reisinger University of Stuttgart

apl. Prof. Dr. Barbara Potthast University of Stuttgart

Dr. Barbara Lux University of Stuttgart

Barbara Scheubert University of Stuttgart

Other publications of authors with the same name

Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool.M. Javed, and B. Gallina. SPLC (2), page 23-28. ACM, (2018)An Education-oriented ISO 26262 Interpretation Combined with Constructive Alignment.B. Gallina. SPETP@SPICE, volume 1368 of CEUR Workshop Proceedings, page 41-48. CEUR-WS.org, (2015)Assuring Degradation Cascades of Car Platoons via Contracts.I. Sljivo, B. Gallina, and B. Kaiser. SAFECOMP Workshops, volume 10489 of Lecture Notes in Computer Science, page 317-329. Springer, (2017)Towards Cloud-Based Enactment of Safety-Related Processes.S. Alajrami, B. Gallina, I. Sljivo, A. Romanovsky, and P. Isberg. SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 309-321. Springer, (2016)Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262.J. Ardila, and B. Gallina. TERECOM@JURIX, volume 2049 of CEUR Workshop Proceedings, page 65-72. CEUR-WS.org, (2017)Customized real-time data management for automotive systems: A case study.S. Cai, B. Gallina, D. Nyström, and C. Seceleanu. IECON, page 8397-8404. IEEE, (2017)Towards tool-based security-informed safety oriented process line engineering.I. Ayala, and B. Gallina. ECSA Workshops, page 38. ACM, (2016)Building multiple-viewpoint assurance cases using assumption/guarantee contracts.I. Sljivo, and B. Gallina. ECSA Workshops, page 39. ACM, (2016)Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models.J. Ardila, B. Gallina, and F. Muram. SEAA, page 45-49. IEEE Computer Society, (2018)Compliance of agilized (software) development processes with safety standards: a vision.B. Gallina, F. Muram, and J. Ardila. XP Companion, page 14:1-14:6. ACM, (2018)