© 2011

Formal Techniques for Distributed Systems

Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

  • Roberto Bruni
  • Juergen Dingel
Conference proceedings FMOODS 2011, FORTE 2011

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

Table of contents

  1. Front Matter
  2. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
    Pages 1-28
  3. Lucia Acciai, Michele Boreale, Rocco De Nicola
    Pages 29-43
  4. Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
    Pages 44-58
  5. Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns
    Pages 59-74
  6. Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
    Pages 75-89
  7. Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
    Pages 90-105
  8. Yuxin Deng, Stéphane Grumbach, Jean-François Monin
    Pages 106-120
  9. John Derrick, Eerke Boiten
    Pages 121-137
  10. Piotr Filipiuk, Michał Terepeta, Hanne Riis Nielson, Flemming Nielson
    Pages 138-152
  11. Séverine Fratani, Jean-Marc Talbot
    Pages 153-167
  12. Elena Giachino, Cosimo Laneve
    Pages 168-182
  13. Susanne Graf, Doron Peled, Sophie Quinton
    Pages 183-197
  14. Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
    Pages 198-212
  15. Dimitrios Kouzapas, Anna Philippou
    Pages 213-227
  16. Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda
    Pages 228-243
  17. Tianxiang Lu, Stephan Merz, Christoph Weidenbach
    Pages 244-258
  18. María Martos-Salgado, Fernando Rosa-Velardo
    Pages 259-273
  19. Stephan Merz, Martin Quinson, Cristian Rosa
    Pages 274-288
  20. Marco Patrignani, Dave Clarke, Davide Sangiorgi
    Pages 289-303

About these proceedings


This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.


UML concurrent computing distributed computing formal methods model checking mutli-party computation network computing

Editors and affiliations

  • Roberto Bruni
    • 1
  • Juergen Dingel
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.School of ComputingQueen’s UniversityKingstonCanada

Bibliographic information