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 74 to 88 of 88 < previous 
Issue DateTitleAuthor(s)
1992Safe fusion of functional expressionsChin, Wei-Ngan 
2004Self-embedded context-free grammars with regular counterpartsAndrei, S. ; Chin, W.-N. ; Cavadini, S.V.
2004Solving a class of higher-order equations over a group structureAndrei, Ş. ; Chin, W.-N. 
2010Stack bound inference for abstract Java BytecodeWang, S.; Qiu, Z.; Qin, S.; Chin, W.-N. 
2011Structured specifications for better verification of heap-manipulating programsGherghina, C.; David, C.; Qin, S.; Chin, W.-N. 
2005Systematic debugging of real-time systems based on incremental satisfiability countingAndrei, Ş.; Chin, W.-N. ; Cheng, A.M.K.; Lupu, M.
2010Test case generation for adequacy of floating-point to fixed-point conversionPham, T.-H.; Truong, A.-H.; Chin, W.-N. ; Aoshima, T.
1993Towards an automated tupling strategyChin, Wei-Ngan 
2013Towards complete specifications with an error calculusLe, Q.L.; Sharma, A.; Craciun, F.; Chin, W.-N. 
2009Translation and optimization for a core calculus with exceptionsDavid, C.; Gherghina, C.; Chin, W.N. 
2012Variable permissions for concurrency verificationLe, D.-K.; Chin, W.-N. ; Teo, Y.-M.
2013Verification of static and dynamic barrier synchronization using bounded permissionsLe, D.-K.; Chin, W.-N. ; Teo, Y.-M.
2010Verifying heap-manipulating programs with unknown procedure callsQin, S.; Luo, C.; He, G.; Craciun, F.; Chin, W.-N. 
2010Verifying pointer safety for programs with unknown callsLuo, C.; Craciun, F.; Qin, S.; He, G.; Chin, W.-N. 
2005Verifying safety policies with size properties and alias controlsChin, W.-N. ; Khoo, S.-C.; Qin, S.; Popeea, C.; Nguyen, H.H.