![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
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
- Axel van Lamsweerde:
Engineering Multi-view Models for Model-Driven Engineering. 3
Session 1: Model Checking
- Daniel Stöhr, Sabine Glesner:
Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. 7-14 - Tayssir Touili:
Process Rewrite Systems for Software Model Checking. 15-22 - 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 - Xiaofeng Wu, Qiwen Xu, Huibiao Zhu:
Formal Analysis of AODV Using Rely-Guarantee. 45-48
Session 3: Logic and Semantics
- Daniel Gaffé
, Annie Ressouche:
Algebraic Framework for Synchronous Language Semantics. 51-58 - 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 - Pedro Ribeiro
, Ana Cavalcanti
:
Designs with Angelic Nondeterminism. 71-78 - 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 - Yang Zhang, Xinyu Feng:
An Operational Approach to Happens-Before Memory Model. 121-128
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 - Laurent Thiry
, Michel Hassenforder:
Surfing with Fun. 139-142
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 - Ken Madlener, Sjaak Smetsers:
GSOS Formalized in Coq. 199-206
Session 8: Logic and Semantics
- Ingo Feinerer
, Gernot Salzer
, Tanja Sisel:
Class Diagrams with Equated Association Chains. 209-216 - Zining Cao:
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. 217-224 - Chunyan Mu:
On Information Flow Control in Event-B and Refinement. 225-232 - Barry Jay, Jose Vergara:
Growing a Language in Pattern Calculus. 233-240 - Rui-Zhi Dong, Xin Peng, Yijun Yu, Wenyun Zhao:
Requirements-Driven Self-Repairing against Environmental Failures. 241-244
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.