Formal Techniques for Distributed Systems

Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

  • Holger Giese
  • Grigore Rosu
Conference proceedings FMOODS 2012, FORTE 2012

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

Table of contents

  1. Front Matter
  2. Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
    Pages 1-17
  3. Taylor T. Johnson, Sayan Mitra
    Pages 18-34
  4. Elvira Albert, Antonio E. Flores-Montoya, Samir Genaim
    Pages 35-51
  5. Bogdan Aman, Gabriel Ciobanu, Maciej Koutny
    Pages 52-66
  6. Roland Kindermann, Tommi Junttila, Ilkka Niemelä
    Pages 84-100
  7. Pavithra Prabhakar, Mahesh Viswanathan
    Pages 101-117
  8. Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
    Pages 118-134
  9. Andrea Cerone, Matthew Hennessy
    Pages 135-151
  10. Dimiter Milushev, Wim Beck, Dave Clarke
    Pages 152-168
  11. David Romero Hernández, David de Frutos Escrig
    Pages 169-185
  12. Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas
    Pages 186-202
  13. Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Ničković
    Pages 203-218
  14. Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha
    Pages 219-234
  15. Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
    Pages 235-250
  16. Clara Benac Earle, Lars-Åke Fredlund
    Pages 251-267
  17. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.


hybrid automata multiparty interactions parameterized verification system modeling uniform verification

Editors and affiliations

  • Holger Giese
    • 1
  • Grigore Rosu
    • 2
  1. 1.Hasso Plattner Institute at the University of PotsdamPotsdamGermany
  2. 2.Department of Computer ScienceUniversity of Illinois at Urbana-ChampaignUrbanaUSA

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-30792-8
  • Online ISBN 978-3-642-30793-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences