Author Search Results

1

Incremental satisfiability counting for real-time systems

Incremental satisfiability counting for real-time systems

by Andrei, Ş., Chin, W.-N.
Published 2013

Get full text

Conference or Workshop Item

2

Mapping statecharts to verilog for hardware/software co-specification

Mapping statecharts to verilog for hardware/software co-specification

by Qin, S., Chin, W.-N.
Published 2013

Get full text

Article

3

Solving a class of higher-order equations over a group structure

Solving a class of higher-order equations over a group structure

by Andrei, Ş., Chin, W.-N.
Published 2013

Get full text

Article

4

Dual analysis for proving safety and finding bugs

Dual analysis for proving safety and finding bugs

by Popeea, C., Chin, W.-N.
Published 2013

Get full text

Conference or Workshop Item

5

A type system for resource protocol verification and its correctness proof

A type system for resource protocol verification and its correctness proof

by Popeea, C., Chin, W.-N.
Published 2013

Get full text

Conference or Workshop Item

6

Calculating sized types

Calculating sized types

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

Get full text

Article

7

Immutable specifications for more concise and precise verification

Immutable specifications for more concise and precise verification

by David, C., Chin, W.-N.
Published 2013

Get full text

Conference or Workshop Item

8

Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop: Foreword

Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop: Foreword

by Chin, W.-N., Hobor, A.
Published 2013

Get full text

Editorial

9

Inferring disjunctive postconditions

Inferring disjunctive postconditions

by Popeea, C., Chin, W.-N.
Published 2013

Get full text

Conference or Workshop Item

10

From verification to specification inference

From verification to specification inference

by Chin, W.-N., David, C.
Published 2013

Get full text

Conference or Workshop Item

11

A higher-order removal method

A higher-order removal method

by Chin, W.-N., Darlington, J.
Published 2014

Get full text

Article

12

Foreword

by Chin, W.-N., Hage, J.
Published 2016

Get full text

Editorial

13

A transformation method for dynamic-sized tabulation

A transformation method for dynamic-sized tabulation

by Chin, W.-N., Hagiya, M.
Published 2014

Get full text

Article

14

Dual analysis for proving safety and finding bugs

Dual analysis for proving safety and finding bugs

by Popeea, C., Chin, W.-N.
Published 2013

Get full text

Conference or Workshop Item

15

Immutable specifications for more concise and precise verification

Immutable specifications for more concise and precise verification

by David, C., Chin, W.-N.
Published 2013

Get full text

Conference or Workshop Item

16

Dodecanethiol-protected copper/silver bimetallic nanoclusters and their surface properties

Dodecanethiol-protected copper/silver bimetallic nanoclusters and their surface properties

by Ang, T.P., Chin, W.S.
Published 2014

Get full text

Article

17

A study of the median run length (MRL) performance of the EWMA t chart for the mean

A study of the median run length (MRL) performance of the EWMA t chart for the mean

by Chin, W.S., Khoo, M.B.C.
Published 2012

Get full text
Get full text
Get full text

Article

18

A semantic foundation for TCOZ in unifying theories of programming

A semantic foundation for TCOZ in unifying theories of programming

by Qin, S., Dong, J.S., Chin, W.-N.
Published 2013

Get full text

Article

19

Electronic structures of very strong, neutral bases

Electronic structures of very strong, neutral bases

by Novak, I., Wei, X., Chin, W.S.
Published 2014

Get full text

Article

20

A lazy divide & conquer approach to constraint solving

A lazy divide & conquer approach to constraint solving

by Anand, S., Chin, W.-N., Khoo, S.-C.
Published 2013

Get full text

Conference or Workshop Item

1
2
3
4
5
6
7
8
9
10
11
Next
[11]