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:
Type:  Article

Results 1-20 of 23 (Search time: 0.007 seconds).

Issue DateTitleAuthor(s)
12006A flow-based approach for variant parametric typesChin, W.-N. ; Craciun, F. ; Khoo, S.-C. ; Popeea, C. 
21996A higher-order removal methodChin, W.-N. ; Darlington, J.
32003A new algorithm for regularizing one-letter context-free grammarsAndrei, S. ; Cavadini, S.V.; Chin, W.-N. 
42009A rigorous methodology for specification and verification of business processesMasalagiu, C.; Chin, W.-N. ; Andrei, Ş.; Alaiba, V.
52003A semantic foundation for TCOZ in unifying theories of programmingQin, S.; Dong, J.S. ; Chin, W.-N. 
6Feb-1995A transformation method for dynamic-sized tabulationChin, W.-N. ; Hagiya, M.
72002An efficient distributed deadlock avoidance algorithm for the AND modelWu, H. ; Chin, W.-N. ; Jaffar, J. 
818-Mar-2014Automated verification of the FreeRTOS scheduler in Hip/SleekFerreira, J.F.; Gherghina, C.; He, G.; Qin, S.; Chin, W.-N. 
92006Automatic debugging of real-time systems based on incremental satisfiability countingAndrei, Ş. ; Chin, W.N. ; Cheng, A.M.K.; Lupu, M.
102001Calculating sized typesChin, W.-N. ; Khoo, S.-C. 
112001Charting patterns on price historyAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
122009Completeness of Pointer Program Verification by Separation LogicTatsuta, M.; Chin, W.-N. ; Al Ameen, M.F.
132008Enhancing modular OO verification with separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
142003Extending sized type with collection analysisChin, W.-N. ; Khoo, S.-C. ; Xu, D.N. 
152006From Statecharts to Verilog: A formal approach to hardware/software co-specificationQin, S.; Chin, W.-N. ; He, J.; Qiu, Z.
162013Loop invariant synthesis in a combined abstract domainQin, S.; He, G.; Luo, C.; Chin, W.-N. ; Chen, X.
172003Mapping statecharts to verilog for hardware/software co-specificationQin, S.; Chin, W.-N. 
182009Optimizing the parallel computation of linear recurrences using compact matrix representationsNistor, A.; Chin, W.-N. ; Tan, T.-S. ; Tapus, N.
192006Redundant call elimination via tuplingChin, W.-N. ; Khoo, S.-C. ; Jones, N.
20Mar-1995Reexamination of 'optimization of array subscript range checks'Chin, Wei-Ngan ; Goh, Eak-Khoon