An Ensemble Learning Approach for Credit Scoring Problem - A Case Study of Taiwan Default Credit Card Dataset. | 0 | 0.34 | 2021 |
Automated verification of shape, size and bag properties via user-defined predicates in separation logic | 62 | 1.51 | 2012 |
Enhancing Program Verification with Lemmas | 34 | 1.20 | 2008 |
Analysing memory resource bounds for low-level programs | 31 | 1.44 | 2008 |
Detecting and eliminating memory leaks using cyclic memory allocation | 28 | 1.25 | 2007 |
Multiple Pre/Post Specifications for Heap-Manipulating Methods | 5 | 0.52 | 2007 |
Automated verification of shape and size properties via separation logic | 84 | 2.34 | 2007 |
Automated Verification of Shape, Size and Bag Properties | 10 | 0.57 | 2007 |
Deciding Boolean Algebra with Presburger Arithmetic | 32 | 1.27 | 2006 |
Exploring the acceptability envelope | 17 | 1.20 | 2005 |
Memory usage verification for OO programs | 30 | 1.49 | 2005 |
An algorithm for deciding BAPA: boolean algebra with presburger arithmetic | 31 | 1.18 | 2005 |
Verifying safety policies with size properties and alias controls | 18 | 1.35 | 2005 |