Author Search Results

1

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

2

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

3

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

4

Inferring disjunctive postconditions

Inferring disjunctive postconditions

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

Get full text

Conference or Workshop Item

5

Calculating sized types

Calculating sized types

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

Get full text

Article

6

A higher-order removal method

A higher-order removal method

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

Get full text

Article

7

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

8

Foreword

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

Get full text

Editorial

9

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

10

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

11

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

12

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

13

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

14

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

15

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

16

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

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 formal soundness proof of region-based memory management for object-oriented paradigm

A formal soundness proof of region-based memory management for object-oriented paradigm

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

Get full text

Conference or Workshop Item

19

Charting patterns on price history

Charting patterns on price history

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

Get full text

Article

20

Enhancing program verification with lemmas

Enhancing program verification with lemmas

by Nguyen, H.H., Chin, W.-N.
Published 2013

Get full text

Conference or Workshop Item

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