[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] IEEE TASE 2010: Call for Participation

We apologize if you have received multiple copies of the messages.




4th IEEE Symposium on

Theoretical Aspects of Software Engineering

August 24 - 27, 2010, Taipei, Taiwan, ROC




IEEE TASE 2010 aims to become a forum for the presentation

and discussion of new fundamental ideas in software engineering

of large-scale systems.

Software engineering of such systems has usually been viewed

as the study of principles, guidelines, and empirical rules.

To manage the complexity of large-scale software projects,

various theories have been proposed. 

The first three TASE conferences were held

in Shanghai, China in June 2007;

in Nanjing, China in June 2008; and

in Tianjin, China in July 2009. 

This year, it will be moved to the beautiful campus

of National Taiwan University. 

The technical program includes 3 keynote speeches, 22 technical papers,

and two tutorials before the general sessions. 


Please consider visiting Taipei with this opportunity. 

For further information, please check out the IEEE TASE 2010 website

or send emails to farn@cc.ee.ntu.edu.tw.




General Chair:

  Farn Wang (National Taiwan Univ.)


Finance Chair:

  Hsu-Chun Yen (National Taiwan Univ.)


Local Arrangement:

  Churn-Jung Liau (Academia Sinica)


Program Cochairs:

  Jing Liu (East China Normal Univ.)

  Doron A. Peled (Bar Ilan Univ.)

  Bow-Yaw Wang (Academia Sinica)


Steering Committee:

  Keijiro Araki (Kyushu Univ.)

  Jifeng He (East China Normal Univ.a)

  Michael Hinchey (Lero, IE, chair)

  Zhiming Liu (UNU/IIST)

  Huibiao Zhu (East China Normal Univ.)


==[IEEE TASE 2010 Preliminary Program]=============================


August 24, 2010 (Tuesday)


1000 - 1600


Tutorials by Professors Raymond Abrial and Mike Hinchey.


1800 - 2000





August 25, 2010 (Wednesday)


0900 - 1000 Session I

Invited talk

Prof. Mike Hinchey


1000 - 1030 Coffee break


1030 - 1200 Session II


Yongxin Zhao, Zheng Wang, Geguang Pu and Huibiao Zhu.

A Formal Model for Service Choreography with Exception Handling and Finalization


Chen-Wei Wang, Jim Davies and James Welch.

A Guarded Workflow Language and its Formal Semantics


Hung Ledang and Hubert Dubois.

Proving Model Transformations


1200 - 1400 lunch


1400 - 1530 Session III


Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang and Dawei Fan.

A Certifying Compiler for Clike Subset of C Language


Shengyi Wang, Zongyan Qiu, Shengchao Qin and Wei-Ngan Chin.

Stack Bound Inference for Abstract Java Bytecode


Liu Pan, Miao Huaikou and Mei Jia.

Efficient Algorithms for Building the Sets P and W


1530 - 1600 Coffee break


1630 - 1800 Session IV


Lin Zhao, Tao Tang, Jinzhao Wu and Tianhua Xu.

Runtime Verification with Multi-Valued Formula Rewriting


Xiaoxiao Yang.

Axiomatic Interval Temporal Logic Verification


Hong Zhu.

On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic



August 26, 2010 (Thursday)


0900 - 1000 Session I

Invited talk

Prof. Raymond Abrial


1000 - 1030 Coffee break


1030 - 1200 Session II


Kahloul Laid, Chaoui Allaoua and Djouani Karim.

Modeling Reconfirgurable Systems Using Flexible Petri Nets


Yunhe Wang, Bo Jiang and Li Jiao.

Property Checking for 1-Place-Unbounded Petri Nets


Haibin Zhang and Zhenhua Duan.

Model Checking Rectangular Hybrid Systems With Timed Computation Tree Logic


1200 - 1400 Lunch


1400 - 1500 Session III


Zining Cao.

Bisimulations for Open Processes in Higher Order Pi-Calculus


Moritz Kleine and Thomas Gothel.

Specification, Verification and Implementation of Business Processes using CSP


1500 - 1530 Coffee break


1530 - 1630 Session IV


Saddek Bensalem, Axel Legay, Thanh Hung Nguyen, Joseph Sifakis and Rongjie Yan.

Incremental Invariant Generation for Compositional Design


Fei He, He Zhu, William N. N. Hung, Xiaoyu Song and Ming Gu.

Compositional Abstraction Refinement for Timed Systems


1630 - 1700 Coffee break


1700 - 1800 Session V


Hai Wan, Xiaoyu Song and Ming Gu.

Parameterized Specifying and Verifying PLC Systems in Coq


Farn Wang.

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


Raghava Rao Mukkamala and Thomas Hildebrandt.

From Dynamic Condition Response Structures to Buechi Automata



August 27, 2010 (Friday)


0900 - 1000 Session I


Invited talk

(Not yet determined)


1000 - 1030 Coffee break


1030 - 1200 Session II


Yongxin Zhao, Yanhong Huang, Jianwen Li and Huibiao Zhu.

Probabilistic Model of System Survivability


Jianjun Xu, Qingping Tan and Wanwei Liu.

Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis


Shengbo Chen.

Towards Practical Modeling of Web Applications and Generating Tests


1200 - 1800 Lunch and excursion


1800 - Banquet