Cristian Gherghina
Cristian Gherghina
Dirección de correo verificada de google.com - Página principal
Título
Citado por
Citado por
Año
Shape analysis via second-order bi-abduction
QL Le, C Gherghina, S Qin, WN Chin
International Conference on Computer Aided Verification, 52-68, 2014
482014
Barriers in concurrent separation logic
A Hobor, C Gherghina
European Symposium on Programming, 276-296, 2011
312011
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
272014
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
232011
Decision procedures over sophisticated fractional permissions
XB Le, C Gherghina, A Hobor
Asian Symposium on Programming Languages and Systems, 368-385, 2012
172012
A HIP and SLEEK verification system
WN Chin, C David, C Gherghina
Proceedings of the ACM international conference companion on Object oriented …, 2011
152011
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
132014
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
112011
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
32010
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
32009
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20