Formal Aspects of Component Software

9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

  • Corina S. Păsăreanu
  • Gwen Salaün
Conference proceedings FACS 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7684)

Table of contents

  1. Front Matter
  2. Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
    Pages 1-18
  3. Sebastian Bauer, Rolf Hennicker, Axel Legay
    Pages 19-35
  4. Harsh Beohar, Pieter J. L. Cuijpers
    Pages 36-54
  5. Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro
    Pages 55-72
  6. Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum
    Pages 73-91
  7. Chris Chilton, Bengt Jonsson, Marta Kwiatkowska
    Pages 92-109
  8. Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias Lee, Martin Steffen, Gianluigi Zavattaro
    Pages 110-127
  9. Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen et al.
    Pages 134-151
  10. Christos Kloukinas, Mert Ozkaya
    Pages 152-169
  11. Amir Molzam Sharifloo, Paola Spoletini
    Pages 170-187
  12. Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
    Pages 188-204
  13. Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
    Pages 205-223
  14. Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang
    Pages 224-241
  15. Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson
    Pages 242-259
  16. Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li
    Pages 260-276
  17. Back Matter

About these proceedings


This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.


browser security conjunction modular specifications object orientation software architecture

Editors and affiliations

  • Corina S. Păsăreanu
    • 1
  • Gwen Salaün
    • 2
  1. 1.NASA Ames Research CenterMoffett FieldUSA
  2. 2.INRIA Grenoble - Rhône-Alpes/CONVECSMontbonnot Saint-MartinFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35860-9
  • Online ISBN 978-3-642-35861-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment