Cristian Gherghina
Cristian Gherghina
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Shape analysis via second-order bi-abduction
QL Le, C Gherghina, S Qin, WN Chin
International Conference on Computer Aided Verification, 52-68, 2014
532014
Barriers in concurrent separation logic
A Hobor, C Gherghina
European Symposium on Programming, 276-296, 2011
332011
Automated verification of the FreeRTOS scheduler in Hip/Sleek
JF Ferreira, C Gherghina, G He, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16 (4), 381-397, 2014
312014
Barriers in concurrent separation logic: now with tool support!
A Hobor, C Gherghina
arXiv preprint arXiv:1203.6412, 2012
252012
BARRIERS IN CONCURRENT SEPARATION LOGIC: NOW WITH TOOL SUPPORT!
A HOBOR, C GHERGHINA
Logical Methods in Computer Science 8 (2), 2012
252012
Structured specifications for better verification of heap-manipulating programs
C Gherghina, C David, S Qin, WN Chin
International Symposium on Formal Methods, 386-401, 2011
252011
Decision procedures over sophisticated fractional permissions
XB Le, C Gherghina, A Hobor
Asian Symposium on Programming Languages and Systems, 368-385, 2012
172012
A resource-based logic for termination and non-termination proofs
TC Le, C Gherghina, A Hobor, WN Chin
International Conference on Formal Engineering Methods, 267-283, 2014
162014
A HIP and SLEEK verification system
WN Chin, C David, C Gherghina
Proceedings of the ACM international conference companion on Object oriented†…, 2011
162011
A specialization calculus for pruning disjunctive predicates to support verification
WN Chin, C Gherghina, R Voicu, QL Le, F Craciun, S Qin
International Conference on Computer Aided Verification, 293-309, 2011
122011
Expressive program verification via structured specifications
C Gherghina, C David, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16 (4), 363-380, 2014
42014
A specification logic for exceptions and beyond
C Gherghina, C David
International Symposium on Automated Technology for Verification and†…, 2010
42010
Translation and optimization for a core calculus with exceptions
C David, C Gherghina, WN Chin
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and†…, 2009
42009
A proof slicing framework for program verification
TC Le, C Gherghina, R Voicu, WN Chin
International Conference on Formal Engineering Methods, 53-69, 2013
12013
An Integrated Logic for Termination and Non-Termination Reasoning
TC Le, C Gherghina, A Hobor, WN Chin
Technical Report, 2012
12012
A Specification Logic for Termination and Non-Termination Reasoning
TC Le, C Gherghina, A Hobor, WN Chin
Tech. rep., National University of Singapore, 2012
12012
Barriers in Concurrent Separation Logic: Now With Tool Support!
C Gherghina, A Hobor
Logical Methods in Computer Science 8, 2012
2012
Decision procedures over sophisticated fractional permissions
LX Bach, C Gherghina, A Hobor
2012
Hoare logic for multistaged programs
K Yi, C Gherghina
2011
Automated Verification Using Unified Control Flows
C Gherghina, C David
2009 Third IEEE International Symposium on Theoretical Aspects of Software†…, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20