- Julien Dormoy, Olga Kouchnarenko and Arnaud Lanoix: Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components
- Mohammad Jaghoori, Ólafur Hlynsson and Marjan Sirjani: Networks of Real-Time Actors: Schedulability Analysis and Coordination
- Roberto Bruni and Alberto Lluch Lafuente: Evaluating the performance of model transformation styles in Maude
- Thomas Noll: Analyzing Reconfigurable Component-Based Systems Using Attribute Grammars
- Ameur-Boulifa Rabéa, Raluca Halalai, Ludovic Henrio and Eric Madelaine: Verifying Safety of Fault-Tolerant Distributed Components
- Einar Broch Johnsen, Rudolf Schlatte and Silvia Lizeth Tapia Tarifa: A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
- Meng Sun: Connectors as Designs: the Time Dimension
- Gregor Gössler and Gwen Salaün: Realizability of Choreographies for Services Interacting Asynchronously
- Hamideh Sabouri and Ramtin Khosravi: Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques
- Patrizia Scandurra, Elvinia Riccobene, Davide Brugali and Luca Gherardi: A formal framework for coordinated simulation of heterogeneous service-oriented applications
- Viliam Å imko, David Hauzar, Tomáš BureÅ¡, Petr Hnětynka and FrantiÅ¡ek Plášil: Validating Temporal Properties of Use-Cases in Natural Language
- Li Dan, Xiaoshan Li, Zhiming Liu and Volker Stolz: Interactive Transformations from Object-Oriented Models to Component-Based Models
- Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson and Flemming Nielson: The Logic of XACML
- Jose Pablo Escobedo, Christophe Gaston and Pascale Le Gall: Timed Conformance Testing for Orchestrated Service Discovery
- Benjamin Aminof, Fabio Mogavero and Aniello Murano: Synthesis of Hierarchical Systems
- Sebastian Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman and Andrzej Wasowski: A Modal Specification Theory for Components with Data
- José Antonio MartÃn, Antonio Brogi and Ernesto Pimentel: Learning from Failures: a Lightweight Approach to Run-Time Behavioural Adaptation
- Sébastien Limet, Sophie Robert and Ahmed Turki: Controlling an iteration-wise coherence in dataflow
- Mounira Kezadri, Benoît Combemale, Marc Pantel and Xavier Thirioux: A proof assistant based formalization of MDE components
- Alejandro Sanchez, Luis Soares Barbosa and Daniel Riesco: Bigraphical Modelling of Architectural Patterns
Abstracts accepted for presentation at the FACS Doctoral Track:
- Andrey Kruglyak: Formal Aspects of Component-Based Design of Embedded Real-Time Systems
- Nils Semmelrock: Analysis of Cooperating Systems by Refined Over-Approximations
- Antoine Beugnard and Ali Hassan: A New Component Model for Highly Distributed Environments
- Muhammad Fadlisyah: A Rewriting-Logic-Based Tool for Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems