Author of the publication

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects.

, , and . FMOODS/FORTE, volume 7892 of Lecture Notes in Computer Science, page 273-288. Springer, (2013)

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

Detecting Determinacy in Prolog Programs., , and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 132-147. Springer, (2006)On Multiphase-Linear Ranking Functions., and . CAV (2), volume 10427 of Lecture Notes in Computer Science, page 601-620. Springer, (2017)Combining Norms to Prove Termination., , , and . VMCAI, volume 2294 of Lecture Notes in Computer Science, page 126-138. Springer, (2002)Termination and Cost Analysis of Loops with Concurrent Interleavings., , , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 349-364. Springer, (2013)Precise Cost Analysis via Local Reasoning., , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 319-333. Springer, (2013)SACO: Static Analyzer for Concurrent Objects., , , , , , , and . TACAS, volume 8413 of Lecture Notes in Computer Science, page 562-567. Springer, (2014)Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis., , , and . SAS, volume 5079 of Lecture Notes in Computer Science, page 221-237. Springer, (2008)Task-level analysis for a language with async/finish parallelism., , , and . LCTES, page 21-30. ACM, (2011)Resource Analysis: From Sequential to Concurrent and Distributed Programs., , , , , , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 3-17. Springer, (2015)Resource Usage Analysis and Its Application to Resource Certification., , , , and . FOSAD, volume 5705 of Lecture Notes in Computer Science, page 258-288. Springer, (2009)