Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Christiano Braga

    1. Universidade Federal Fluminense, Niterói, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Csaba Ölveczky

    1. University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: FACS 2015.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
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 (17 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. OnPlan: A Framework for Simulation-Based Online Planning

    • Lenz Belzner, Rolf Hennicker, Martin Wirsing
    Pages 1-30

  3. Software Component Design with the B Method — A Formalization in Isabelle/HOL

    • David Déharbe, Stephan Merz
    Pages 31-47

  4. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud

    • Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak-Kare Gueye
    Pages 48-65

  5. A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing

    • Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi
    Pages 66-85

  6. A Contract-Oriented Middleware

    • Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
    Pages 86-104

  7. A Robust Framework for Securing Composed Web Services

    • Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
    Pages 105-122

  8. Combinatory Synthesis of Classes Using Feature Grammars

    • Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof
    Pages 123-140

  9. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models

    • Dragan Bošnački, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede et al.
    Pages 141-160

  10. An Operational Semantics of BPMN Collaboration

    • Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi
    Pages 161-180

  11. k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes

    • Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini
    Pages 181-198

  12. Time Complexity of Concurrent Programs

    • Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I. Pun
    Pages 199-216

  13. Composing Constraint Automata, State-by-State

    • Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab
    Pages 217-236

  14. Floating Time Transition System: More Efficient Analysis of Timed Actors

    • Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi
    Pages 237-255

  15. Configuration Logics: Modelling Architecture Styles

    • Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
    Pages 256-274

  16. Learning-Based Compositional Model Checking of Behavioral UML Systems

    • Yael Meller, Orna Grumberg, Karen Yorav
    Pages 275-293

  17. Typed Connector Families

    • José Proença, Dave Clarke
    Pages 294-311

  18. Formal Architecture Modeling of Sequential C-Programs

    • Jonas Westman, Mattias Nyberg
    Pages 312-329

  19. Back Matter

    Pages 331-331
    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 from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.

The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, component-based software development through research on mathematical models for components, composition and adaptation; rigorous approaches to verification, deployment, testing, and certification.

Editors and Affiliations

  • Universidade Federal Fluminense, Niterói, Brazil

    Christiano Braga

  • University of Oslo, Oslo, Norway

    Peter Csaba Ölveczky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation