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

Service System of Easypaisa and MobiCash: Funds Transfer System via Telecommunication Companies in Context of Service Dominant Logic., , , , und . J. Serv. Sci. Res., 10 (2): 249-273 (2018)A program logic to verify signal temporal logic specifications of hybrid systems., und . HSCC, Seite 10:1-10:11. ACM, (2021)LOGI: an empirical model of heat-induced disk drive data loss and its implications for data recovery., , , , , und . PROMISE, Seite 52-61. ACM, (2022)CirFix: automatically repairing defects in hardware design code., , und . ASPLOS, Seite 990-1003. ACM, (2022)Development and Testing of a Control System for the Automatic Flight of Tethered Parafoils., , und . J. Field Robotics, 34 (3): 519-538 (2017)Digging into Semantics: Where Do Search-Based Software Repair Methods Search?, , , und . PPSN (2), Volume 13399 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2022)An experimental test set-up for launch/recovery of an Airborne Wind Energy (AWE) system., , , , , und . ACC, Seite 4405-4410. IEEE, (2012)A Smart Network Intrusion Detection System for Cyber Security of Industrial IoT., , , , und . IDSTA, Seite 67-75. IEEE, (2023)A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report., und . CoRR, (2021)A job monitoring system for the LCG computing grid., , , , , und . IPDPS, IEEE, (2006)