2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424478477

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2010.31 ◽

2010 ◽

Author(s):

Farn Wang

Keyword(s):

Software Verification ◽

Decision Diagrams ◽

Word Level ◽

Level Model

Download Full-text

Copyright Page

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2010.3 ◽

2010 ◽

Download Full-text

Stack Bound Inference for Abstract Java Bytecode

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2010.24 ◽

2010 ◽

Cited By ~ 1

Author(s):

Shengyi Wang ◽

Zongyan Qiu ◽

Shengchao Qin ◽

Wei-Ngan Chin

Keyword(s):

Java Bytecode

Download Full-text

An Improved Algorithm for Building the Characterizing Set

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2010.14 ◽

2010 ◽

Author(s):

Huaikou Miao ◽

Pan Liu ◽

Jia Mei

Keyword(s):

Improved Algorithm

Download Full-text

The Art of Developing Autonomic Systems - The ASSL Approach

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2010.33 ◽

2010 ◽

Author(s):

Mike Hinchey ◽

Emil Vassev

Keyword(s):

Autonomic Systems

Download Full-text

Axiomatic Temporal Logic Programs Verification

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2010.10 ◽

2010 ◽

Author(s):

Xiaoxiao Yang ◽

Zhenhua Duan

Keyword(s):

Temporal Logic ◽

Logic Programs

Download Full-text

Title Page iii

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2010.2 ◽

2010 ◽

Keyword(s):

Title Page

Download Full-text

Author Index

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2010.29 ◽

2010 ◽

Download Full-text

Organizing and Program Committees

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2010.5 ◽

2010 ◽

Download Full-text

Foreword

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2010.4 ◽

2010 ◽

Download Full-text

2010 4th IEEE International Symposium on Theoretical Aspects of Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Lazy Decision Diagrams for Word-Level Model Manipulation in Software Verification

Copyright Page

Stack Bound Inference for Abstract Java Bytecode

An Improved Algorithm for Building the Characterizing Set

The Art of Developing Autonomic Systems - The ASSL Approach

Axiomatic Temporal Logic Programs Verification

Title Page iii

Author Index

Organizing and Program Committees

Foreword

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
Latest Publications