Abstract is missing.
- Taming Distributed System Complexity through Formal PatternsJosé Meseguer. 1-2 [doi]
- Composing Safe SystemsJohn Rushby. 3-11 [doi]
- A Denotational Model for Component-Based Risk AnalysisGyrd Brændeland, Atle Refsdal, Ketil Stølen. 12-41 [doi]
- Synthesis of Hierarchical SystemsBenjamin Aminof, Fabio Mogavero, Aniello Murano. 42-60 [doi]
- A Modal Specification Theory for Components with DataSebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. 61-78 [doi]
- Evaluating the Performance of Model Transformation Styles in MaudeRoberto Bruni, Alberto Lluch-Lafuente. 79-96 [doi]
- Interactive Transformations from Object-Oriented Models to Component-Based ModelsDan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz. 97-114 [doi]
- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of ComponentsJulien Dormoy, Olga Kouchnarenko, Arnaud Lanoix. 115-132 [doi]
- Timed Conformance Testing for Orchestrated Service DiscoveryJose Pablo Escobedo, Christophe Gaston, Pascale Le Gall. 133-150 [doi]
- Realizability of Choreographies for Services Interacting AsynchronouslyGregor Gößler, Gwen Salaün. 151-167 [doi]
- Networks of Real-Time ActorsMohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani. 168-186 [doi]
- A Formal Model of Object Mobility in Resource-Restricted Deployment ScenariosEinar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. 187-204 [doi]
- The Logic of XACMLCarroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson. 205-222 [doi]
- A Proof Assistant Based Formalization of MDE ComponentsMounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux. 223-240 [doi]
- Controlling an Iteration-Wise Coherence in DataflowSébastien Limet, Sophie Robert, Ahmed Turki. 241-258 [doi]
- Learning from Failures: A Lightweight Approach to Run-Time Behavioural AdaptationJosé Antonio Martín, Antonio Brogi, Ernesto Pimentel. 259-277 [doi]
- Verifying Safety of Fault-Tolerant Distributed ComponentsRabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine. 278-295 [doi]
- Reducing the Model Checking Cost of Product Lines Using Static Analysis TechniquesHamideh Sabouri, Ramtin Khosravi. 296-312 [doi]
- Bigraphical Modelling of Architectural PatternsAlejandro Sanchez, Luís Soares Barbosa, Daniel Riesco. 313-330 [doi]
- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State MachinesDavide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra. 331-349 [doi]
- Verifying Temporal Properties of Use-Cases in Natural LanguageViliam Simko, David Hauzar, Tomás Bures, Petr Hnetynka, Frantisek Plasil. 350-367 [doi]