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:
Date Issued:  [2010 TO 2020]

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

Issue DateTitleAuthor(s)
12011A HIP and SLEEK verification systemChin, W.-N. ; David, C.; Gherghina, C.
22013A proof slicing framework for program verificationLe, T.C.; Gherghina, C.; Voicu, R. ; Chin, W.-N. 
32011A specialization calculus for pruning disjunctive predicates to support verificationChin, W.-N. ; Gherghina, C.; Voicu, R. ; Le, Q.L.; Craciun, F. ; Qin, S.
42013An expressive framework for verifying deadlock freedomLe, D.-K.; Chin, W.-N. ; Teo, Y.-M. 
52013Automated specification discovery via user-defined predicatesHe, G.; Qin, S.; Chin, W.-N. ; Craciun, F.
62012Automated verification of shape, size and bag properties via user-defined predicates in separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
718-Mar-2014Automated verification of the FreeRTOS scheduler in Hip/SleekFerreira, J.F.; Gherghina, C.; He, G.; Qin, S.; Chin, W.-N. 
83-Jan-2014Automatically refining partial specifications for heap-manipulating programsQin, S.; He, G.; Luo, C.; Chin, W.-N. ; Yang, H.
92011Automatically refining partial specifications for program verificationQin, S.; Luo, C.; Chin, W.-N. ; He, G.
102013Bi-abduction with pure properties for specification inferenceTrinh, M.-T.; Loc, Q.; David, C.; Chin, W.-N. 
112013Dual analysis for proving safety and finding bugsPopeea, C.; Chin, W.-N. 
122010Dual analysis for proving safety and finding bugsPopeea, C.; Chin, W.-N. 
132011FixBag: A fixpoint calculator for quantified bag constraintsPham, T.-H.; Trinh, M.-T.; Truong, A.-H.; Chin, W.-N. 
142014ForewordChin, W.-N. ; Hage, J.
152012From verification to specification inferenceChin, W.-N. ; David, C.
162011Immutable specifications for more concise and precise verificationDavid, C.; Chin, W.-N. 
172011Immutable specifications for more concise and precise verificationDavid, C.; Chin, W.-N. 
182013Invariants synthesis over a combined domain for automated program verificationQin, S.; He, G.; Chin, W.-N. ; Yang, H.
192013Loop invariant synthesis in a combined abstract domainQin, S.; He, G.; Luo, C.; Chin, W.-N. ; Chen, X.
202010Loop invariant synthesis in a combined domainQin, S.; He, G.; Luo, C.; Chin, W.-N.