| 2011 | Undesirable Aspect Interactions: A Prevention Policy. | Arsne Sabas, Subash Shankar, Virginie Wiels, Michel Boyer |
| 2011 | A Categorical Modeling Approach of Aspect-Oriented Systems. | Arsne Sabas, Subash Shankar, Virginie Wiels, Michel Boyer |
| 2011 | Formal Specification of Domain-Specific ECA Policy Models. | Raphael Romeikat, Bernhard Bauer |
| 2011 | Making Program Logics Intelligible. | John C. Reynolds |
| 2011 | Towards an Axiomatic Verification System for JavaScript. | Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu |
| 2011 | Approximate Bisimulation for Metric Doubly Labeled Transition System. | Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu |
| 2011 | Model Checking for Protocols Using Verds. | Ming Ma |
| 2011 | Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based Specifications. | Wenrui Li, Pengcheng Zhang, Zhijian Wang, Zhongxue Yang |
| 2011 | A Method to Generate Verification Condition Generator. | Zhaopeng Li, Yang Zhang, Yiyun Chen |
| 2011 | Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. | Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li |
| 2011 | Inheritance and Modularity in Specification and Verification of OO Programs. | Yijing Liu, Ali Hong, Zongyan Qiu |
| 2011 | Automatic Specification-Based Testing: Challenges and Possibilities. | Shaoying Liu |
| 2011 | A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols. | Guoqiang Li, Yonggen Gu, Xiuting Tao, Jie Tao |
| 2011 | Java Goes TLA+. | Hannes Lau, Uwe Nestmann |
| 2011 | Proving Computational Geometry Algorithms in TLA+2. | Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2011 | Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. | Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi |
| 2011 | An Approach to Regression Test Selection of Adaptive EFSM Tests. | Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo |
| 2011 | Research on Web Service Composition Using Probabilistic Abstraction Refinement. | Honghao Gao, Huaikou Miao, Hongwei Zeng |
| 2011 | Model Checking: A Coalgebraic Approach. | Jianhua Gao, Ying Jiang |
| 2011 | An Approach to Handling Failure Recovery in Service Composition and Its Analysis. | Guisheng Fan, Huiqun Yu, Liqiong Chen, Chunhua Gu |
| 2011 | Analysis of WS-BPEL Processes in PRISM. | Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu |
| 2011 | Modeling and Verifying for Frameset-Based Web Applications. | Shengbo Chen, Huaikou Miao |
| 2011 | Behaviour Recognition Using Chronicles. | Patrice Carle, Christine Choppy, Romain Kervarc |
| 2011 | Test Case Generation Using PDA. | Puneet Bhateja |
| 2011 | A Tagging Protocol for Asynchronous Testing. | Puneet Bhateja |