Abstract is missing.
- Probabilistic Modal Specifications (Invited Extended Abstract)Kim G. Larsen, Axel Legay. 1-4 [doi]
- OrchestrationJayadev Misra. 5-12 [doi]
- Super-Dense Computation in Verification of Hybrid CSP ProcessesDimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou. 13-22 [doi]
- A Proof-Carrying Code Approach to Certificate Auction MechanismsWei Bai, Emmanuel M. Tadjouddine, Terry R. Payne, Sheng Uei Guan. 23-40 [doi]
- Towards Verification of Ensemble-Based Component SystemsJiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plasil. 41-60 [doi]
- Hierarchical Scheduling Framework Based on Compositional Analysis Using UppaalAbdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou. 61-78 [doi]
- Incremental Modeling of System Architecture Satisfying SysML Functional RequirementsOscar Carrillo, Samir Chouali, Hassan Mountassir. 79-99 [doi]
- Formalising Adaptation Patterns for Autonomic EnsemblesLuca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli. 100-118 [doi]
- Towards a Failure Model of Software ComponentsRuzhen Dong, Naijun Zhan. 119-136 [doi]
- Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial WorldNuno Gaspar, Ludovic Henrio, Eric Madelaine. 137-156 [doi]
- A General Trace-Based Framework of Logical CausalityGregor Gößler, Daniel Le Métayer. 157-173 [doi]
- Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO ComponentsAli Hong, Yijing Liu, Zongyan Qiu. 174-195 [doi]
- A Framework for Handling Non-functional Properties Within a Component-Based ApproachJean-Michel Hufflen. 196-214 [doi]
- Using Daikon to Prioritize and Group Unit BugsNehul Jain, Saikat Dutta, Ansuman Banerjee, Anil K. Ghosh, Lihua Xu, Huibiao Zhu. 215-233 [doi]
- Adapting Component-Based Systems at Runtime via Policies with Temporal PatternsOlga Kouchnarenko, Jean-François Weber. 234-253 [doi]
- Automatic Component Deployment in the Presence of Circular DependenciesTudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro. 254-272 [doi]
- Modeling and Analysis of Component Connectors in CoqYi Li, Meng Sun. 273-290 [doi]
- On the Complexity of Input Output Conformance TestingNeda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse. 291-309 [doi]
- Compatibility Checking for Asynchronously Communicating SoftwareMeriem Ouederni, Gwen Salaün, Tevfik Bultan. 310-328 [doi]
- Layered Reduction for Modal Specification TheoriesArpit Sharma, Joost-Pieter Katoen. 329-347 [doi]
- Define, Verify, Refine: Correct Composition and Transformation of Concurrent System SemanticsAnton Wijs. 348-368 [doi]
- A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O TablesXiuna Zhu. 369-383 [doi]