Formal Techniques for Distributed Systems

Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

  • Dirk Beyer
  • Michele Boreale
Conference proceedings FMOODS 2013, FORTE 2013

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

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Session 1: Verification

    1. Martín Abadi, Frank McSherry, Derek G. Murray, Thomas L. Rodeheffer
      Pages 5-19
    2. Sergio Feo-Arenis, Bernd Westphal
      Pages 35-49
  4. Session 2: Types

    1. Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
      Pages 50-65
    2. Ornela Dardha, Daniele Gorla, Daniele Varacca
      Pages 66-82
    3. Viviana Bono, Luca Padovani, Andrea Tosatto
      Pages 83-98
  5. Session 3: Testing

    1. Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez
      Pages 99-113
    2. Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
      Pages 114-129
  6. Session 4: DisCoTec Joint Session

  7. Session 5: Model Checking

    1. Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
      Pages 161-177
    2. Tobias Isenberg, Dominik Steenken, Heike Wehrheim
      Pages 178-192
  8. Session 6: Automata

    1. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine
      Pages 193-208
    2. Domagoj Babić, Zvonimir Rakamarić
      Pages 225-241
  9. Session 7: Distribution and Concurrency

    1. Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes
      Pages 242-257
    2. Hanne Riis Nielson, Flemming Nielson
      Pages 258-272
    3. Antonio E. Flores-Montoya, Elvira Albert, Samir Genaim
      Pages 273-288
  10. Session 8: Security

    1. Michele Bugliesi, Stefano Calzavara, Alvise Spanò
      Pages 289-304
    2. Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
      Pages 305-320
  11. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability.


automata concurrency model checking polymorphic types security

Editors and affiliations

  • Dirk Beyer
    • 1
  • Michele Boreale
    • 2
  1. 1.Department of Computer Science and MathematicsUniversity of PassauPassauGermany
  2. 2.Dipartimento di Sistemi e InformaticaUniversità di FirenzeFlorenceItaly

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-38591-9
  • Online ISBN 978-3-642-38592-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software