Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th 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
a service of 
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.
last updated on 2023-09-24 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
