| 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 | 84 | 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 | 38 | 2011 |
| Barriers in concurrent separation logic: now with tool support! A Hobor, C Gherghina Logical Methods in Computer Science 8, 2012 | 30 | 2012 |
| 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 | 28 | 2011 |
| A HIP and SLEEK verification system WN Chin, C David, C Gherghina Proceedings of the ACM international conference companion on Object oriented …, 2011 | 23 | 2011 |
| Decision procedures over sophisticated fractional permissions XB Le, C Gherghina, A Hobor Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto …, 2012 | 21 | 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 | 19 | 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 | 12 | 2011 |
| 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 | 5 | 2009 |
| 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 | 4 | 2014 |
| A specification logic for exceptions and beyond C Gherghina, C David International Symposium on Automated Technology for Verification and …, 2010 | 4 | 2010 |
| Efficiently verifying programs with rich control flows CA Gherghina Ph. D. thesis, National University of Singapore, 2012 | 3 | 2012 |
| 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 |
Wei Ngan ChinNational University of Singaporeכתובת אימייל מאומתת בדומיין comp.nus.edu.sg