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. Springer 2005 Lecture Notes in Computer Science 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
- Á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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team