PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Feng, Xinyu"

Author of the publication

copydeleteadd this publication to your clipboard
A Practical Verification Framework for Preemptive OS Kernels.

, , , , , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 59-79. Springer, (2016)

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.

Ye Feng University of Stuttgart

Qi Feng

Qi Feng University of Stuttgart

 

Other publications of authors with the same name

Reliable Message Delivery for Mobile Agents: Push or Pull., , , , and . ICPADS, page 314-320. IEEE Computer Society, (2002)Adaptive and reliable message delivery for mobile objects., , , and . GLOBECOM, page 3196-3200. IEEE, (2003)An operational happens-before memory model., and . Frontiers Comput. Sci., 10 (1): 54-81 (2016)A Structural Approach to Prophecy Variables., , , , and . TAMC, volume 7287 of Lecture Notes in Computer Science, page 61-71. Springer, (2012)Modular verification of assembly code with stack-based control abstractions., , , , and . PLDI, page 401-414. ACM, (2006)Modular verification of concurrent assembly code with dynamic thread creation and termination., and . ICFP, page 254-267. ACM, (2005)Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems., , , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 54-69. Springer, (2008)Local rely-guarantee reasoning.. POPL, page 315-327. ACM, (2009)Modular Verification of Concurrent Thread Management., , , and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 315-331. Springer, (2012)An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems., , , and . Mobile Agents, volume 2240 of Lecture Notes in Computer Science, page 135-151. Springer, (2001)