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

  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
    3. Dirk Beyer, Stefan Löwe, Philipp Wendler
      Pages 228-243
  7. Back Matter
    Pages 245-245

About these proceedings


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.


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
  • Copyright Information IFIP International Federation for Information Processing 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-19194-2
  • Online ISBN 978-3-319-19195-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software