Browsing by Author CHIN WEI NGAN

Select a letter below to browse by last name or type
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z


Showing results 39 to 58 of 88 < previous   next >
Issue DateTitleAuthor(s)
1997Deriving efficient parallel programs for complex recurrencesChin, W.N. ; Tan, S.H. ; Teo, Y.M. 
2001Deriving pre-conditions for array bound check eliminationChin, W.-N. ; Khoo, S.-C. ; Xu, D.N. 
2010Dual analysis for proving safety and finding bugsPopeea, C.; Chin, W.-N. 
2013Dual analysis for proving safety and finding bugsPopeea, C.; Chin, W.-N. 
2008Enhancing modular OO verification with separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
2008Enhancing modular OO verification with separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
2008Enhancing program verification with lemmasNguyen, H.H. ; Chin, W.-N. 
2003Extending sized type with collection analysisChin, W.-N. ; Khoo, S.-C. ; Xu, D.N. 
2003Extending sized type with collection analysisChin, W.-N. ; Khoo, S.-C. ; Xu, D.N. 
2011FixBag: A fixpoint calculator for quantified bag constraintsPham, T.-H.; Trinh, M.-T.; Truong, A.-H.; Chin, W.-N. 
2014ForewordChin, W.-N. ; Hage, J.
2006From Statecharts to Verilog: A formal approach to hardware/software co-specificationQin, S.; Chin, W.-N. ; He, J.; Qiu, Z.
2012From verification to specification inferenceChin, W.-N. ; David, C.
2004Higher-Order and Symbolic Computation: EditorialChin, W.-N. ; Danvy, O.; Thiemann, P.
2011Immutable specifications for more concise and precise verificationDavid, C.; Chin, W.-N. 
2011Immutable specifications for more concise and precise verificationDavid, C.; Chin, W.-N. 
2007Incremental deterministic planningAndrei, Ş. ; Chin, W.-N. ; Rinard, M.
2004Incremental satisfiability counting for real-time systemsAndrei, Ş.; Chin, W.-N. 
2007Inferring disjunctive postconditionsPopeea, C. ; Chin, W.-N. 
2013Invariants synthesis over a combined domain for automated program verificationQin, S.; He, G.; Chin, W.-N. ; Yang, H.