( en | de | ru )

 

Disambiguation of "Gallina, Barbara"

Author of the publication

copydeleteadd this publication to your clipboard
AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems.

, , , and . PROFES, volume 11915 of Lecture Notes in Computer Science, page 626-632. Springer, (2019)

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.

Nicole Gallina

Rudolf Gallina

Christoph Gallina

Barbara Sandhöfer

The fate of singularities in quantum cosmology and the application of generalized effective equations to constrained quantum systems. Uni Köln, (2009)

Barbara Grumbt

Charakterisierung und Rekonstitution des Mia40-Erv1-Disulfidtransfersystems in Mitochondrien. Uni München, (2009)
 

Other publications of authors with the same name

Towards Quantitative Evaluation of Reuse Within Safety-Oriented Process Lines., and . EuroSPI, volume 896 of Communications in Computer and Information Science, page 469-479. Springer, (2018)Separation of Concerns in Process Compliance Checking: Divide-and-Conquer., and . EuroSPI, volume 1251 of Communications in Computer and Information Science, page 135-147. Springer, (2020)Lessons Learned while Formalizing ISO 26262 for Compliance Checking., , and . TERECOM@JURIX, volume 2309 of CEUR Workshop Proceedings, page 5-16. CEUR-WS.org, (2018)VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines., , , and . SASSUR@SAFECOMP, HAL, (2013)Effect of Augmented Reality on Faults Leading to Human Failures in Socio-technical Systems*., , , and . ICSRS, page 236-245. IEEE, (2019)On-line Meetings for Educating the Minds of Future Safety Engineers during the COVID Pandemic: An Experience Report.. CSEDU (2), page 362-369. SCITEPRESS, (2021)Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems., , , , and . SAFECOMP Workshops, volume 9923 of Lecture Notes in Computer Science, page 311-321. Springer, (2016)A Template for Requirement Elicitation of Dependable Product Lines., and . REFSQ, volume 4542 of Lecture Notes in Computer Science, page 63-77. Springer, (2007)Ontology-Based Identification of Commonalities and Variabilities Among Safety Processes., and . PROFES, volume 9459 of Lecture Notes in Computer Science, page 182-189. Springer, (2015)CORRECT Developing Fault-Tolerant Distributed Systems, , , , and . Ercim News n.64, (2006)Magazine..