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 1 to 20 of 88  next >
Issue DateTitleAuthor(s)
2008A fast algorithm to compute heap memory bounds of Java Card appletsPham, T.-H.; Truong, A.-H.; Truong, N.-T.; Chin, W.-N. 
2006A flow-based approach for variant parametric typesChin, W.-N. ; Craciun, F. ; Khoo, S.-C. ; Popeea, C. 
2006A flow-based approach for variant parametric typesChin, W.-N. ; Craciun, F. ; Khoo, S.-C. ; Popeea, C. 
2008A flow-sensitive region inference for CLIStefan, A. ; Craciun, F.; Chin, W.-N. 
2008A formal soundness proof of region-based memory management for object-oriented paradigmCraciun, F.; Qin, S.; Chin, W.-N. 
1996A higher-order removal methodChin, W.-N. ; Darlington, J.
2011A HIP and SLEEK verification systemChin, W.-N. ; David, C.; Gherghina, C.
2002A lazy divide & conquer approach to constraint solvingAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
2002A lazy divide & conquer approach to constraint solvingAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
2003A new algorithm for regularizing one-letter context-free grammarsAndrei, S. ; Cavadini, S.V.; Chin, W.-N. 
2008A practical and precise inference and specializer for array bound checks eliminationPopeea, C. ; Xu, D.N.; Chin, W.-N. 
2013A proof slicing framework for program verificationLe, T.C.; Gherghina, C.; Voicu, R. ; Chin, W.-N. 
2009A rigorous methodology for specification and verification of business processesMasalagiu, C.; Chin, W.-N. ; Andrei, Ş.; Alaiba, V.
2003A semantic foundation for TCOZ in unifying theories of programmingQin, S.; Dong, J.S. ; Chin, W.-N. 
2011A specialization calculus for pruning disjunctive predicates to support verificationChin, W.-N. ; Gherghina, C.; Voicu, R. ; Le, Q.L.; Craciun, F. ; Qin, S.
Feb-1995A transformation method for dynamic-sized tabulationChin, W.-N. ; Hagiya, M.
2004A type system for resource protocol verification and its correctness proofPopeea, C. ; Chin, W.-N. 
2005An automatic mapping from Statecharts to VerilogTran, V.-A.V.; Qin, S. ; Chin, W.N. 
2002An efficient distributed deadlock avoidance algorithm for the AND modelWu, H. ; Chin, W.-N. ; Jaffar, J. 
2013An expressive framework for verifying deadlock freedomLe, D.-K.; Chin, W.-N. ; Teo, Y.-M.