Formal Techniques for Distributed Objects, Components, and Systems

35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

  • Susanne Graf
  • Mahesh Viswanathan
Conference proceedings FORTE 2015

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9039)

Table of contents

  1. Front Matter
    Pages 1-11
  2. Ensuring Properties of Distributed Systems

    1. Front Matter
      Pages 1-1
    2. Luca Padovani, Luca Novara
      Pages 3-18
    3. Alex Horn, Daniel Kroening
      Pages 50-65
    4. Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier
      Pages 66-80
  3. Formal Models of Concurrent and Distributed Systems

    1. Front Matter
      Pages 81-81
    2. Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann
      Pages 83-97
    3. Kedar S. Namjoshi, Richard J. Trefler
      Pages 98-112
    4. Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
      Pages 113-128
  4. Real Time Systems

    1. Front Matter
      Pages 129-129
    2. Martín Abadi, Michael Isard
      Pages 131-145
    3. Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu
      Pages 161-177
  5. Security

    1. Front Matter
      Pages 179-179
    2. Dimitrios Kouzapas, Anna Philippou
      Pages 181-195
    3. Ala Eddine Ben Salem
      Pages 196-210
  6. Efficient Verification Techniques

    1. Front Matter
      Pages 211-211
    2. Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani
      Pages 213-227

About these proceedings

Introduction

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

Keywords

concurrency distributed systems formal languages and automata theory formal methods information theory

Editors and affiliations

  • Susanne Graf
    • 1
  • Mahesh Viswanathan
    • 2
  1. 1.Université Grenoble AlpesGrenobleFrance
  2. 2.University of Illinois at Urbana-ChampaignUrbanaUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-19195-9
  • Copyright Information IFIP International Federation for Information Processing 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-19194-2
  • Online ISBN 978-3-319-19195-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Aerospace