5. TASE 2011: Xi'an, China

• John C. Reynolds:
  Making Program Logics Intelligible. 3-4
  
• Shaoying Liu:
  Automatic Specification-Based Testing: Challenges and Possibilities. 5-8
  
• Puneet Bhateja:
  A Tagging Protocol for Asynchronous Testing. 11-18
  
• Yijing Liu, Ali Hong, Zongyan Qiu:
  Inheritance and Modularity in Specification and Verification of OO Programs. 19-26
  
• Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu:
  Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. 27-34
  
• Graeme Smith, Steffen Helke:
  Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. 35-41
  
• Cong Tian, Zhenhua Duan:
  Focus Game for Projection Temporal Logic. 45-51
  
• Bo Wei, Zhi Jin, Didar Zowghi:
  An Automatic Reasoning Mechanism for NFR Goal Models. 52-59
  
• Min Zhou, Fei He, Ming Gu:
  An Efficient Resolution Based Algorithm for SAT. 60-67
  
• Yang Zhao, Xiaoqing Jin, Gianfranco Ciardo:
  A Symbolic Algorithm for Shortest EG Witness Generation. 68-75
  
• Haihe Shi, Jinyun Xue:
  A Generative Approach to Searching Algorithmic Programs Development. 76-81
  
• Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer:
  A Categorical Modeling Approach of Aspect-Oriented Systems. 85-92
  
• Haibin Zhang:
  Model Checking Multirate Hybrid Systems with Restricted Convex Polyhedron. 93-99
  
• Patrice Carle, Christine Choppy, Romain Kervarc:
  Behaviour Recognition Using Chronicles. 100-107
  
• Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu:
  Approximate Bisimulation for Metric Doubly Labeled Transition System. 108-114
  
• Hannes Lau, Uwe Nestmann:
  Java Goes TLA+. 117-124
  
• Wei Wang, Zhong Shao, Xinyu Jiang, Yu Guo:
  A Simple Model for Certifying Assembly Programs with First-Class Function Pointers. 125-132
  
• Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu:
  Towards an Axiomatic Verification System for JavaScript. 133-141
  
• Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi:
  Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. 142-149
  
• Guisheng Fan, Huiqun Yu, Liqiong Chen, Chunhua Gu:
  An Approach to Handling Failure Recovery in Service Composition and Its Analysis. 153-160
  
• Honghao Gao, Huaikou Miao, Hongwei Zeng:
  Research on Web Service Composition Using Probabilistic Abstraction Refinement. 161-168
  
• Ling Yin, Jing Liu, Zuohua Ding:
  Modeling and Prototyping Business Processes in AutoPA. 169-176
  
• Shengbo Chen, Huaikou Miao:
  Modeling and Verifying for Frameset-Based Web Applications. 177-184
  
• Yunni Xia, Gang Dai, Fangfang Tang, Qingsheng Zhu:
  A Stochastic-Petri-Net-Based Model for Ontology-Based Service Compositions. 187-190
  
• Yi Wang, Zhoujun Li, Tao Guo:
  Program Slicing Stored XSS Bugs in Web Application. 191-194
  
• Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li:
  Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. 195-198
  
• Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu:
  Analysis of WS-BPEL Processes in PRISM. 199-202
  
• Wenrui Li, Pengcheng Zhang, Zhijian Wang, Zhongxue Yang:
  Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based Specifications. 205-208
  
• Raphael Romeikat, Bernhard Bauer:
  Formal Specification of Domain-Specific ECA Policy Models. 209-212
  
• Lichen Zhang:
  Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach. 213-216
  
• Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo:
  An Approach to Regression Test Selection of Adaptive EFSM Tests. 217-220
  
• Puneet Bhateja:
  Test Case Generation Using PDA. 221-224
  
• Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer:
  Undesirable Aspect Interactions: A Prevention Policy. 225-228
  
• Ming Ma:
  Model Checking for Protocols Using Verds. 231-234
  
• Jianhua Gao, Ying Jiang:
  Model Checking: A Coalgebraic Approach. 235-238
  
• Zhaopeng Li, Yang Zhang, Yiyun Chen:
  A Method to Generate Verification Condition Generator. 239-242
  
• Guoqiang Li, Yonggen Gu, Xiuting Tao, Jie Tao:
  A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols. 243-246
  
• Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu:
  Modeling and Analyzing the (mu)TESLA Protocol Using CSP. 247-250
  
• Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun:
  Proving Computational Geometry Algorithms in TLA+2. 251-254
  

Last update Fri May 25 08:42:59 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page