Abstract is missing.
- Perspectives in Probabilistic VerificationJoost-Pieter Katoen. 3-10 [doi]
- A Logical Framework for Software TestingWei Li. 11 [doi]
- ProB gets Nauty: Effective Symmetry Reduction for B and Z ModelsCorinna Spermann, Michael Leuschel. 15-22 [doi]
- Bounded Model Checking of Compositional ProcessesJun Sun 0001, Yang Liu, Jin Song Dong, Jing Sun. 23-30 [doi]
- Improving Encoding Efficiency for Bounded Model CheckingJinji Yang, Kaile Su, Qingliang Chen. 31-38 [doi]
- Symbolic Model Checking APSLWanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma. 39-46 [doi]
- An Extension to Pointer Logic for VerificationZhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian. 49-56 [doi]
- A Generic Model for Confinement and its ApplicationShuling Wang, Zongyan Qiu. 57-64 [doi]
- A Fundamental Permission Interpretation for Ownership TypesYang Zhao, John Boyland. 65-72 [doi]
- Structure and Interpretation of Computer ProgramsGanesh M. Narayan, K. Gopinath, Sridhar Varadarajan. 73-80 [doi]
- A Petri Net-Based Approach for Supporting Aspect-Oriented ModelingLianwei Guan, Xingyu Li, Hao Hu. 83-90 [doi]
- A Model-Driven Method for the Development of Web Applications User Interaction LayerRicardo A. C. de Souza, Roberto Souto Maior de Barros. 91-98 [doi]
- A Conceptual Framework to Integrate Fault Prediction Sub-Process for Software Product LinesCagatay Catal, Banu Diri. 99-106 [doi]
- Executable Requirements Specification: Formal Semantics of Live Activity DiagramsChristoph Knieke, Michaela Huhn, Malte Lochau. 109-112 [doi]
- A MDE Based Approach for Bridging Formal ModelsTian Zhang, Frédéric Jouault, Jean Bézivin, Jianhua Zhao. 113-116 [doi]
- A Bigraphical Model of WSBPELMin Zhang, Ling Shi, Longfei Zhu, Yifei Wang, Libo Feng, Geguang Pu. 117-120 [doi]
- Producing UML Models from Focal Specifications: An Application to Airport Security RegulationsDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge. 121-124 [doi]
- UML Model Refactoring with Emphasis on Behavior PreservationSoodeh Hosseini, Mohammad Abdollahi Azgomi. 125-128 [doi]
- Effective Predicate Abstraction for Program VerificationLi Li, Ming Gu, Xiaoyu Song, Jianmin Wang. 129-132 [doi]
- Reasoning about Channel Passing in ChoreographyHongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu. 135-142 [doi]
- Workflow Semantics of Peer and Service BehaviourAntonio Brogi, Razvan Popescu. 143-150 [doi]
- Verifying BPEL-Like Programs with Hoare LogicChenguang Luo, Shengchao Qin, Zongyan Qiu. 151-158 [doi]
- Modeling and Refining the Service-Oriented RequirementXiaoxia Cao, Huaikou Miao, Qingguo Xu. 159-165 [doi]
- Transformation of BPEL Processes to Petri NetsHaiqiang Dun, Haiying Xu, Lifu Wang. 166-173 [doi]
- Time-Abstracting Bisimulation for Probabilistic Timed AutomataTaolue Chen, Tingting Han, Joost-Pieter Katoen. 177-184 [doi]
- On Automatic Verification of Self-Stabilizing Population ProtocolsJun Pang, Zhengqin Luo, Yuxin Deng. 185-192 [doi]
- PDL over Accelerated Labeled Transition SystemsTaolue Chen, Jaco van de Pol, Yanjing Wang. 193-200 [doi]
- Specifying Properties for Modular Pi-CalculusTakashi Kitamura, Huimin Lin. 201-208 [doi]
- Towards Automatically Generating Test Paths for Web Application TestingHuaikou Miao, Zhong-sheng Qian, Bo Song. 211-218 [doi]
- Test Data Generation for C Programs with String-Handling FunctionsHui Ruan, Jian Zhang, Jun Yan. 219-226 [doi]
- Implementing Higher-Order Control in JavaGang Yu. 229-232 [doi]
- An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling MetricsHaihao Shen, Sai Zhang, Jianjun Zhao. 233-236 [doi]
- A Multidimensional Model for Mum Effect in Offshore OutsourcingSakgasit Ramingwong, A. S. M. Sajeev. 237-240 [doi]
- Completeness and Consistency Analysis on Requirements of Distributed Event-Driven SystemsLian Yu, Shuang Su, Shan Luo, Yu Su. 241-244 [doi]
- Open Logic Based on Partial-Ordered Partition ModelLiannan Lin, Jinzhao Wu, Xiang Xu. 247-254 [doi]
- A Memoized Strategy for Preference Logic ProgramsHai-Feng Guo. 255-262 [doi]
- A Relational Model for Confined Separation LogicShuling Wang, Luís Soares Barbosa, José Nuno Oliveira. 263-270 [doi]
- A Complete Axiomatization of Propositional Projection Temporal LogicZhenhua Duan, Nan Zhang. 271-278 [doi]
- Towards More Flexible Development of Z SpecificationsZheng Fu, Graeme Smith. 281-288 [doi]
- Pushing Requirements Changes through to Changes in SpecificationsLan Lin, Jesse H. Poore. 289-296 [doi]
- Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of VehiclesArnaud Lanoix. 297-304 [doi]