Trustworthy Global Computing

10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers

  • Pierre Ganty
  • Michele Loreti
Conference proceedings TGC 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9533)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Rocco De Nicola, Hernán Melgratti
    Pages 16-31
  3. Giorgio Delzanno
    Pages 32-46
  4. José Fragoso Santos, Tamara Rezk, Ana Almeida Matos
    Pages 47-62
  5. José Fragoso Santos, Thomas Jensen, Tamara Rezk, Alan Schmitt
    Pages 63-78
  6. Gregor Gössler, Jean-Bernard Stefani
    Pages 79-94
  7. Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng
    Pages 95-111
  8. Shota Nakagawa, Ichiro Hasuo
    Pages 112-130
  9. Lenore D. Zuck, Sanjiva Prasad
    Pages 131-146
  10. Back Matter
    Pages 163-163

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015.

The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties.


Distributed programming languages Formal security models Model checking Network algorithms Semantics Algorithms Automated static analysis Cloud computing Dynamic analysis Formal methods and theory of security Information flow control Logic and verification Network protocols Optimization Quantitative verification Security Service-oriented architectures Software verification Temporal logic Trust frameworks

Editors and affiliations

  • Pierre Ganty
    • 1
  • Michele Loreti
    • 2
  1. 1.IMDEA Software InstitutePozuelo de AlarcónSpain
  2. 2.Università degli Studi di FirenzeFlorenceItaly

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-28765-2
  • Online ISBN 978-3-319-28766-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment