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 41-60 of 87 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)
412010Dual analysis for proving safety and finding bugsPopeea, C.; Chin, W.-N. 
422008Enhancing modular OO verification with separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
432008Enhancing modular OO verification with separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
442008Enhancing program verification with lemmasNguyen, H.H. ; Chin, W.-N. 
452003Extending sized type with collection analysisChin, W.-N. ; Khoo, S.-C. ; Xu, D.N. 
462003Extending sized type with collection analysisChin, W.-N. ; Khoo, S.-C. ; Xu, D.N. 
472011FixBag: A fixpoint calculator for quantified bag constraintsPham, T.-H.; Trinh, M.-T.; Truong, A.-H.; Chin, W.-N. 
82014ForewordChin, W.-N. ; Hage, J.
92006From Statecharts to Verilog: A formal approach to hardware/software co-specificationQin, S.; Chin, W.-N. ; He, J.; Qiu, Z.
102012From verification to specification inferenceChin, W.-N. ; David, C.
112004Higher-Order and Symbolic Computation: EditorialChin, W.-N. ; Danvy, O.; Thiemann, P.
122011Immutable specifications for more concise and precise verificationDavid, C.; Chin, W.-N. 
132011Immutable specifications for more concise and precise verificationDavid, C.; Chin, W.-N. 
142007Incremental deterministic planningAndrei, Ş. ; Chin, W.-N. ; Rinard, M.
152004Incremental satisfiability counting for real-time systemsAndrei, Ş.; Chin, W.-N. 
162007Inferring disjunctive postconditionsPopeea, C. ; Chin, W.-N. 
172013Invariants synthesis over a combined domain for automated program verificationQin, S.; He, G.; Chin, W.-N. ; Yang, H.
182013Loop invariant synthesis in a combined abstract domainQin, S.; He, G.; Luo, C.; Chin, W.-N. ; Chen, X.
192010Loop invariant synthesis in a combined domainQin, S.; He, G.; Luo, C.; Chin, W.-N. 
202003Mapping statecharts to verilog for hardware/software co-specificationQin, S.; Chin, W.-N.