Formal Techniques for Distributed Objects, Components, and Systems

36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

  • Elvira Albert
  • Ivan Lanese
Conference proceedings FORTE 2016

DOI: 10.1007/978-3-319-39570-8

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

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
    Pages 1-18
  3. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
    Pages 19-35
  4. Karine Altisen, Pierre Corbineau, Stéphane Devismes
    Pages 36-51
  5. Nicola Atzei, Massimo Bartoletti
    Pages 52-61
  6. Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
    Pages 62-73
  7. Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster
    Pages 96-113
  8. Luís Cruz-Filipe, Fabrizio Montesi
    Pages 114-123
  9. Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep Kulkarni
    Pages 124-141
  10. David de Frutos Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse
    Pages 142-157
  11. Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik
    Pages 158-174
  12. Ludovic Henrio, Eric Madelaine, Min Zhang
    Pages 175-194
  13. Hugo A. López, Flemming Nielson, Hanne Riis Nielson
    Pages 195-211
  14. Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
    Pages 212-221
  15. Alexandre Petrenko, Omer Nguena Timo, S. Ramesh
    Pages 222-238
  16. Carlo Spaccasassi, Vasileios Koutavas
    Pages 248-266
  17. Manel Tekaya, Mohamed Taha Bennani, Nedra Ebdelli, Samir Ben Ahmed
    Pages 267-274
  18. Back Matter
    Pages 275-275

About these proceedings

Introduction

This book constitutes the proceedings of the 36th IFIP WG 6.1
International Conference on Formal Techniques for Distributed Objects,
Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June
2016, as part of the 11th International Federated Conference on
Distributed Computing Techniques, DisCoTec 2016.

The 18 revised full papers presented were carefully reviewed and
selected from 44 submissions. The papers present a wide range of topics
on distributed computing models and formal specification, testing, and
verification methods.

Keywords

adaptive systems cloud computing object technology service-oriented software quality distributed systems formal analysis mobile computing systems modularity pervasive computing privacy security software availability software reliability software safety testing ubiquitous computing validation verification

Editors and affiliations

  • Elvira Albert
    • 1
  • Ivan Lanese
    • 2
  1. 1.Complutense University of MadridMadridSpain
  2. 2.University of Bologna/InriaBolognaItaly

Bibliographic information

  • Copyright Information IFIP International Federation for Information Processing 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-39569-2
  • Online ISBN 978-3-319-39570-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349