Skip to main content
SpringerLink
Log in

Formal Aspects of Component Software

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Corina S. Păsăreanu

    1. NASA Ames Research Center, Moffett Field, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gwen Salaün

    1. INRIA Grenoble - Rhône-Alpes/CONVECS, Montbonnot Saint-Martin, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • State of the art research
  • Up to date results

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FACS 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Formal Patterns for Multi-rate Distributed Real-Time Systems

    • Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
    Pages 1-18

  3. Component Interfaces with Contracts on Ports

    • Sebastian Bauer, Rolf Hennicker, Axel Legay
    Pages 19-35

  4. Avoiding Diamonds in Desynchronization

    • Harsh Beohar, Pieter J. L. Cuijpers
    Pages 36-54

  5. The Tale of SOLOIST: A Specification Language for Service Compositions Interactions

    • Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro
    Pages 55-72

  6. A Categorical Approach to Structuring and Promoting Z Specifications

    • Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum
    Pages 73-91

  7. Assume-Guarantee Reasoning for Safe Component Behaviours

    • Chris Chilton, Bengt Jonsson, Marta Kwiatkowska
    Pages 92-109

  8. A Petri Net Based Analysis of Deadlocks for Active Objects and Futures

    • Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias Lee, Martin Steffen, Gianluigi Zavattaro
    Pages 110-127

  9. Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

    • Frank S. de Boer, Stijn de Gouw
    Pages 128-133

  10. Symbolic Counterexample Generation for Discrete-Time Markov Chains

    • Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen et al.
    Pages 134-151

  11. Xcd – Modular, Realizable Software Architectures 

    • Christos Kloukinas, Mert Ozkaya
    Pages 152-169

  12. LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time

    • Amir Molzam Sharifloo, Paola Spoletini
    Pages 170-187

  13. A Calculus for Quality

    • Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
    Pages 188-204

  14. Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure

    • Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
    Pages 205-223

  15. IBOS: A Correct-By-Construction Modular Browser

    • Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang
    Pages 224-241

  16. Guided Search for Deadlocks in Actor-Based Models

    • Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson
    Pages 242-259

  17. Assumption Generation for Asynchronous Systems by Abstraction Refinement

    • Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li
    Pages 260-276

  18. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Aspects of Component Software

Keywords

About this book

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.

Editors and Affiliations

  • NASA Ames Research Center, Moffett Field, USA

    Corina S. Păsăreanu

  • INRIA Grenoble - Rhône-Alpes/CONVECS, Montbonnot Saint-Martin, France

    Gwen Salaün

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation