Author of the publication

Development of a Synchronous Subset of AADL.

, and . ASM, volume 5977 of Lecture Notes in Computer Science, page 245-258. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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