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

Extracting Permission-Based Specifications from a Sequential Java Program., , , und . ICECCS, Seite 215-218. IEEE Computer Society, (2016)Localized Text-Free User Interfaces., , , , und . IEEE Access, (2022)Sip4J: Statically inferring permission-based specifications for sequential Java programs., , , , und . CoRR, (2019)Voice morphing: An illusion or reality., , , , und . ICACS, Seite 1-6. IEEE, (2018)A case study on the lightweight verification of a multi-threaded task server., , , und . Sci. Comput. Program., (2014)Software Defined Monitoring (SDM) for 5G mobile backhaul networks., , , , , , und . LANMAN, Seite 1-6. IEEE, (2017)Checking JML-encoded finite state machine properties., und . ICACS, Seite 1-9. IEEE, (2018)Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool., und . FMICS, Volume 6959 von Lecture Notes in Computer Science, Seite 6-20. Springer, (2011)Automated Verification of Specifications with Typestates and Access Permissions., , und . ECEASST, (2012)Security for Future Software Defined Mobile Networks., , , , , , , , , und . NGMAST, Seite 256-264. IEEE, (2015)