Concepedia

Cristian Gherghina

CG

Statistics

Publications

3

Citations

54

H-Index

3

Active since

2011

Affiliations

National University of Singapore(Current)

Cristian Gherghina is an author at National University of Singapore specializing in computing, computer science, and deductive verification.

Publications per year

2011–2014

3

Publications

3

Automated verification of the FreeRTOS scheduler in Hip/Sleek

João F. Ferreira, Cristian Gherghina, Guanhua He et al. · International Journal on Software Tools for Technology Transfer · 2014 · 27 citations · Full text

Computing, Computer Engineering, Computer Science +7

Barriers in Concurrent Separation Logic: Now With Tool Support!

Aquinas Hobor, Cristian Gherghina · Logical Methods in Computer Science · 2012 · 14 citations · Full text

Computing, Computer Science, Computer Systems +17

A HIP and SLEEK verification system

Wei-Ngan Chin, Cristina David, Cristian Gherghina · 2011 · 13 citations

Computing, Computer Engineering, Computer Science +15

1–3 of 3