Formal Techniques for Computer Systems and Business Processes

European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

  • Mario Bravetti
  • Leïla Kloul
  • Gianluigi Zavattaro
Conference proceedings EPEW 2005, WS-FM 2005

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

Table of contents

  1. Front Matter
  2. Invited Speakers

    1. Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith
      Pages 18-34
    2. W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, N. Russell, H. M. W. Verbeek, P. Wohed
      Pages 35-50
  3. EPEW

    1. Thu-Ha Dao-Thi, Jean Mairesse
      Pages 64-78
    2. Árpád Tari, Miklós Telek, Peter Buchholz
      Pages 79-93
    3. Nihal Pekergin, Sana Younès
      Pages 109-123
    4. Koen De Turck, Sabine Wittevrongel
      Pages 124-138
    5. Jeremy T. Bradley, Douglas V. de Jager, William J. Knottenbelt, Aleksandar Trifunović
      Pages 155-171
    6. Maxime Martinasso, Jean-François Méhaut
      Pages 172-186
    7. Tadeusz Czachórski, Ferhan Pekergin
      Pages 187-199
  4. WS-FM

    1. Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl
      Pages 200-214
    2. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
      Pages 215-229
    3. Gregorio Diaz, Juan-José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
      Pages 230-242
    4. Michael Butler, Shamim Ripon
      Pages 243-256
    5. M. Baldoni, C. Baroglio, A. Martelli, V. Patti, C. Schifanella
      Pages 257-271
    6. Roberto Bruni, Gianluigi Ferrari, Hernán Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
      Pages 272-286
    7. Manuel Mazzara
      Pages 287-302
    8. Barry Norton, Simon Foster, Andrew Hughes
      Pages 303-317
    9. Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
      Pages 333-348
  5. Back Matter

About these proceedings


SOAP Service Oriented Architecture (SOA) XML communication formal method model checking security semantics

Editors and affiliations

  • Mario Bravetti
    • 1
  • Leïla Kloul
    • 2
  • Gianluigi Zavattaro
    • 3
  1. 1.University of Bologna 
  2. 2.PRiSMVersailles
  3. 3.Dip. Scienze dell’InformazioneUniversità di BolognaItaly

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment