Author of the publication

Revisiting Concurrent Separation Logic and Operational Semantics.

, , and . PDP, page 484-491. IEEE Computer Society, (2015)

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

Tool-Assisted Specification and Verification of the JavaCard Platform., , , and . AMAST, volume 2422 of Lecture Notes in Computer Science, page 41-59. Springer, (2002)Jakarta: A Toolset for Reasoning about JavaCard., , , and . E-smart, volume 2140 of Lecture Notes in Computer Science, page 2-18. Springer, (2001)A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction., , , and . PADL, volume 7752 of Lecture Notes in Computer Science, page 43-59. Springer, (2013)A tool for implementing privacy in Nano., , and . DAPPS, page 159-163. IEEE, (2020)Guest Editorial.. Comput. Sci. Inf. Syst., (2008)Deciding Regular Expressions (In-)Equivalence in Coq., , and . RAMICS, volume 7560 of Lecture Notes in Computer Science, page 98-113. Springer, (2012)Model-Checking Temporal Properties of Real-Time HTL Programs., , , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 191-205. Springer, (2010)GreenHub farmer: real-world data for Android energy mining., , , , , , and . MSR, page 171-175. IEEE / ACM, (2019)A Formal Executable Semantics of the JavaCard Platform., , , , and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 302-319. Springer, (2001)Revisiting concurrent separation logic., , and . J. Log. Algebraic Methods Program., (2017)