Advertisement

Formal Techniques for Networked and Distributed Systems - FORTE 2006

26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

  • Elie Najm
  • Jean-François Pradat-Peyre
  • Véronique Viguié Donzeau-Gouge

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Leslie Lamport
      Pages 23-23
    2. Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch et al.
      Pages 24-45
  3. Services

    1. Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo
      Pages 46-60
    2. Raman Kazhamiakin, Marco Pistore
      Pages 61-76
    3. I. S. W. B. Prasetya, T. E. J. Vos, S. D. Swierstra
      Pages 77-92
    4. Zohair Chentouf, Ahmed Khoumsi
      Pages 93-98
  4. Middleware

  5. Composition and Synthesis

  6. Logics

    1. Radu Mardare, Corrado Priami
      Pages 196-211
  7. Symbolic Verification – Slicing

    1. Pierre Rousseau
      Pages 228-242
    2. Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione
      Pages 243-258
  8. Unified Modeling Languages

    1. Humberto Nicolás Castejón, Rolv Bræk
      Pages 275-291
    2. R. Mizouni, A. Salah, S. Kolahi, R. Dssouli
      Pages 292-306
  9. Petri Nets

    1. L. Hillah, F. Kordon, L. Petrucci, N. Trèves
      Pages 307-322
    2. Juan-Pablo López-Grao, José-Manuel Colom
      Pages 323-338
    3. Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet
      Pages 339-355
  10. Parameterized Verification

    1. Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck
      Pages 356-371
  11. Real Time

    1. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
      Pages 372-387
    2. Li Xuandong, Bu Lei, Hu Jun, Zhao Jianhua, Zhang Tao, Zheng Guoliang
      Pages 388-403
    3. Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat
      Pages 404-419
  12. Testing

    1. Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu
      Pages 420-435
    2. Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
      Pages 451-466
    3. Luis F. Llana-Díaz, Manuel Núñez, Ismael Rodríguez
      Pages 467-483
  13. Back Matter

About these proceedings

Keywords

calculus communicating systems complexity distributed computing distributed systems embedded systems formal languages formal methods formal specification logic middleware model checking petri nets program slicing semantic fou

Editors and affiliations

  • Elie Najm
    • 1
  • Jean-François Pradat-Peyre
    • 2
  • Véronique Viguié Donzeau-Gouge
    • 3
  1. 1.Telecom ParisTech (ENST)ParisFrance
  2. 2.LIP6, Université Pierre et Marie CurieParisFrance
  3. 3.CEDRIC-CNAM, Conservatoire National des Arts et MetiersParis Cedex 03France

Bibliographic information

  • DOI https://doi.org/10.1007/11888116
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-46219-4
  • Online ISBN 978-3-540-46220-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site