Browsing by Author CHIN WEI NGAN

Select a letter below to browse by last name or type
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Showing results 21 to 40 of 88 < previous   next >
Issue DateTitleAuthor(s)
2009An interval-based inference of variant parametric typesCraciun, F.; Chin, W.-N. ; He, G.; Qin, S.
2013Automated specification discovery via user-defined predicatesHe, G.; Qin, S.; Chin, W.-N. ; Craciun, F.
2007Automated verification of shape and size properties via separation logicNguyen, H.H.; David, C.; Qin, S.; Chin, W.-N. 
2007Automated verification of shape, size and bag propertiesChin, W.-N. ; David, C.; Nguyen, H.H.; Qin, S.
2012Automated verification of shape, size and bag properties via user-defined predicates in separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
18-Mar-2014Automated verification of the FreeRTOS scheduler in Hip/SleekFerreira, J.F.; Gherghina, C.; He, G.; Qin, S.; Chin, W.-N. 
2006Automatic debugging of real-time systems based on incremental satisfiability countingAndrei, Ş. ; Chin, W.N. ; Cheng, A.M.K.; Lupu, M.
3-Jan-2014Automatically refining partial specifications for heap-manipulating programsQin, S.; He, G.; Luo, C.; Chin, W.-N. ; Yang, H.
2011Automatically refining partial specifications for program verificationQin, S.; Luo, C.; Chin, W.-N. ; He, G.
2013Bi-abduction with pure properties for specification inferenceTrinh, M.-T.; Loc, Q.; David, C.; Chin, W.-N. 
1997Bounds inference method for vector-based memo-izationChin, Wei-Ngan ; Hagiya, Masami
2001Calculating sized typesChin, W.-N. ; Khoo, S.-C. 
2000Calculating sized typesChin, Wei-Ngan ; Khoo, Siau-Cheng 
2001Charting patterns on price historyAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
2001Charting patterns on price historyAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
2009Completeness of Pointer Program Verification by Separation LogicTatsuta, M.; Chin, W.-N. ; Al Ameen, M.F.
2009Completeness of pointer program verification by separation logicTatsuta, M.; Chin, W.-N. ; Al Ameen, M.F.
2006Core-Java: An expression-oriented JavaCraciun, F. ; Goh, H.Y.; Popeea, C. ; Chin, W.-N. 
1997Deriving efficient parallel programs for complex recurrencesChin, W.N. ; Tan, S.H. ; Teo, Y.M. 
2001Deriving pre-conditions for array bound check eliminationChin, W.-N. ; Khoo, S.-C. ; Xu, D.N.