Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The VALU3S ECSEL project: Verification and validation of automated systems safety and security., , , , , , , , , und 9 andere Autor(en). Microprocess. Microsystems, (November 2021)Resilient Virtualization., , und . Computer, 57 (2): 70-78 (Februar 2024)Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP., und . DSN-W, Seite 259-262. IEEE, (2023)How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks?, , , , , , , , , und . Sensors, 22 (17): 6528 (2022)Demo: Enhancing Network Performance based on 5G Network Function and Slice Load Analysis., , , , , , , , und . WoWMoM, Seite 340-342. IEEE, (2023)Online Verification through Model Checking of Medical Critical Intelligent Systems., , , , und . DSN Workshops, Seite 32-37. IEEE, (2020)A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence., , , , , und . SAFECOMP Workshops, Volume 11699 von Lecture Notes in Computer Science, Seite 391-397. Springer, (2019)μ Viz: Visualization of Microservices., , , , und . IV, Seite 120-128. IEEE, (2021)A layered framework for root cause diagnosis of microservices., , , , , , , , und . NCA, Seite 1-8. IEEE, (2021)ucXception: A Framework for Evaluating Dependability of Software Systems., , , und . QRS, Seite 561-570. IEEE, (2022)