Verification of static and dynamic barrier synchronization using bounded permissions

by Le, D.-K., Chin, W.-N., Teo, Y.-M.
Published 2014

Automated verification of shape, size and bag properties via user-defined predicates in separation logic

by Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Published 2013

Automated verification of shape, size and bag properties

by Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Published 2013

Completeness of pointer program verification by separation logic

by Tatsuta, M., Chin, W.-N., Al Ameen, M.F.
Published 2013

Test case generation for adequacy of floating-point to fixed-point conversion

by Pham, T.-H., Truong, A.-H., Chin, W.-N., Aoshima, T.
Published 2013

A flow-based approach for variant parametric types

by Chin, W.-N., Craciun, F., Khoo, S.-C., Popeea, C.
Published 2013

Enhancing modular OO verification with separation logic

by Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Published 2013

Multiple pre/post specifications for heap-manipulating methods

by Chin, W.-N., David, C., Nguyen, H.H., Qin, S.
Published 2013

Core-Java: An expression-oriented Java

by Craciun, F., Goh, H.Y., Popeea, C., Chin, W.-N.
Published 2013

Verifying heap-manipulating programs with unknown procedure calls

by Qin, S., Luo, C., He, G., Craciun, F., Chin, W.-N.
Published 2013

FixBag: A fixpoint calculator for quantified bag constraints

by Pham, T.-H., Trinh, M.-T., Truong, A.-H., Chin, W.-N.
Published 2013

Systematic debugging of real-time systems based on incremental satisfiability counting

by Andrei, Ş., Chin, W.-N., Cheng, A.M.K., Lupu, M.
Published 2013

Runtime-coordinated scalable incremental checksum testing of combinational circuits

by Andrei, Ş., Chin, W.-N., Cheng, A.M.K., Zhu, Y.
Published 2013

A proof slicing framework for program verification

by Le, T.C., Gherghina, C., Voicu, R., Chin, W.-N.
Published 2014

Towards complete specifications with an error calculus

by Le, Q.L., Sharma, A., Craciun, F., Chin, W.-N.
Published 2014

A fast algorithm to compute heap memory bounds of Java Card applets

by Pham, T.-H., Truong, A.-H., Truong, N.-T., Chin, W.-N.
Published 2013

Verifying pointer safety for programs with unknown calls

by Luo, C., Craciun, F., Qin, S., He, G., Chin, W.-N.
Published 2013

Automatic debugging of real-time systems based on incremental satisfiability counting

by Andrei, Ş., Chin, W.N., Cheng, A.M.K., Lupu, M.
Published 2013

Loop invariant synthesis in a combined abstract domain

by Qin, S., He, G., Luo, C., Chin, W.-N., Chen, X.
Published 2013

Automatically refining partial specifications for heap-manipulating programs

by Qin, S., He, G., Luo, C., Chin, W.-N., Yang, H.
Published 2014