( en | de | ru )

 

Disambiguation of "Gallina, Barbara"

Author of the publication

copydeleteadd this publication to your clipboard
Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.

, , and . ISSRE, page 29-38. IEEE Computer Society, (2007)

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 Grumbt

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

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)
 

Other publications of authors with the same name

CORRECT Developing Fault-Tolerant Distributed Systems, , , , and . Ercim News n.64, (2006)Magazine..A method to generate reusable safety case argument-fragments from compositional safety analysis., , , , and . J. Syst. Softw., (2017)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)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)A Template for Requirement Elicitation of Dependable Product Lines., and . REFSQ, volume 4542 of Lecture Notes in Computer Science, page 63-77. Springer, (2007)VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines., , , and . SASSUR@SAFECOMP, HAL, (2013)Compliance checking of software processes: A systematic literature review., , and . J. Softw. Evol. Process., (2022)Multiconcern, Dependability-Centered Assurance Via a Qualitative and Quantitative Coanalysis., , , and . IEEE Softw., 39 (4): 39-47 (2022)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)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)