7th TASE 2013: Birmingham, UK
- Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK. IEEE Computer Society 2013, ISBN 978-0-7695-5053-4
Invited Talk
Session 1: Model Checking
- Daniel Stöhr, Sabine Glesner:
Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. 7-14 - Liangze Yin, Fei He, Ming Gu:
Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. 23-26
Session 2: Verification
- Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu:
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. 29-36 - Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo:
Modeling and Verification of AUTOSAR OS and EMS Application. 37-44
Session 3: Logic and Semantics
- Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang:
Towards Conformance Testing of Choreography Based on Scenario. 59-62 - Djedjiga Mouheb, Raha Ziarati, Mourad Debbabi:
Aspect-Oriented Semantic Framework for Executable Models. 63-70 - Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
When Even the Interface Evolves... 79-82
Invited Talk
- Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang:
Model Repair for Markov Decision Processes. 85-92
Session 4: Program Analysis and Testing
- Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu:
Aspect Orientation Based Test Case Selection Strategy for Service Composition. 95-104 - Mustafa Zengin, Viktor Vafeiadis:
A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism. 105-112 - Hengyang Wu, Yixiang Chen, Min Zhang:
On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. 113-120
Session 5: Modeling and Application
- Radu Calinescu, Yasmin Rafiq:
Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. 131-134 - Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco:
Verifying Bigraphical Models of Architectural Reconfigurations. 135-138
Session 6: Concurrency and Real Time
- Zhucheng Shao, Jing Liu, Xiaohong Chen, Zuohua Ding, Zhengheng Yuan:
Unified Modeling of Active and Reactive Components for Real-Time Systems. 145-148 - Masaki Murakami:
Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System. 149-152 - Gongzheng Lu, Huaikou Miao:
Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. 153-156 - Qian Ma, Zhenhua Duan, Mengfei Yang:
Integration of Linear Constraints with a Temporal Logic Programming Language. 157-164 - Markus Bals, Christina Jansen, Thomas Noll:
Incremental Construction of Greibach Normal Form. 165-168
Invited Talk
- Neil White, Janet Barnes:
How Should We Build That? Evolving a Development Environment That's Suitable for Constructing Today's Systems. 171
Session 7: Modeling and Reasoning
- Hao Wu, Rosemary Monahan, James F. Power:
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. 175-182 - Luís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes:
Computing Repairs from Active Integrity Constraints. 183-190 - Nicolás Cardozo, Sebastián González, Kim Mens, Ragnhild Van Der Straeten, Theo D'Hondt:
Modeling and Analyzing Self-Adaptive Systems with Context Petri Nets. 191-198
Session 8: Logic and Semantics
- Rui-Zhi Dong, Xin Peng, Yijun Yu, Wenyun Zhao:
Requirements-Driven Self-Repairing against Environmental Failures. 241-244