2014 Theoretical Aspects of Software Engineering Conference
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479950294

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Improved Recursive Algorithm for Parity Games

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.24 ◽

2014 ◽

Cited By ~ 1

Author(s):

Yao Liu ◽

Zhenhua Duan ◽

Cong Tian

Keyword(s):

Recursive Algorithm ◽

Parity Games

Download Full-text

Parametrizing Program Analysis

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.12 ◽

2014 ◽

Author(s):

Lunjin Lu

Keyword(s):

Program Analysis

Download Full-text

Publisher's Information

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.39 ◽

2014 ◽

Download Full-text

Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.30 ◽

2014 ◽

Cited By ~ 2

Author(s):

Yongqi Ge ◽

Yunwei Dong ◽

Hongbing Zhao

Keyword(s):

Energy Consumption ◽

Embedded Systems ◽

Real Time ◽

Task Scheduling ◽

Energy Efficient ◽

Energy Consumption Analysis ◽

And Task

Download Full-text

Behaviour Inference for Deadlock Checking

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.23 ◽

2014 ◽

Cited By ~ 1

Author(s):

Ka I. Pun ◽

Martin Steffen ◽

Volker Stolz

Download Full-text

Committees

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.5 ◽

2014 ◽

Download Full-text

Trace-Based Temporal Verification for Message-Passing Programs

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.14 ◽

2014 ◽

Cited By ~ 2

Author(s):

Jinjiang Lei ◽

Zongyan Qiu ◽

Zhong Shao

Keyword(s):

Message Passing ◽

Message Passing Programs

Download Full-text

Configuration of Services Based on Virtualization

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.28 ◽

2014 ◽

Cited By ~ 5

Author(s):

Jian-min Jiang ◽

HuiBiao Zhu ◽

Qin Li ◽

Shi Zhang ◽

Ping Gong ◽

...

Download Full-text

Welcome Message from the Program Committee Chairs

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.4 ◽

2014 ◽

Keyword(s):

Program Committee

Download Full-text

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.6 ◽

2014 ◽

Download Full-text

2014 Theoretical Aspects of Software Engineering Conference
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

An Improved Recursive Algorithm for Parity Games

Parametrizing Program Analysis

Publisher's Information

Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems

Behaviour Inference for Deadlock Checking

Committees

Trace-Based Temporal Verification for Message-Passing Programs

Configuration of Services Based on Virtualization

Welcome Message from the Program Committee Chairs

Table of Contents

Export Citation Format

2014 Theoretical Aspects of Software Engineering ConferenceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

An Improved Recursive Algorithm for Parity Games

Parametrizing Program Analysis

Publisher's Information

Energy-Efficient Task Scheduling and Task Energy Consumption Analysis for Real-Time Embedded Systems

Behaviour Inference for Deadlock Checking

Committees

Trace-Based Temporal Verification for Message-Passing Programs

Configuration of Services Based on Virtualization

Welcome Message from the Program Committee Chairs

Table of Contents

2014 Theoretical Aspects of Software Engineering Conference
Latest Publications