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

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

Issue DateTitleAuthor(s)
12006A flow-based approach for variant parametric typesChin, W.-N. ; Craciun, F. ; Khoo, S.-C. ; Popeea, C. 
22003A new algorithm for regularizing one-letter context-free grammarsAndrei, S. ; Cavadini, S.V.; Chin, W.-N. 
32009A rigorous methodology for specification and verification of business processesMasalagiu, C.; Chin, W.-N. ; Andrei, Ş.; Alaiba, V.
42003A semantic foundation for TCOZ in unifying theories of programmingQin, S.; Dong, J.S. ; Chin, W.-N. 
52002An efficient distributed deadlock avoidance algorithm for the AND modelWu, H. ; Chin, W.-N. ; Jaffar, J. 
618-Mar-2014Automated verification of the FreeRTOS scheduler in Hip/SleekFerreira, J.F.; Gherghina, C.; He, G.; Qin, S.; Chin, W.-N. 
72006Automatic debugging of real-time systems based on incremental satisfiability countingAndrei, Ş. ; Chin, W.N. ; Cheng, A.M.K.; Lupu, M.
82001Calculating sized typesChin, W.-N. ; Khoo, S.-C. 
92001Charting patterns on price historyAnand, S.; Chin, W.-N. ; Khoo, S.-C. 
102009Completeness of Pointer Program Verification by Separation LogicTatsuta, M.; Chin, W.-N. ; Al Ameen, M.F.
112008Enhancing modular OO verification with separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
122003Extending sized type with collection analysisChin, W.-N. ; Khoo, S.-C. ; Xu, D.N. 
132006From Statecharts to Verilog: A formal approach to hardware/software co-specificationQin, S.; Chin, W.-N. ; He, J.; Qiu, Z.
142013Loop invariant synthesis in a combined abstract domainQin, S.; He, G.; Luo, C.; Chin, W.-N. ; Chen, X.
152003Mapping statecharts to verilog for hardware/software co-specificationQin, S.; Chin, W.-N. 
162009Optimizing the parallel computation of linear recurrences using compact matrix representationsNistor, A.; Chin, W.-N. ; Tan, T.-S. ; Tapus, N.
172006Redundant call elimination via tuplingChin, W.-N. ; Khoo, S.-C. ; Jones, N.
182004Self-embedded context-free grammars with regular counterpartsAndrei, S. ; Chin, W.-N. ; Cavadini, S.V.
192004Solving a class of higher-order equations over a group structureAndrei, Ş. ; Chin, W.-N. 
202010Verifying pointer safety for programs with unknown callsLuo, C.; Craciun, F.; Qin, S.; He, G.; Chin, W.-N.