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

A Game Approach to Determinize Timed Automata., , , und . FoSSaCS, Volume 6604 von Lecture Notes in Computer Science, Seite 245-259. Springer, (2011)Theft detection dataset for benchmarking and machine learning based classification in a smart grid environment., , , , und . J. King Saud Univ. Comput. Inf. Sci., 35 (1): 13-25 (Januar 2023)Automated Categorization of Multiclass Welding Defects Using the X-ray Image Augmentation and Convolutional Neural Network., , , und . Sensors, 23 (14): 6422 (Juli 2023)An Integrated Artificial Intelligence of Things Environment for River Flood Prevention., , , , , und . Sensors, 22 (23): 9485 (2022)DHPV: a distributed algorithm for large-scale graph partitioning., , , , und . J. Big Data, 7 (1): 1-25 (2020)Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities.. Mob. Networks Appl., 28 (2): 732-743 (April 2023)Towards a Test Execution Platform As-A-Service: Application in the E-Health Domain., , und . ICCAD, Seite 1-6. IEEE, (2018)Formal Methods for the Verification of Smart Contracts: A Review., , und . SIN, Seite 1-8. IEEE, (2022)A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata., und . ENASE, Seite 570-577. SciTePress, (2019)Testing Real-Time Systems Using Determinization Techniques for Automata over Timed Domains.. ICTAC, Volume 11884 von Lecture Notes in Computer Science, Seite 124-133. Springer, (2019)