The Community for Technology Leaders
RSS Icon
Subscribe
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (2007)
Shanghai, China
June 6, 2007 to June 8, 2007
ISBN: 0-7695-2856-2
TABLE OF CONTENTS
Introduction
Reviewers (PDF)
pp. xii
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
Mathai Joseph , Tata Consultancy Services
pp. 22
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
Fei Xu , Tsinghua University
Li Zhang , Tsinghua University
pp. 75-86
Software Architecture and Frameworks 1
Cong-Cong Xing , Nicholls State University
pp. 87-96
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
Marc Aiguier , University of Evry Val d?Essonne
Delphine Longuet , University of Evry Val d?Essonne
pp. 159-170
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
Fei Xu , Tsinghua University
Zhiwei Yu , Tsinghua University
pp. 188-196
Alexander Forster , University of Paderborn
Gregor Engels , University of Paderborn
Tim Schattkowsky , University of Paderborn
Ragnhild Van Der Straeten , Vrije Universiteit Brussel
pp. 197-208
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
Naiyong Jin , East China Normal University
Chengjie Shen , East China Normal University
pp. 229-240
Formal Methods 2
Donghuo Chen , Soochow University
Guangquan Zhang , Soochow University
Jinzhao Wu , Soochow University
pp. 241-250
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
Howard Barringer , University of Manchester
David Rydeheard , University of Manchester
Dov Gabbay , Kings College London
pp. 273-282
Jing Dong , University of Texas at Dallas
Tu Peng , University of Texas at Dallas
Zongyan Qiu , Peking University
pp. 283-292
Hung Ledang , UVHC-LAMIH UMR 8530 CNRS
Dang Van Hung , UNU-IIST, Macao SAR, China
pp. 293-304
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
Phan Cong-Vinh , London South Bank University
Jonathan P. Bowen , Museophile Limited, UK
pp. 369-378
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
Sun Meng , CWI, Kruislaan 413, Amsterdam, The Netherlands
pp. 389-400
Software Architecture and Frameworks 3
Yifeng Sun , University of Sydney, NSW 2006, Australia
David Levy , University of Sydney, NSW 2006, Australia
pp. 401-410
Ingo Feinerer , Technische Universitat Wien
Gernot Salzer , Technische Universitat Wien
pp. 411-420
Formal Methods 4
Shengyuan Wang , Tsinghua University
Yuan Dong , Tsinghua University
pp. 433-439
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
Author Index (PDF)
pp. 493
4 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool