Abstract is missing.
- Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSLEmil Vassev, Mike Hinchey, Paddy Nixon. 3-8 [doi]
- The Art of Developing Autonomic Systems - The ASSL ApproachMike Hinchey, Emil Vassev. 9-12 [doi]
- A Formal Model for Service Choreography with Exception Handling and FinalizationYongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu. 15-24 [doi]
- A Guarded Workflow Language and Its Formal SemanticsChen-Wei Wang, Jim Davies, James Welch. 25-34 [doi]
- Proving Model TransformationsHung Ledang, Hubert Dubois. 35-44 [doi]
- A Certifying Compiler for Clike Subset of C LanguageZhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan. 47-56 [doi]
- Stack Bound Inference for Abstract Java BytecodeShengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin. 57-66 [doi]
- An Improved Algorithm for Building the Characterizing SetHuaikou Miao, Pan Liu, Jia Mei. 67-74 [doi]
- Runtime Verification with Multi-valued Formula RewritingLin Zhao, Tao Tang, Jinzhao Wu, Tianhua Xu. 77-86 [doi]
- Axiomatic Temporal Logic Programs VerificationXiaoxiao Yang, Zhenhua Duan. 87-94 [doi]
- On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order LogicHong Zhu. 95-104 [doi]
- Modeling and Analysis of Reconfigurable Systems Using Flexible Petri NetsLaïd Kahloul, Allaoua Chaoui, Karim Djouani. 107-116 [doi]
- Property Checking for 1-Place-Unbounded Petri NetsYunhe Wang, Bo Jiang, Li Jiao. 117-125 [doi]
- Model Checking Rectangular Hybrid Systems with Timed Computation Tree LogicHaibin Zhang, Zhenhua Duan, Bohu Huang, Xiaobing Wang, Long Zhang. 126-131 [doi]
- Bisimulations for Open Processes in Higher Order p-CalculusZining Cao. 135-144 [doi]
- Specification, Verification and Implementation of Business Processes Using CSPMoritz Kleine, Thomas Göthel. 145-154 [doi]
- Incremental Invariant Generation for Compositional DesignSaddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan. 157-167 [doi]
- Compositional Abstraction Refinement for Timed SystemsFei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu. 168-176 [doi]
- Parameterized Specification and Verification of PLC Systems in CoqHai Wan, Xiaoyu Song, Ming Gu. 179-182 [doi]
- Lazy Decision Diagrams for Word-Level Model Manipulation in Software VerificationFarn Wang. 183-186 [doi]
- From Dynamic Condition Response Structures to Büchi AutomataRaghava Rao Mukkamala, Thomas T. Hildebrandt. 187-190 [doi]
- Probabilistic Model of System SurvivabilityYongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu. 193-200 [doi]
- Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow AnalysisJianjun Xu, Qingping Tan, Wanwei Liu. 201-208 [doi]
- Towards Practical Modeling of Web Applications and Generating TestsShengbo Chen, Huaikou Miao, Bo Song, Yihai Chen. 209-217 [doi]