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 1-20 of 88 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
12008A fast algorithm to compute heap memory bounds of Java Card appletsPham, T.-H.; Truong, A.-H.; Truong, N.-T.; Chin, W.-N. 
22006A flow-based approach for variant parametric typesChin, W.-N. ; Craciun, F. ; Khoo, S.-C. ; Popeea, C. 
32006A flow-based approach for variant parametric typesChin, W.-N. ; Craciun, F. ; Khoo, S.-C. ; Popeea, C. 
42008A flow-sensitive region inference for CLIStefan, A. ; Craciun, F.; Chin, W.-N. 
52008A formal soundness proof of region-based memory management for object-oriented paradigmCraciun, F.; Qin, S.; Chin, W.-N. 
61996A higher-order removal methodChin, W.-N. ; Darlington, J.
72011A HIP and SLEEK verification systemChin, W.-N. ; David, C.; Gherghina, C.
82002A lazy divide & conquer approach to constraint solvingAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
92002A lazy divide & conquer approach to constraint solvingAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
102003A new algorithm for regularizing one-letter context-free grammarsAndrei, S. ; Cavadini, S.V.; Chin, W.-N. 
112008A practical and precise inference and specializer for array bound checks eliminationPopeea, C. ; Xu, D.N.; Chin, W.-N. 
122013A proof slicing framework for program verificationLe, T.C.; Gherghina, C.; Voicu, R. ; Chin, W.-N. 
132009A rigorous methodology for specification and verification of business processesMasalagiu, C.; Chin, W.-N. ; Andrei, Ş.; Alaiba, V.
142003A semantic foundation for TCOZ in unifying theories of programmingQin, S.; Dong, J.S. ; Chin, W.-N. 
152011A specialization calculus for pruning disjunctive predicates to support verificationChin, W.-N. ; Gherghina, C.; Voicu, R. ; Le, Q.L.; Craciun, F. ; Qin, S.
16Feb-1995A transformation method for dynamic-sized tabulationChin, W.-N. ; Hagiya, M.
172004A type system for resource protocol verification and its correctness proofPopeea, C. ; Chin, W.-N. 
182005An automatic mapping from Statecharts to VerilogTran, V.-A.V.; Qin, S. ; Chin, W.N. 
192002An efficient distributed deadlock avoidance algorithm for the AND modelWu, H. ; Chin, W.-N. ; Jaffar, J. 
202013An expressive framework for verifying deadlock freedomLe, D.-K.; Chin, W.-N. ; Teo, Y.-M.