| Shape analysis via second-order bi-abduction QL Le, C Gherghina, S Qin, WN Chin Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 77 | 2014 |
| 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, 381-397, 2014 | 38 | 2014 |
| Barriers in concurrent separation logic A Hobor, C Gherghina European Symposium on Programming, 276-296, 2011 | 36 | 2011 |
| Barriers in concurrent separation logic: now with tool support! A Hobor, C Gherghina Logical Methods in Computer Science 8, 2012 | 29 | 2012 |
| Structured specifications for better verification of heap-manipulating programs C Gherghina, C David, S Qin, WN Chin FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011 | 26 | 2011 |
| A HIP and SLEEK verification system WN Chin, C David, C Gherghina Proceedings of the ACM international conference companion on Object oriented …, 2011 | 21 | 2011 |
| Decision procedures over sophisticated fractional permissions XB Le, C Gherghina, A Hobor Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto …, 2012 | 19 | 2012 |
| A resource-based logic for termination and non-termination proofs TC Le, C Gherghina, A Hobor, WN Chin Formal Methods and Software Engineering: 16th International Conference on …, 2014 | 17 | 2014 |
| A specialization calculus for pruning disjunctive predicates to support verification WN Chin, C Gherghina, R Voicu, QL Le, F Craciun, S Qin Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 11 | 2011 |
| Expressive program verification via structured specifications C Gherghina, C David, S Qin, WN Chin International Journal on Software Tools for Technology Transfer 16, 363-380, 2014 | 5 | 2014 |
| A specification logic for exceptions and beyond C Gherghina, C David International Symposium on Automated Technology for Verification and …, 2010 | 4 | 2010 |
| 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 | 4 | 2009 |
| A proof slicing framework for program verification TC Le, C Gherghina, R Voicu, WN Chin Formal Methods and Software Engineering: 15th International Conference on …, 2013 | 1 | 2013 |
| A Specification Logic for Termination and Non-Termination Reasoning TC Le, C Gherghina, A Hobor, WN Chin Tech. rep., National University of Singapore, 2012 | 1 | 2012 |
| An Integrated Logic for Termination and Non-Termination Reasoning TC Le, C Gherghina, A Hobor, WN Chin Technical Report, 2012 | 1 | 2012 |
| Barriers in Concurrent Separation Logic: Now With Tool Support! A Hobor, C Gherghina 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 |
| Shape Analysis via Second-Order Bi-Abduction (Technical Report) QL Le, C Gherghina, S Qin, WN Chin | | |
Wei Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg
