Autor der Publikation

A Matter of Life and Death: Analyzing the Security of Healthcare Networks.

, , , , und . SEC, Volume 580 von IFIP Advances in Information and Communication Technology, Seite 355-369. Springer, (2020)

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

Analyzing Age-Related Macular Degeneration Progression in Patients with Geographic Atrophy Using Joint Autoencoders for Unsupervised Change Detection., , , , und . J. Imaging, 6 (7): 57 (2020)Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems., , , und . ACM Trans. Embed. Comput. Syst., 20 (4): 35:1-35:37 (2021)Network intrusion detection systems for in-vehicle network - Technical report., , , und . CoRR, (2019)MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems., , , und . ECMFA, Volume 10890 von Lecture Notes in Computer Science, Seite 164-178. Springer, (2018)Unsupervised Change Detection Using Joint Autoencoders for Age-Related Macular Degeneration Progression., , , , und . ICANN (2), Volume 12397 von Lecture Notes in Computer Science, Seite 813-824. Springer, (2020)Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B., , , und . Sci. Comput. Program., (2022)Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement., , , , , und . ICFEM, Volume 12531 von Lecture Notes in Computer Science, Seite 251-267. Springer, (2020)A Multimedia Modular Approach to Lifelog Moment Retrieval., , , , und . CLEF (Working Notes), Volume 2380 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B., , , und . TASE, Seite 9-16. IEEE, (2019)Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist., , , und . MEDI Workshops, Volume 929 von Communications in Computer and Information Science, Seite 153-158. Springer, (2018)