( en | de | ru )

 

Disambiguation of "Gallina, Barbara"

Author of the publication

copydeleteadd this publication to your clipboard
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.

, , and . SEW, page 94-103. IEEE Computer Society, (2009)

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

CORRECT Developing Fault-Tolerant Distributed Systems, , , , and . Ercim News n.64, (2006)Magazine..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)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)VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines., , , and . SASSUR@SAFECOMP, HAL, (2013)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)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)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)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)Enabling GSD Task Allocation via Cloud-Based Software Processes., , and . SERA (selected papers), volume 722 of Studies in Computational Intelligence, page 179-192. Springer, (2017)