1. TASE 2007: Shanghai, China

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. IEEE Computer Society 2007 BibTeX

Tutorial

Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival:
Varieties of Static Analyzers: A Comparison with ASTREE. 3-20
Electronic Edition (link) BibTeX

Keynote Speech Abstracts

Jeannette M. Wing:
Software Security. 21
Electronic Edition (link) BibTeX
Mathai Joseph:
Abstractions for Real Real-time Systems. 22
Electronic Edition (link) BibTeX

Verification and Validation 1

Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler:
Symmetry Reduced Model Checking for B. 25-34
Electronic Edition (link) BibTeX
Jinzhao Wu, Lin Zhao:
Multi-Valued Model Checking via Groebner Basis Approach. 35-44
Electronic Edition (link) BibTeX
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch:
Model Checking Software at Compile Time. 45-56
Electronic Edition (link) BibTeX
Zhiming Chang, XinJun Mao, Zhichang Qi:
An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. 57-66
Electronic Edition (link) BibTeX
Paolo Zuliani:
A Formal Derivation of Grover's Quantum Search Algorithm. 67-74
Electronic Edition (link) BibTeX
Fei Xu, Li Zhang:
Unified Modeling and Analysis based on Petri nets and Pi calculus. 75-86
Electronic Edition (link) BibTeX

Software Architecture and Frameworks 1

Cong-Cong Xing:
An Object Type Graph System. 87-96
Electronic Edition (link) BibTeX
Jiancheng Ni, Zhishu Li, Jirong Sun, Jianchuan Xing:
Self-adaptive Intrusion Detection System for Computational Grid. 97-106
Electronic Edition (link) BibTeX

Security Issues

Maria João Frade, Ando Saabas, Tarmo Uustalu:
Foundational certification of data-flow analyses. 107-116
Electronic Edition (link) BibTeX
Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin:
A Certified Thread Library for Multithreaded User Programs. 117-126
Electronic Edition (link) BibTeX
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu:
Design of a Certifying Compiler Supporting Proof of Program Safety. 127-138
Electronic Edition (link) BibTeX

Testing Techniques

X. W. Huang, L. Jiao, W. M. Lu:
A Semantic Preorder on Refinement and Fairness. 139-148
Electronic Edition (link) BibTeX
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Generation of optimal finite test suites for timed systems. 149-158
Electronic Edition (link) BibTeX
Marc Aiguier, Delphine Longuet:
Test Selection Criteria for Modal Specifications of Reactive Systems. 159-170
Electronic Edition (link) BibTeX

Workflow Analysis

Jiacun Wang, William M. Tepfenhart, Daniela Rosca, Anni Tsai:
Resource-Constrained Workflow Modeling. 171-177
Electronic Edition (link) BibTeX
Yunni Xia, Hanpin Wang, Yu Huang, Wanling Qu:
Queuing analysis and performance evaluation of workflow through WFQN. 178-187
Electronic Edition (link) BibTeX
Fei Xu, Zhiwei Yu:
A Workflow Verification Method Based on Calculus. 188-196
Electronic Edition (link) BibTeX
Alexander Förster, Gregor Engels, Tim Schattkowsky, Ragnhild Van Der Straeten:
Verification of Business Process Quality Constraints Based on Visual Process Patterns. 197-208
Electronic Edition (link) BibTeX

Verification and Validation 2

Fei Pu, Wenhui Zhang:
Partition Refinement in Abstract Model Checking. 209-218
Electronic Edition (link) BibTeX
Cyrille Artho, Christian Sommer, Shinichi Honiden:
Model Checking Networked Programs in the Presence of Transmission Failures. 219-228
Electronic Edition (link) BibTeX
Naiyong Jin, Chengjie Shen:
Dynamic Verifying The Properties of The Simple Subset of PSL. 229-240
Electronic Edition (link) BibTeX

Formal Methods 2

Donghuo Chen, Guangquan Zhang, Jinzhao Wu:
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. 241-250
Electronic Edition (link) BibTeX
Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang:
An Interpreter for Framed Tempura and Its Application. 251-260
Electronic Edition (link) BibTeX
Lingzhong Zhao, Tianlong Gu, Junyan Qian:
Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. 261-272
Electronic Edition (link) BibTeX

Software Architecture and Frameworks 2

Howard Barringer, David E. Rydeheard, Dov M. Gabbay:
A Logical Framework for Monitoring and Evolving Software Components. 273-282
Electronic Edition (link) BibTeX
Jing Dong, Tu Peng, Zongyan Qiu:
Commutability of Design Pattern Instantiation and Integration. 283-292
Electronic Edition (link) BibTeX
Hung Ledang, Dang Van Hung:
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. 293-304
Electronic Edition (link) BibTeX

Safety and Reliability

Markus Pizka, Elmar Jürgens:
Automating Language Evolution. 305-315
Electronic Edition (link) BibTeX
Franck Cassez, Stavros Tripakis, Karine Altisen:
Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. 316-325
Electronic Edition (link) BibTeX
Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo:
Foundational Typed Assembly Language with Certified Garbage Collection. 326-338
Electronic Edition (link) BibTeX

Verification and Validation 3

Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang:
Evaluation of SAT-based Bounded Model Checking of ACTL Properties. 339-348
Electronic Edition (link) BibTeX
Hongwei Zeng, Huaikou Miao, Jing Liu:
Specification-based Test Generation and Optimization Using Model Checking. 349-355
Electronic Edition (link) BibTeX
Viliam Holub, Petr Tuma:
Streaming State Space: A Method of Distributed Model Verification. 356-368
Electronic Edition (link) BibTeX

Formal Methods 3

Phan C. Vinh, Jonathan P. Bowen:
A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. 369-378
Electronic Edition (link) BibTeX
Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong:
Realizing Live Sequence Charts in SystemVerilog. 379-388
Electronic Edition (link) BibTeX
Sun Meng:
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. 389-400
Electronic Edition (link) BibTeX

Software Architecture and Frameworks 3

Yifeng Sun, David Levy:
A Software Process for Modeling Complex Systems with UML-RT. 401-410
Electronic Edition (link) BibTeX
Ingo Feinerer, Gernot Salzer:
Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. 411-420
Electronic Edition (link) BibTeX
Tun Lu, Ning Gu:
Survivability-Aware Configuration Management of Service-Oriented System Based on Service Dependency. 421-432
Electronic Edition (link) BibTeX

Formal Methods 4

Shengyuan Wang, Yuan Dong:
Improving Combinability of Petri Nets with Inheritance, Aggregation and Association. 433-439
Electronic Edition (link) BibTeX
Jeff W. Sanders, Matteo Turilli:
Dynamics of Control. 440-449
Electronic Edition (link) BibTeX
Jianmin Jiang, Jinzhao Wu, Hongping Shu:
Symmetry in Process Algebra. 450-462
Electronic Edition (link) BibTeX

Service Systems

Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari:
Constraint-Based Policy Negotiation and Enforcement for Telco Services. 463-472
Electronic Edition (link) BibTeX
Jing Li, Huibiao Zhu, Geguang Pu:
Conformance Validation between Choreography and Orchestration. 473-482
Electronic Edition (link) BibTeX
Wen-jun Li, Xiao-jun Liang, Hua-mei Song, Xiaocong Zhou:
QoS-Driven Service Composition Modeling with Extended Hierarchical CPN. 483-492
Electronic Edition (link) BibTeX