2. EPEW/WS-FM 2005: Versailles, France

Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (Eds.): 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. Lecture Notes in Computer Science 3670 Springer 2005, ISBN 3-540-28701-9

Invited Speakers

Peter G. Harrison:
Performance Engineering and Stochastic Modelling. 1-14
Gianfranco Ciardo:
Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems. 15-17
Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith:
PiDuce: A Process Calculus with Native XML Datatypes. 18-34
Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. (Eric) Verbeek, Petia Wohed:
Life After BPEL? 35-50

EPEW

Tugrul Dayar:
On Moments of Discrete Phase-Type Distributions. 51-63
Thu-Ha Dao-Thi, Jean Mairesse:
Zero-Automatic Queues. 64-78
Árpád Tari, Miklós Telek, Peter Buchholz:
A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support. 79-93
Ana Busic, Jean-Michel Fourneau:
Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering. 94-108
Nihal Pekergin, Sana Younès:
Stochastic Model Checking with Stochastic Comparison. 109-123
Koen De Turck, Sabine Wittevrongel:
Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel. 124-138
Corine Marchand, Jean-Marc Vincent:
Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments. 139-154
Jeremy T. Bradley, Douglas V. de Jager, William J. Knottenbelt, Aleksandar Trifunovic:
Hypergraph Partitioning for Faster Parallel PageRank Computation. 155-171
Maxime Martinasso, Jean-François Méhaut:
Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters. 172-186
Tadeusz Czachórski, Ferhan Pekergin:
A Diffusion Approximation Model of an Electronic-Optical Node. 187-199

WS-FM

Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl:
Choreographing Security and Performance Analysis for Web Services. 200-214
M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz:
Application of Formal Methods to the Analysis of Web Services Security. 215-229
Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero:
Automatic Translation of WS-CDL Choreographies to Timed Automata. 230-242
Michael J. Butler, Shamim Ripon:
Executable Semantics for Compensating CSP. 243-256
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella:
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. 257-271
Roberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto:
From Theory to Practice in Transactional Composition of Web Services. 272-286
Manuel Mazzara:
Timing Issues in Web Services Composition. 287-302
Barry Norton, Simon Foster, Andrew Hughes:
A Compositional Operational Semantics for OWL-S. 303-317
Raman Kazhamiakin, Marco Pistore:
A Parametric Communication Model for the Verification of BPEL4WS Compositions. 318-332
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi:
Reasoning About Interaction Patterns in Choreography. 333-348