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

Refined By:
Department:  COMPUTATIONAL SCIENCE

Results 1-20 of 79 (Search time: 0.013 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. 
62011A HIP and SLEEK verification systemChin, W.-N. ; David, C.; Gherghina, C.
72002A lazy divide & conquer approach to constraint solvingAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
82003A new algorithm for regularizing one-letter context-free grammarsAndrei, S. ; Cavadini, S.V.; Chin, W.-N. 
92008A practical and precise inference and specializer for array bound checks eliminationPopeea, C. ; Xu, D.N.; Chin, W.-N. 
102013A proof slicing framework for program verificationLe, T.C.; Gherghina, C.; Voicu, R. ; Chin, W.-N. 
112009A rigorous methodology for specification and verification of business processesMasalagiu, C.; Chin, W.-N. ; Andrei, Ş.; Alaiba, V.
122003A semantic foundation for TCOZ in unifying theories of programmingQin, S.; Dong, J.S. ; Chin, W.-N. 
132011A specialization calculus for pruning disjunctive predicates to support verificationChin, W.-N. ; Gherghina, C.; Voicu, R. ; Le, Q.L.; Craciun, F. ; Qin, S.
142004A type system for resource protocol verification and its correctness proofPopeea, C. ; Chin, W.-N. 
152005An automatic mapping from Statecharts to VerilogTran, V.-A.V.; Qin, S. ; Chin, W.N. 
162002An efficient distributed deadlock avoidance algorithm for the AND modelWu, H. ; Chin, W.-N. ; Jaffar, J. 
172013An expressive framework for verifying deadlock freedomLe, D.-K.; Chin, W.-N. ; Teo, Y.-M. 
182009An interval-based inference of variant parametric typesCraciun, F.; Chin, W.-N. ; He, G.; Qin, S.
192013Automated specification discovery via user-defined predicatesHe, G.; Qin, S.; Chin, W.-N. ; Craciun, F.
202007Automated verification of shape and size properties via separation logicNguyen, H.H.; David, C.; Qin, S.; Chin, W.-N.