Zum Inhalt springen

  2. Runge, Tobias [Verfasser:in]; Bordis, Tabea [Verfasser:in]; Potanin, Alex [Verfasser:in]; Thüm, Thomas [Verfasser:in]; Schaefer, Ina [Verfasser:in]

    Flexible Correct-by-Construction Programming

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Logical Methods in Computer Science, 2023-07-13

    Erschienen in: Logical Methods in Computer Science, Volume 19, Issue 2 (2), 16:1 – 16:36 ; ISSN: 1860-5974

  5. Schaefer, Tabea [Verfasser:in]; Greive, Svenja [Verfasser:in]; Heiland, Sabine [Verfasser:in]; Kramer, Martin [Verfasser:in]; Bendszus, Martin [Verfasser:in]; Vollherbst, Dominik [Verfasser:in]

    Investigation of experimental endovascular air embolisms using a new model for the generation and detection of highly calibrated micro air bubbles

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Journal of endovascular therapy ; 00(2022), 0, Artikel-ID 15266028221082010, Seite 1-10

  6. Bordis, Tabea [Verfasser:in]; Cleophas, Loek [Verfasser:in]; Kittelmann, Alexander [Verfasser:in]; Runge, Tobias [Verfasser:in]; Schaefer, Ina [Verfasser:in]; Watson, Bruce W. [Verfasser:in]

    Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2022-11-15

  7. Schaefer, Tabea [Verfasser:in]; Greive, Svenja [Verfasser:in]; Bierwisch, Claas [Verfasser:in]; Mohseni-Mofidi, Shoya [Verfasser:in]; Heiland, Sabine [Verfasser:in]; Kramer, Martin [Verfasser:in]; Möhlenbruch, Markus Alfred [Verfasser:in]; Bendszus, Martin [Verfasser:in]; Vollherbst, Dominik [Verfasser:in]

    Iatrogenic air embolism : influence of air bubble size on cerebral infarctions in an experimental in vivo and numerical simulation model

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2023

    Erschienen in: Journal of neuroInterventional surgery ; 16(2024), 10, Seite 1036-1041

  10. Runge, Tobias; Bordis, Tabea; Potanin, Alex; Thüm, Thomas; Schaefer, Ina

    Flexible Correct-by-Construction Programming

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Centre pour la Communication Scientifique Directe (CCSD), 2023

    Erschienen in: Logical Methods in Computer Science, Volume 19, Issue 2 (2023)

  11. Bordis, Tabea; Kodetzki, Maximilian; Runge, Tobias; Schaefer, Ina

    Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2023

    Erschienen in: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops (2023), Seite 156-163

  12. Kittelmann, Alexander; Runge, Tobias; Bordis, Tabea; Schaefer, Ina

    Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Runtime Verification of Correct-by-Construction Driving Maneuvers

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2022

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (2022), Seite 242-263

  14. C. Schaefer, Tabea; Greive, Svenja; Heiland, Sabine; Kramer, Martin; Bendszus, Martin; Vollherbst, Dominik F.

    Investigation of Experimental Endovascular Air Embolisms Using a New Model for the Generation and Detection of Highly Calibrated Micro Air Bubbles

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    SAGE Publications, 2023

    Erschienen in: Journal of Endovascular Therapy, 30 (2023) 3, Seite 461-470

  15. Bordis, Tabea; Cleophas, Loek; Kittelmann, Alexander; Runge, Tobias; Schaefer, Ina; Watson, Bruce W.

    The Logic of Software. A Tasting Menu of Formal Methods: Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2022

    Erschienen in: The Logic of Software. A Tasting Menu of Formal Methods (2022), Seite 80-104

  16. Bach, Matthias; Geisel, Tabea; Martin, Julia; Schulze, Bettina; Schaefer, Roland; Virgin, Garth; Stein, Juergen

    Efficacy and Safety of Intravenous Ferric Carboxymaltose in Geriatric Inpatients at a German Tertiary University Teaching Hospital: A Retrospective Observational Cohort Study of Clinical Practice

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hindawi Limited, 2015

    Erschienen in: Anemia, 2015 (2015), Seite 1-8

  18. Ostwaldt, Ann-Christin; Rozanski, Michal; Schaefer, Tabea; Ebinger, Martin; Jungehülsing, Gerhard J.; Villringer, Kersten; Fiebach, Jochen B.

    Hyperintense acute reperfusion marker is associated with higher contrast agent dosage in acute ischaemic stroke

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2015

    Erschienen in: European Radiology, 25 (2015) 11, Seite 3161-3166

  19. Röhrig-Herzog, Gabriele; Steinmetz, Tilmann; Stein, Jürgen; Geisel, Tabea; Virgin, Garth; Schaefer, Roland; Bach, Matthias; Schulz, Ralf-Joachim

    Wirksamkeit und Verträglichkeit einer intravenösen Eisentherapie bei geriatrischen Patienten mit Anämie : Gepoolte Daten aus drei nicht-interventionellen Studien : Gepoolte Daten aus drei nicht-interventionellen Studien

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2014

    Erschienen in: MMW - Fortschritte der Medizin, 156 (2014) S13, Seite 48-53

  20. Schaefer, Tabea C.; Greive, Svenja; Mencl, Stine; Heiland, Sabine; Kramer, Martin; Möhlenbruch, Markus A.; Kleinschnitz, Christoph; Bendszus, Martin; Vollherbst, Dominik F.

    Iatrogenic Air Embolisms During Endovascular Interventions: Impact of Origin and Number of Air Bubbles on Cerebral Infarctions

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2024

    Erschienen in: Clinical Neuroradiology, 34 (2024) 1, Seite 135-145