default search action
5th TASE 2011: Xi'an, China
- Zhenhua Duan, C.-H. Luke Ong:
5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011. IEEE Computer Society 2011, ISBN 978-1-4577-1487-0 - 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
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
A Simple Model for Certifying Assembly Programs with First-Class Function Pointers. 125-132 - Shengchao Qin
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
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
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 2024-11-15 19:19 CET 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: