First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)
Latest Publications

TOTAL DOCUMENTS

56

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By IEEE

0769528562, 9780769528564

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Goal-independent Semantics for Path Dependent Analysis of Prolog Programs

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.30 ◽

2007 ◽

Author(s):

Lingzhong Zhao ◽

Tianlong Gu ◽

Junyan Qian

Keyword(s):

Prolog Programs ◽

Download Full-text

Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.51 ◽

2007 ◽

Author(s):

Franck Cassez ◽

Stavros Tripakis ◽

Karine Altisen

Keyword(s):

Fault Diagnosis ◽

Discrete Event Systems ◽

Discrete Event ◽

Optimal Cost ◽

Download Full-text

Varieties of Static Analyzers: A Comparison with ASTREE

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.55 ◽

2007 ◽

Author(s):

Patrick COUSOT ◽

Radhia COUSOT ◽

Jerome FERET ◽

Antoine MINE ◽

Laurent MAUBORGNE ◽

...

Download Full-text

Streaming State Space: A Method of Distributed Model Verification

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.47 ◽

2007 ◽

Author(s):

Viliam Holub ◽

Petr Tuma

Keyword(s):

State Space ◽

Model Verification ◽

Distributed Model

Download Full-text

Conference Organization and Committees

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.15 ◽

2007 ◽

Keyword(s):

Conference Organization

Download Full-text

Foundational certification of data-flow analyses

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.27 ◽

2007 ◽

Author(s):

Maria Joao Frade ◽

Ando Saabas ◽

Tarmo Uustalu

Keyword(s):

Download Full-text

Generation of optimal finite test suites for timed systems

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.29 ◽

2007 ◽

Author(s):

Mercedes G. Merayo ◽

Manuel Nunez ◽

Ismael Rodriguez

Keyword(s):

Timed Systems ◽

Download Full-text

Specification-based Test Generation and Optimization Using Model Checking

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.46 ◽

2007 ◽

Author(s):

Hongwei Zeng ◽

Huaikou Miao ◽

Jing Liu

Keyword(s):

Model Checking ◽

Test Generation

Download Full-text

Commutability of Design Pattern Instantiation and Integration

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.14 ◽

2007 ◽

Author(s):

Jing Dong ◽

Tu Peng ◽

Zongyan Qiu

Keyword(s):

Download Full-text

Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) ◽

10.1109/tase.2007.53 ◽

2007 ◽

Author(s):

Hung Ledang ◽

Dang Van Hung

Keyword(s):

Embedded Systems ◽

Real Time ◽

Systems Development

Download Full-text