• T
  • TASE
  • 2007
  • First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)
Advanced Search 
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)
Shanghai, China
June 06-June 08
ISBN: 0-7695-2856-2
Table of Contents
Introduction
Tutorial
Patrick COUSOT, Ecole Normale Superieure, France
Radhia COUSOT, CNRS, Ecole Polytechnique, France
Jerome FERET, Ecole Normale Superieure, France
Antoine MINE, Ecole Normale Superieure, France
Laurent MAUBORGNE, Ecole Normale Superieure, France
David MONNIAUX, CNRS, Ecole Normale Superieure, France
Xavier RIVAL, Ecole Normale Superieure, France
pp. 3-20
Keynote Speech Abstracts
Jeannette M. Wing, Carnegie Mellon University
pp. 21
Verification and Validation 1
Edd Turner, University of Southampton
Michael Leuschel, Universitat Dusseldorf Universitatsstr, Germany
Corinna Spermann, Universitat Dusseldorf Universitatsstr, Germany
Michael Butler, University of Southampton
pp. 25-34
Jinzhao Wu, University of Electronic Science and Technology
Lin Zhao, Chinese Academy of Sciences
pp. 35-44
Ansgar Fehnker, University of New South Wales, Australia
Ralf Huuck, University of New South Wales, Australia
Patrick Jayet, University of New South Wales, Australia
Michel Lussenburg, University of New South Wales, Australia
Felix Rauch, University of New South Wales, Australia
pp. 45-56
Formal Methods 1
Zhiming Chang, National University of Defense Technology
Xinjun Mao, National University of Defense Technology
Zhichang Qi, National University of Defense Technology
pp. 57-66
Software Architecture and Frameworks 1
NI Jiancheng, Qufu Normal University, Rizhao 276826, CHINA
LI Zhishu, Sichuan University
SUN Jirong, Sichuan University
XING Jianchuan, Sichuan University
pp. 97-106
Security Issues
Maria Joao Frade, Universidade do Minho
Ando Saabas, Tallinn University of Technology
Tarmo Uustalu, Tallinn University of Technology
pp. 107-116
Yu Guo, University of Science and Technology of China
Xinyu Jiang, University of Science and Technology of China
Yiyun Chen, University of Science and Technology of China
Chunxiao Lin, University of Science and Technology of China
pp. 117-126
Yiyun Chen, University of Science and Technology of China
Lin Ge, University of Science and Technology of China
Baojian Hua, University of Science and Technology of China
Zhaopeng Li, University of Science and Technology of China
Cheng Liu, University of Science and Technology of China
pp. 127-138
Testing Techniques
X.W. Huang, Chinese Academy of Sciences
L. Jiao, Chinese Academy of Sciences
W.M. Lu, Chinese Academy of Sciences
pp. 139-148
Mercedes G. Merayo, Universidad Complutense de Madrid, E-28040 Madrid. Spain.
Manuel Nunez, Universidad Complutense de Madrid, E-28040 Madrid. Spain.
Ismael Rodriguez, Universidad Complutense de Madrid, E-28040 Madrid. Spain.
pp. 149-158
Workflow Analysis
Jiacun Wang, Monmouth University
William Tepfenhart, Monmouth University
Daniela Rosca, Monmouth University
Anni Tsai, Monmouth University
pp. 171-177
Yunni Xia, Peking University
Hanpin Wang, Peking University
Yu Huang, Peking University
Wanling Qu, Peking University
pp. 178-187
Verification and Validation 2
Fei Pu, Chinese Academy of Sciences
Wenhui Zhang, Chinese Academy of Sciences
pp. 209-218
Cyrille Artho, National Institute of Informatics, Tokyo, Japan
Christian Sommer, ETH Z?rich, Zurich, Switzerland
Shinichi Honiden, National Institute of Informatics, Tokyo, Japan
pp. 219-228
Formal Methods 2
Yongtao Ma, Xidian University,Xi?an, 710071, P.R. China
Zhenhua Duan, Xidian University,Xi?an, 710071, P.R. China
Xiaobing Wang, Xidian University,Xi?an, 710071, P.R. China
Xiaoxiao Yang, Xidian University,Xi?an, 710071, P.R. China
pp. 251-260
Lingzhong Zhao, Guilin University Electronic Technology
Tianlong Gu, Guilin University Electronic Technology
Junyan Qian, Guilin University Electronic Technology
pp. 261-272
Software Architecture and Frameworks 2
Jing Dong, University of Texas at Dallas
Tu Peng, University of Texas at Dallas
Zongyan Qiu, Peking University
pp. 283-292
Safety and Reliability
Markus Pizka, Technische Universitat Munchen
Elmar Jurgens, Technische Universitat Munchen
pp. 305-315
Franck Cassez, CNRS/IRCCyN, Cedex, France
Stavros Tripakis, Cadence Berkeley Labs, 1995 University Avenue, Berkeley, CA,
Karine Altisen, INPG and Verimag Laboratory, France
pp. 316-325
Chunxiao Lin, University of Science and Technology of China
Andrew McCreight, Yale University
Zhong Shao, Yale University
Yiyun Chen, University of Science and Technology of China
Yu Guo, University of Science and Technology of China
pp. 326-338
Verification and Validation 3
Yanyan Xu, Chinese Academy of Sciences, Beijing, China
Wei Chen, Chinese Academy of Sciences, Beijing, China
Liang Xu, Chinese Academy of Sciences, Beijing, China
Wenhui Zhang, Chinese Academy of Sciences, Beijing, China
pp. 339-348
Hongwei Zeng, Wuhan University,
Huaikou Miao, Shanghai University, Shanghai 200072, China
Jing Liu, China Normal University, Shanghai 200062, China
pp. 349-355
Viliam, Charles University in Prague, Czech Republic
Petr Tuma, Charles University in Prague, Czech Republic
pp. 356-368
Formal Methods 3
Hai H. Wang, University of Southampton
Shengchao Qin, Durham University.
Jun Sun, National University of Singapore
Jin Song Dong, National University of Singapore
pp. 379-388
Software Architecture and Frameworks 3
Yifeng Sun, University of Sydney, NSW 2006, Australia
David Levy, University of Sydney, NSW 2006, Australia
pp. 401-410
Formal Methods 4
Dynamics of Control (Abstract)
J W Sanders, United Nations University
Matteo Turilli, Oxford University Computing Laboratory
pp. 440-449
Jianmin Jiang, Fujian Normal University
Jinzhao Wu, Chinese Academy of Sciences
Hongping Shu, Chengdu University of Information Technology
pp. 450-462
Service Systems
Maria Grazia Buscemi, IMT Lucca, Italy
Laura Ferrari, Telecom Italia Lab, Italy
Corrado Moiso, Telecom Italia Lab, Italy
Ugo Montanari, University of Pisa, Italy
pp. 463-472
Jing Li, East China Normal University
Huibiao Zhu, East China Normal University
Geguang Pu, East China Normal University
pp. 473-482
Wen-jun LI, Sun Yat-sen University
Xiao-jun LIANG, Sun Yat-sen University
Hua-mei SONG, Sun Yat-sen University
Xiao-cong ZHOU, Sun Yat-sen University
pp. 483-492
Author Index
Usage of this product signifies your acceptance of the Terms of Use.