<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META NAME="Generator" CONTENT="MS Exchange Server version 6.5.7651.59">
<TITLE>TASE 2009 - Call for Participation</TITLE>
</HEAD>
<BODY>
<!-- Converted from text/plain format -->
<BR>
<P><FONT SIZE=2> TASE 2009 - CALL FOR PARTICIPATION<BR>
<BR>
**********************************************************<BR>
* 3rd IEEE International Symposium on<BR>
* Theoretical Aspects of Software Engineering<BR>
* (TASE 2009)<BR>
* 29-31 July 2009, Tianjin, China<BR>
* <A HREF="http://www.dur.ac.uk/ieee.tase2009">http://www.dur.ac.uk/ieee.tase2009</A><BR>
*<BR>
* Early Registration Deadline : 18 June 2009<BR>
* For more information email: IEEE.TASE2009@durham.ac.uk<BR>
***********************=**********************************<BR>
<BR>
<BR>
TASE 2009 Invited Speakers<BR>
==========================<BR>
<BR>
Kim G. Larsen, Aalborg University, Denmark<BR>
<BR>
Zhong Shao, Yale University, USA<BR>
<BR>
Jin-Song Dong, National University of Singapore<BR>
<BR>
<BR>
<BR>
TASE 2009 Programme<BR>
====================<BR>
<BR>
Day 1: 29 July 2009<BR>
-------------------<BR>
<BR>
Invited Talk:<BR>
<BR>
Verification and Performance Analysis of Embedded Systems<BR>
Kim G. Larsen (Aalborg University)<BR>
<BR>
Session 1 : Real-Time and Embedded Systems<BR>
<BR>
Improving Responsiveness of Hard Real-Time Embedded Systems<BR>
Hugh Anderson (Wellington Institute of Technology) and Siau-Cheng KHOO (National University of Singapore) <BR>
<BR>
Environmental Simulation of Real-Time Systems with Nested Interrupts<BR>
Guoqiang Li (Shanghai Jiao Tong University), Shoji Yuen (Nagoya University) and Masakazu Adachi (Toyota Central R&D Labs. INC.).<BR>
<BR>
Semantics for Communicating Actors with Interdependent Real-Time Deadlines<BR>
Istv¨˘n Knoll (Aalborg University), Anders P. Ravn (Aalborg University) and Arne Skou (Aalborg University).<BR>
<BR>
An Efficient Algorithm for Finding Empty Space for Reconfigurable Systems<BR>
Zhenhua Duan (Xidian University) and Yan Xiao (Xidian University).<BR>
<BR>
Session 2 : Semantics<BR>
<BR>
State Visibility and Communication in Unifying Theories of Programming<BR>
Andrew Butterfield (Trinity College Dublin), Pawel Gancarski (Trinity College Dublin) and Jim Woodcock (University of York).<BR>
<BR>
Semantics of Metamodels in UML<BR>
Lijun Shan (National University of Defence Technology) and Hong Zhu (Oxford Brookes University).<BR>
<BR>
Refinement Algebra with Explicit Probabilism<BR>
Tahiry Rabehaja (UNU/IIST) and Jeffrey Sanders (UNU/IIST).<BR>
<BR>
Session 3 : Model Checking<BR>
<BR>
Environment Abstraction with State Clustering and Parameter Truncating<BR>
Hong Pan (Institute of Software, Chinese Academy of Sciences), Yi Lv (Institute of Software, Chinese Academy of Sciences) and Huimin Lin (Institute of Software, Chinese Academy of Sciences).<BR>
<BR>
Verification of Population Ring Protocols in PAT<BR>
Yang Liu (National University of Singapore), Jun Pang (University of Luxembourg), Jun Sun (National University of Singapore) and Jianhua Zhao (Nanjing University).<BR>
<BR>
Bounded Model Checking of ACTL Formulae<BR>
Wei Chen (Institute of Software, Chinese Academy of Sciences) and Wenhui Zhang (Institute of Software, Chinese Academy of Sciences).<BR>
<BR>
Day 2, 30 July 2009<BR>
-------------------<BR>
<BR>
Invited Talk:<BR>
<BR>
Modular Development of Certified System Software<BR>
Zhong Shao (Yale University) <BR>
<BR>
Session 4: Specification and Security<BR>
<BR>
Coarse Grained Retrenchment and the Mondex Denial of Service Attacks<BR>
Richard Banach (Manchester University).<BR>
<BR>
Specifying and Enforcing Constraints of Artifact Life Cycles<BR>
Xiangpeng Zhao (Peking University), Jianwen Su (University of California at Santa Barbara), Hongli Yang (Beijing University of Technology) and Zongyan Qiu (Peking University).<BR>
<BR>
Consistency Checking for LSC Specifications<BR>
Hai-Feng Guo (University of Nebraska at Omaha), Wen Zheng (University of Nebraska at Omaha) and Mahadevan Subramaniam (University of Nebraska at Omaha).<BR>
<BR>
Integrating Specification and Programs for System Modeling and Verification<BR>
Jun Sun (National University of Singapore), Yang Liu (National University of Singapore), Jin Song Dong (National University of Singapore) and Chunqing Chen (National University of Singapore).<BR>
<BR>
Session 5 : Software Testing I<BR>
<BR>
A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems<BR>
Gwan-Hwan Hwang (National Taiwan Normal University), Che-Sheng Lin (National Taiwan Normal University), Li-Te Tsao (National Taiwan Normal University), Kuei-Huan Chen (National Taiwan Normal University) and Yan-You Li (National Taiwan Normal University).<BR>
<BR>
Fault-based Test Case Generation for Component Connectors<BR>
Bernhard Aichernig (Graz University of Technology), Farhad Arbab (CWI), Lacramioara Astefanoaei (CWI), Frank de Boer (CWI), Meng Sun (CWI) and Jan Rutten (CWI).<BR>
<BR>
Test Data Generation for Derived Types in C Program<BR>
Zheng Wang (East China Normal University), Xiao Yu (East China Normal University), Tao Sun (East China Normal University), Geguang Pu (East China Normal University) and Zuohua Ding (Zhejiang Sci-Tech University).<BR>
<BR>
Session 6 : Software Models<BR>
<BR>
Program Repair as Sound Optimization of Broken Programs<BR>
Bernd Fischer (University of Southampton), Ando Saabas (Tallinn University of Technology) and Tarmo Uustalu (Tallinn University of Technology).<BR>
<BR>
Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach<BR>
Bo Song (Shanghai University) and Huaikou Miao (Shanghai University).<BR>
<BR>
Merging of Use Case Models: Semantic Foundations <BR>
Stephen Barrett (Concordia University), Daniel Sinnig (Concordia University), Patrice Chalin (Concordia University) and Greg Butler (Concordia University).<BR>
<BR>
Day 3, 31 July 2009<BR>
-------------------<BR>
<BR>
Invited Tutorial:<BR>
<BR>
Towards Expressive Specification and Efficient Model Checking<BR>
Jin Song Dong (National University of Singapore)<BR>
<BR>
Session 7 : Verification<BR>
<BR>
Verifying Semistructured Data Normalization using SWRL<BR>
Yuan Fang Li (University of Queensland), Jing Sun (University of Auckland), Gillian Dobbie (University of Auckland), Scott Uk-Jin Lee (University of Auckland) and Hai H. Wang (Aston University).<BR>
<BR>
Verifying Self-stabilizing Population Protocols with Coq<BR>
Yuxin Deng (Shanghai Jiao Tong University) and Jean-fran?ois Monin (Universit¨¦ de Grenoble 1).<BR>
<BR>
The Logical Approach to Low-level Stack Reasoning<BR>
Xinyu Jiang (University of Science and Technology of China), Yu Guo (University of Science and Technology of China) and Yiyun Chen (University of Science and Technology of China).<BR>
<BR>
Constructing Program Invariants via Solving QBF<BR>
Shikun Chen (National University of Defence Technology), Zhoujun Li (Beihang University) and Mengjun Li (National University of Defence Technology).<BR>
<BR>
Session 8 : Concurrency<BR>
<BR>
Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation<BR>
Moritz Martens (University of Mannheim) and Mila Majster-Cederbaum (University of Mannheim).<BR>
<BR>
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks<BR>
Ming Fu (University of Science and Technology of China), Yu Zhang (University of Science and Technology of China) and Yong Li (University of Science and Technology of China).<BR>
<BR>
Algorithms for Computing Weak Bisimulation Equivalence<BR>
Weisong Li (Institute of Software, Chinese Academy of Sciences).<BR>
<BR>
Session 9 : Software Testing II<BR>
<BR>
Interpreting a Successful Testing Process: Risk and Actual Coverage<BR>
Marielle Stoelinga (University of Twente) and Mark Timmer (University of Twente).<BR>
<BR>
Automated Test Case Generation based on Coverage Analysis<BR>
Tim A. Majchrzak (University of Muenster) and Herbert Kuchen (University of Muenster).<BR>
<BR>
Exploring Topological Structure of Boolean Expressions for Test Data Selection<BR>
Lian Yu (Peking University), Wei Zhao (IBM China Research Lab), Xiangdong Fan (Peking University) and Jun Zhu (IBM China Research Lab).<BR>
<BR>
On Testing 1-Safe Petri Nets<BR>
Guy-Vincent Jourdan (University of Ottawa) and Gregor von Bochmann (University of Ottawa).<BR>
<BR>
<BR>
The programme also include two poster sessions, comprising<BR>
of 23 selected poster presentations. This list of posters can<BR>
be found at <A HREF="http://www.dur.ac.uk/ieee.tase2009/">http://www.dur.ac.uk/ieee.tase2009/</A><BR>
<BR>
<BR>
</FONT>
</P>
</BODY>
</HTML>