Barriers in concurrent separation logic

由 Hobor, A., Gherghina, C.
出版 2013

Barriers in concurrent separation logic: Now with tool support!

由 Hobor, A., Gherghina, C.
出版 2013

Decision procedures over sophisticated fractional permissions

由 Bach, L.X., Gherghina, C., Hobor, A.
出版 2013

Translation and optimization for a core calculus with exceptions

由 David, C., Gherghina, C., Chin, W.N.
出版 2013

A HIP and SLEEK verification system

由 Chin, W.-N., David, C., Gherghina, C.
出版 2013

Structured specifications for better verification of heap-manipulating programs

由 Gherghina, C., David, C., Qin, S., Chin, W.-N.
出版 2013

Expressive program verification via structured specifications

由 Gherghina, C., David, C., Qin, S., Chin, W.-N.
出版 2016

A proof slicing framework for program verification

由 Le, T.C., Gherghina, C., Voicu, R., Chin, W.-N.
出版 2014

Automated verification of the FreeRTOS scheduler in Hip/Sleek

由 Ferreira, J.F., Gherghina, C., He, G., Qin, S., Chin, W.-N.
出版 2016

A specialization calculus for pruning disjunctive predicates to support verification

由 Chin, W.-N., Gherghina, C., Voicu, R., Le, Q.L., Craciun, F., Qin, S.
出版 2013