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

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

17

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

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

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

20

Incremental deterministic planning

Incremental deterministic planning

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

Get full text

Conference or Workshop Item

1
2
3
4
5
Next
[5]