Formal Methods for Open Object-Based Distributed Systems

8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

  • Roberto Gorrieri
  • Heike Wehrheim
Conference proceedings FMOODS 2006

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

Table of contents

  1. Front Matter
  2. Invited Speakers

  3. Regular Papers

    1. Heeseok Choi, Keunhyuk Yeom, Youhee Choi, Mikyeong Moon
      Pages 20-32
    2. Pascal Poizat, Jean-Claude Royer, Gwen Salaün
      Pages 33-47
    3. Iulian Ober, Susanne Graf, David Lesens
      Pages 48-62
    4. Carlos Canal, Pascal Poizat, Gwen Salaün
      Pages 63-77
    5. Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
      Pages 78-92
    6. Carlos E. Cuesta, María del Pilar Romay, Pablo de la Fuente, Manuel Barrio-Solórzano
      Pages 93-107
    7. Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
      Pages 108-122
    8. Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
      Pages 123-137
    9. Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen
      Pages 138-155
    10. Karsten Ehrig, Jochen M. Küster, Gabriele Taentzer, Jessica Winkelmann
      Pages 156-170
    11. Frédéric Jouault, Jean Bézivin
      Pages 171-185
    12. Harmen Kastenberg, Anneke Kleppe, Arend Rensink
      Pages 186-201
    13. Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
      Pages 202-217
    14. Erika Ábrahám, Andreas Grüner, Martin Steffen
      Pages 218-232
    15. Claudio Guidi, Roberto Lucchi
      Pages 233-250
    16. Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
      Pages 251-266
    17. Roberto Gorrieri, Heike Wehrheim
      Pages E1-E1
  4. Back Matter

About these proceedings


Monitor UML automata distributed computing distributed systems formal method formal methods formal specification model-driven architectures modeling object systems object-oriented programming open systems security semantics

Editors and affiliations

  • Roberto Gorrieri
    • 1
  • Heike Wehrheim
    • 2
  1. 1.Dipartimento di Scienze dell’InformazioneUniversità di BolognaBolognaItaly
  2. 2.Fakultät für Elektrotechnik, Informatik und MathematikUniversität Paderborn,PaderbornGermany

Bibliographic information

  • DOI
  • Copyright Information IFIP International Federation for Information Processing 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-34893-1
  • Online ISBN 978-3-540-34895-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site