FACS 2011
8th International Symposium on Formal Aspects of Component Software

Oslo, Norway, September 14-16, 2011

  • 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

Our sponsors:

The Research Council of Norway      The Department of Informatics      The University of Oslo       Visit Oslo