Author of the publication

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.

 

Other publications of authors with the same name

The VALU3S ECSEL project: Verification and validation of automated systems safety and security., , , , , , , , , and 9 other author(s). Microprocess. Microsystems, (November 2021)How Reliable Are Ultra-Short-Term HRV Measurements during Cognitively Demanding Tasks?, , , , , , , , , and . Sensors, 22 (17): 6528 (2022)Resilient Virtualization., , and . Computer, 57 (2): 70-78 (February 2024)Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP., and . DSN-W, page 259-262. IEEE, (2023)Demo: Enhancing Network Performance based on 5G Network Function and Slice Load Analysis., , , , , , , , and . WoWMoM, page 340-342. IEEE, (2023)A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence., , , , , and . SAFECOMP Workshops, volume 11699 of Lecture Notes in Computer Science, page 391-397. Springer, (2019)Online Verification through Model Checking of Medical Critical Intelligent Systems., , , , and . DSN Workshops, page 32-37. IEEE, (2020)O-RAN and RIC Compliant Solutions for Next Generation Networks., , , , , , , , , and 3 other author(s). INFOCOM Workshops, page 1-7. IEEE, (2023)μ Viz: Visualization of Microservices., , , , and . IV, page 120-128. IEEE, (2021)ucXception: A Framework for Evaluating Dependability of Software Systems., , , and . QRS, page 561-570. IEEE, (2022)