Formal Techniques for Distributed Objects, Components, and Systems

34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings

  • Erika Ábrahám
  • Catuscia Palamidessi
Conference proceedings FORTE 2014

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

Table of contents

  1. Front Matter
  2. Specification Languages and Type Systems

    1. Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida
      Pages 1-16
    2. Daniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri Bal
      Pages 17-32
    3. Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
      Pages 33-48
  3. Monitoring and Testing

    1. Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
      Pages 49-65
    2. Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez
      Pages 66-83
    3. Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
      Pages 84-99
    4. Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
      Pages 100-116
  4. Security Analysis

    1. Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo
      Pages 117-132
    2. Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle
      Pages 133-148
    3. Shuling Wang, Flemming Nielson, Hanne Riis Nielson
      Pages 149-165
    4. Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
      Pages 182-198
    5. Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin
      Pages 199-215
  5. Bisimulation, Abstraction and Reduction

    1. Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone
      Pages 216-231
    2. Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz
      Pages 232-248
    3. David Romero-Hernández, David de Frutos Escrig
      Pages 249-265
    4. Souheib Baarir, Alexandre Duret-Lutz
      Pages 266-283
    5. Dániel Darvas, Borja Fernández Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez
      Pages 284-299
  6. Back Matter

About these proceedings


This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.


concurrency distributed systems formal languages and automata theory formal methods information theory model checking online test and diagnostics quality assurance software and application security software verification

Editors and affiliations

  • Erika Ábrahám
    • 1
  • Catuscia Palamidessi
    • 2
  1. 1.Informatik 2RWTH Aachen UniversityAachenGermany
  2. 2.Inria, Bâtiment Alan Turing, Campus de l’École PolytechniquePalaiseauFrance

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-43612-7
  • Online ISBN 978-3-662-43613-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software