Abstract is missing.
- Component-Based Modeling in MediatorYi Li, Meng Sun. 1-19 [doi]
- A Component-Oriented Framework for Autonomous AgentsTobias Kappé, Farhad Arbab, Carolyn L. Talcott. 20-38 [doi]
- Coordination of Dynamic Software Components with JavaBIPAnastasia Mavridou, Valentin Rutz, Simon Bliudze. 39-57 [doi]
- A Formal Model of Parallel Execution on Multicore Architectures with Multilevel CachesShiji Bijo, Einar Broch Johnsen, Ka-I Pun, Silvia Lizeth Tapia Tarifa. 58-77 [doi]
- Guarded Terms for Rewriting Modulo SMTKyungmin Bae, Camilo Rocha. 78-97 [doi]
- On Weighted Configuration LogicsPaulina Paraponiari, George Rahonis. 98-116 [doi]
- Compositional Model Checking Is LivelySander de Putter, Anton Wijs. 117-136 [doi]
- Safety Analysis of Software Components of a Dialysis Machine Using Model CheckingMichael D. Harrison, M. Drinnan, José Creissac Campos, Paolo Masci, L. Freitas, C. di Maria, M. Whitaker. 137-154 [doi]
- TOM: A Model-Based GUI Testing FrameworkMiguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos. 155-161 [doi]
- Correctness-by-Learning of Infinite-State Component-Based SystemsHaitham Bou-Ammar, Mohamad Jaber, Mohamad Nassar. 162-178 [doi]
- The Implementation of Object Propositions: The Oprop Verification ToolLigia Nistor, Jonathan Aldrich. 179-197 [doi]
- Certification of Workflows in a Component-Based Cloud of High Performance Computing ServicesAllberson B. de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luis S. Barbosa. 198-215 [doi]
- Fault Localization in Service CompositionsHeike Wehrheim. 216-232 [doi]
- Correct Composition of Dephased Behavioural ModelsJuliana Bowles, Marco B. Caminati. 233-250 [doi]