Zum Inhalt springen

  1. Gallina, Barbara [Herausgeber:in]; Skavhaug, Amund [Herausgeber:in]; Bitsch, Friedemann [Herausgeber:in]

    Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Cham: Springer International Publishing, 2018

    Erschienen in: Programming and Software Engineering ; 11093- SpringerLink ; Bücher

  2. Capilla, Rafael [Herausgeber:in]; Gallina, Barbara [Herausgeber:in]; Cetina, Carlos [Herausgeber:in]

    New Opportunities for Software Reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Cham: Springer, 2018

    Erschienen in: Lecture notes in computer science ; 10826

  3. Gallina, Barbara [Herausgeber:in]; Skavhaug, Amund [Herausgeber:in]; Schoitsch, Erwin [Herausgeber:in]; Bitsch, Friedemann [Herausgeber:in]

    Computer Safety, Reliability, and Security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Cham: Springer, 2018

    Erschienen in: Programming and Software Engineering ; 11094- SpringerLink ; Bücher- Springer eBook Collection ; Computer Science

  4. Hamid, Brahim [Herausgeber:in]; Gallina, Barbara [Herausgeber:in]; Shabtai, Asaf [Herausgeber:in]; Elovici, Yuval [Herausgeber:in]; Garcia-Alfaro, Joaquin [Herausgeber:in]

    Security and Safety Interplay of Intelligent Software Systems : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Cham: Springer, 2019

    Erschienen in: Security and Cryptology ; 11552- Springer eBooks ; Computer Science

  5. Gallina, Barbara [Verfasser:in]; Pacaci, Görkem [Verfasser:in]; Johnson, David [Verfasser:in]; McKeever, Steve [Verfasser:in]; Hamfelt, Andreas [Verfasser:in]; Costantini, Stefania [Verfasser:in]; Dell'Acqua, Pierangelo [Verfasser:in]; Crisan, Gloria-Cerasela [Verfasser:in]

    Towards Explainable, Compliant and Adaptive Human-Automation Interaction

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    2020

    Erschienen in: EXplainable & Responsible AI in Law Workshop (3. : 2020 : Online): XAILA 2020: EXplainable and Responsible AI in Law 2020 ; 2020

  6. Bruschi, Matteo; Gallina, Federico; Fresch, Barbara

    Simulating action-2D electronic spectroscopy of quantum dots: insights on the exciton and biexciton interplay from detection-mode and time-gating

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Royal Society of Chemistry (RSC), 2022

    Erschienen in: Physical Chemistry Chemical Physics, 24 (2022) 45, Seite 27645-27659

  7. Capilla, Rafael; Gallina, Barbara; Cetina Englada, Carlos

    The new era of software reuse

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Wiley, 2019

    Erschienen in: Journal of Software: Evolution and Process, 31 (2019) 8

  8. Ul Muram, Faiz; Gallina, Barbara; Kanwal, Samina

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer International Publishing, 2019

    Erschienen in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2019), Seite 125-141