Autor der Publikation

Development of a Synchronous Subset of AADL.

, und . ASM, Volume 5977 von Lecture Notes in Computer Science, Seite 245-258. Springer, (2010)

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

Editorial.. J. Funct. Program., 18 (5-6): 565-566 (2008)DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel., , , und . ASPLOS, Seite 287-299. ACM, (2019)PatchNet: Hierarchical Deep Learning-Based Stable Patch Identification for the Linux Kernel, , , , und . IEEE Transactions on Software Engineering, 47 (11): 2471-2486 (November 2021)Refactoring for Performance with Semantic Patching: Case Study with Recipes., und . ISC Workshops, Volume 12761 von Lecture Notes in Computer Science, Seite 226-232. Springer, (2021)Automated patch backporting in Linux (experience paper)., , , , , und . ISSTA, Seite 633-645. ACM, (2021)OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel., , , und . EuroSys, Seite 33-45. ACM, (2023)OS scheduling with nest: keeping tasks close together on warm cores., , , , , und . EuroSys, Seite 368-383. ACM, (2022)Automated Deprecated-API Usage Update for Android Apps: How Far are We?, , , , , , und . SANER, Seite 602-611. IEEE, (2020)Recommending Code Changes for Automatic Backporting of Linux Device Drivers., , , und . ICSME, Seite 222-232. IEEE Computer Society, (2016)Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers., , , und . USENIX ATC, Seite 255-268. USENIX Association, (2019)