1. ScholarBank@NUS

Wei Ngan Chin

rp02769

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Wei Ngan Chin
Variants
Chin, W.-N.
Chin, W.N.
Chin, Wei-Ngan
 
Main Affiliation
 
Faculty
 
Email
dcscwn@nus.edu.sg
 

Publications

Results 21-40 of 87 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)
212013Automated specification discovery via user-defined predicatesHe, G.; Qin, S.; Chin, W.-N. ; Craciun, F.
222007Automated verification of shape and size properties via separation logicNguyen, H.H.; David, C.; Qin, S.; Chin, W.-N. 
232007Automated verification of shape, size and bag propertiesChin, W.-N. ; David, C.; Nguyen, H.H.; Qin, S.
242012Automated verification of shape, size and bag properties via user-defined predicates in separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
2518-Mar-2014Automated verification of the FreeRTOS scheduler in Hip/SleekFerreira, J.F.; Gherghina, C.; He, G.; Qin, S.; Chin, W.-N. 
262006Automatic debugging of real-time systems based on incremental satisfiability countingAndrei, Ş. ; Chin, W.N. ; Cheng, A.M.K.; Lupu, M.
73-Jan-2014Automatically refining partial specifications for heap-manipulating programsQin, S.; He, G.; Luo, C.; Chin, W.-N. ; Yang, H.
82011Automatically refining partial specifications for program verificationQin, S.; Luo, C.; Chin, W.-N. ; He, G.
92013Bi-abduction with pure properties for specification inferenceTrinh, M.-T.; Loc, Q.; David, C.; Chin, W.-N. 
101997Bounds inference method for vector-based memo-izationChin, Wei-Ngan ; Hagiya, Masami
112001Calculating sized typesChin, W.-N. ; Khoo, S.-C. 
122000Calculating sized typesChin, Wei-Ngan ; Khoo, Siau-Cheng 
132001Charting patterns on price historyAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
142001Charting patterns on price historyAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
152009Completeness of pointer program verification by separation logicTatsuta, M.; Chin, W.-N. ; Al Ameen, M.F.
162009Completeness of Pointer Program Verification by Separation LogicTatsuta, M.; Chin, W.-N. ; Al Ameen, M.F.
172006Core-Java: An expression-oriented JavaCraciun, F. ; Goh, H.Y.; Popeea, C. ; Chin, W.-N. 
181997Deriving efficient parallel programs for complex recurrencesChin, W.N. ; Tan, S.H. ; Teo, Y.M. 
192001Deriving pre-conditions for array bound check eliminationChin, W.-N. ; Khoo, S.-C. ; Xu, D.N. 
202013Dual analysis for proving safety and finding bugsPopeea, C.; Chin, W.-N.