Barriers in concurrent separation logic

by Hobor, A., Gherghina, C.
Published 2013

Barriers in concurrent separation logic: Now with tool support!

by Hobor, A., Gherghina, C.
Published 2013

Decision procedures over sophisticated fractional permissions

by Bach, L.X., Gherghina, C., Hobor, A.
Published 2013

Translation and optimization for a core calculus with exceptions

by David, C., Gherghina, C., Chin, W.N.
Published 2013

A HIP and SLEEK verification system

by Chin, W.-N., David, C., Gherghina, C.
Published 2013

Structured specifications for better verification of heap-manipulating programs

by Gherghina, C., David, C., Qin, S., Chin, W.-N.
Published 2013

Expressive program verification via structured specifications

by Gherghina, C., David, C., Qin, S., Chin, W.-N.
Published 2016

A proof slicing framework for program verification

by Le, T.C., Gherghina, C., Voicu, R., Chin, W.-N.
Published 2014

Automated verification of the FreeRTOS scheduler in Hip/Sleek

by Ferreira, J.F., Gherghina, C., He, G., Qin, S., Chin, W.-N.
Published 2016

A specialization calculus for pruning disjunctive predicates to support verification

by Chin, W.-N., Gherghina, C., Voicu, R., Le, Q.L., Craciun, F., Qin, S.
Published 2013